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

[via cfe-commits]

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


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

I'd prefer to keep the current name because it's more natural if we're looking at this from the outside (the get/has variants are awkward because `AssumedNonNegative` is not a noun phrase); and it's just an implementation detail that this is a getter for a private data member.

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