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

via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 24 16:14:13 PDT 2024


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


================
@@ -323,12 +342,13 @@ class ExprEngine {
 
   /// ProcessBranch - Called by CoreEngine.  Used to generate successor
   ///  nodes by processing the 'effects' of a branch condition.
----------------
isuckatcs wrote:

```suggestion
  /// nodes by processing the 'effects' of a branch condition.
```

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


More information about the cfe-commits mailing list