[clang] [analyzer] Mention possibility of underflow in array overflow errors (PR #84201)

Balázs Kéri via cfe-commits cfe-commits at lists.llvm.org
Fri Mar 8 09:06:01 PST 2024


================
@@ -83,6 +83,8 @@ class StateUpdateReporter {
     AssumedUpperBound = UpperBoundVal;
   }
 
+  bool assumedNonNegative() { return AssumedNonNegative; }
----------------
balazske wrote:

This should be called `getAssumedNonNegative` or `hasAssumedNonNegative` (but the naming rule looks not very strict for this case)?

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


More information about the cfe-commits mailing list