[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Mon Sep 30 01:48:25 PDT 2024


=?utf-8?q?DonĂ¡t?= Nagy <donat.nagy at ericsson.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/109804 at github.com>


================
@@ -2808,27 +2825,63 @@ void ExprEngine::processBranch(const Stmt *Condition,
       std::tie(StTrue, StFalse) = *KnownCondValueAssumption;
     else {
       assert(!isa<ObjCForCollectionStmt>(Condition));
+      // TODO: instead of this shortcut perhaps it would be better to "rejoin"
+      // the common execution path with
+      // StTrue = StFalse = PrevState;
----------------
steakhal wrote:

I'd rather drop this, as it's not clear when could we achieve this. Unactionable comments are not useful long term. I'd expect contributors being able to push for a change like this be able to pinpoint this location in source code without any external help. For anyone else, it's just noise and confusing.

https://github.com/llvm/llvm-project/pull/109804


More information about the cfe-commits mailing list