llvmorg-github-actions[bot] wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang-static-analyzer-1 Author: rdevshp (rdevshp) <details> <summary>Changes</summary> --- Full diff: https://github.com/llvm/llvm-project/pull/217962.diff 1 Files Affected: - (modified) clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h (+4-5) ``````````diff 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) `````````` </details> https://github.com/llvm/llvm-project/pull/217962 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
