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

[via cfe-commits]

https://github.com/rdevshp created https://github.com/llvm/llvm-project/pull/217962

None

>From abcf7468793525778a1f5ab68904211815f0f6d4 Mon Sep 17 00:00:00 2001
From: rdevshp <rdevshp at gmail.com>
Date: Fri, 21 Aug 2026 15:56:09 +0000
Subject: [PATCH] [analyzer][z3][NFC] fix indentation/formatting in SMTConv.h
 getBinExpr

---
 .../clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h    | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

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 ptrdiff_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 ptrdiff_t, which is signed
+    if (LTy->isAnyPointerType() && RTy->isAnyPointerType() && Op == BO_Sub)
+      RetTy = Ctx.getPointerDiffType();
 
     return LTy->isRealFloatingType()
                ? fromFloatBinOp(Solver, NewLHS, Op, NewRHS)