[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