[clang] 67cd401 - [analyzer][z3][NFC] fix indentation/formatting in SMTConv.h getBinExpr (#217962)

[via cfe-commits]

Author: rdevshp
Date: 2026-08-21T13:18:28-04:00
New Revision: 67cd40163474c0ea2c656fa16e84cca14ea8e638

URL: https://github.com/llvm/llvm-project/commit/67cd40163474c0ea2c656fa16e84cca14ea8e638
DIFF: https://github.com/llvm/llvm-project/commit/67cd40163474c0ea2c656fa16e84cca14ea8e638.diff

LOG: [analyzer][z3][NFC] fix indentation/formatting in SMTConv.h getBinExpr (#217962)

Added: 
    

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

Removed: 
    


################################################################################
diff  --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h
index 975536aeb37e9..06d08a5f2fcd5 100644
--- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h
+++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h
@@ -412,11 +412,10 @@ class SMTConv {
       RetTy = LTy;
     }
 
-      // If the two operands are pointers and the operation is a subtraction,
-      // the result is of type ptr
diff _t, which is signed
-      if (LTy->isAnyPointerType() && RTy->isAnyPointerType() && Op == BO_Sub) {
-        RetTy = Ctx.getPointerDiffType();
-      }
+    // If the two operands are pointers and the operation is a subtraction,
+    // the result is of type ptr
diff _t, which is signed
+    if (LTy->isAnyPointerType() && RTy->isAnyPointerType() && Op == BO_Sub)
+      RetTy = Ctx.getPointerDiffType();
 
     return LTy->isRealFloatingType()
                ? fromFloatBinOp(Solver, NewLHS, Op, NewRHS)