[clang][analyzer] Correct SMT Layer for _BitInt cases refutations

Correct clang-format issues

Author: einvbri

clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h

@@ -574,7 +574,7 @@ class SMTConv {
   }
 
   static inline bool IsPower2(unsigned bits) {
-    return bits > 0 && (bits & (bits-1)) == 0;
+    return bits > 0 && (bits & (bits - 1)) == 0;
   }
 
   // Get the QualTy for the input APSInt, and fix it if it has a bitwidth of 1.
@@ -590,9 +590,9 @@ class SMTConv {
     if (APSIntBitwidth == 1 && Ty.isNull()) {
       NewInt = Int.extend(Ctx.getTypeSize(Ctx.BoolTy));
       Ty = getAPSIntType(Ctx, NewInt);
-    } else if ( !IsPower2(APSIntBitwidth)  && !getAPSIntType(Ctx, Int).isNull()) {
+    } else if (!IsPower2(APSIntBitwidth) && !getAPSIntType(Ctx, Int).isNull()) {
       Ty = getAPSIntType(Ctx, Int);
-      NewInt = Int.extend( Ctx.getTypeSize(Ty));
+      NewInt = Int.extend(Ctx.getTypeSize(Ty));
     } else
       NewInt = Int;
 

clang/lib/AST/ASTContext.cpp

@@ -13211,10 +13211,12 @@ QualType ASTContext::getIntTypeForBitwidth(unsigned DestWidth,
                                            unsigned Signed) const {
   // round up to next power of 2 for _BitInt cases
   unsigned pow2DestWidth = llvm::bit_ceil(DestWidth);
-  //if (pow2DestWidth == 4) pow2DestWidth = 8;
-  if (pow2DestWidth < 8) pow2DestWidth = 8;
+  // if (pow2DestWidth == 4) pow2DestWidth = 8;
+  if (pow2DestWidth < 8)
+    pow2DestWidth = 8;
 
-  TargetInfo::IntType Ty = getTargetInfo().getIntTypeByWidth(pow2DestWidth, Signed);
+  TargetInfo::IntType Ty =
+      getTargetInfo().getIntTypeByWidth(pow2DestWidth, Signed);
   CanQualType QualTy = getFromTargetType(Ty);
   if (!QualTy && pow2DestWidth == 128)
     return Signed ? Int128Ty : UnsignedInt128Ty;