================
@@ -603,6 +611,8 @@ void ArrayBoundCheckerV2::performCheck(const Expr *E,
CheckerContext &C) const {
auto [WithinUpperBound, ExceedsUpperBound] =
compareValueToThreshold(State, ByteOffset, *KnownSize, SVB);
+ bool AssumedNonNegative = SUR.assumedNonNegative();
----------------
NagyDonat wrote:
I see your point, but `CanBeNegative` is also somewhat incorrect here because
at this point (in the most recent `State`) the value of the symbol cannot be
negative. I think I'll use something like `AlsoMentionUnderflow` with a comment
that explains its meaning.
https://github.com/llvm/llvm-project/pull/84201
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
