[clang] [analyzer] Show element count in ArrayBound underflow reports (PR #158639)

[Donát Nagy via cfe-commits]

================
@@ -430,30 +419,41 @@ static bool tryDividePair(std::optional<int64_t> &Val1,
   return true;
 }
 
-static Messages getExceedsMsgs(const MemSpaceRegion *Space,
+static Messages getNonTaintMsgs(ASTContext &ACtx, const MemSpaceRegion *Space,
----------------
NagyDonat wrote:

Good point, done in https://github.com/llvm/llvm-project/pull/158639/commits/5b1646f2bcf03d4a85872d7a2dc3ba6d47d97651.

By the way this non-`const` reference was already present in the codebase (since my message improvement commit added it IIRC last year); here it only appears in the diff because the first approach for this PR deleted it and then the second approach reverted that change.

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