[clang] [analyzer] Improve handling of unsigned values in ArrayBoundCheckerV2 (PR #81034)

[via cfe-commits]

NagyDonat wrote:

I found _yet another_ situation where unsigned numbers cause stupid errors in the analyzer. This patch is a conservative, minimal solution to "plug the hole", but perhaps it would be better to eliminate unsigned numbers from the out-of-bound calculations and ensure that all comparisons are performed on `ssize_t` values (which can sufficiently represent all realistic offset and extent values).

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