[clang] [analyzer] Don't display the offset value in underflows (PR #98621)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Fri Jul 12 05:05:14 PDT 2024
================
@@ -609,7 +610,7 @@ void ArrayBoundCheckerV2::performCheck(const Expr *E, CheckerContext &C) const {
// CHECK UPPER BOUND
DefinedOrUnknownSVal Size = getDynamicExtent(State, Reg, SVB);
if (auto KnownSize = Size.getAs<NonLoc>()) {
- // In a situation where both overflow and overflow are possible (but the
+ // In a situation where both underflow and overflow are possible (but the
----------------
NagyDonat wrote:
This is an unrelated change, I just noticed a mistake (that was introduced in one of my earlier commits).
https://github.com/llvm/llvm-project/pull/98621
More information about the cfe-commits
mailing list