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 <[email protected]> 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) _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
