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

[Endre Fülöp via cfe-commits]

gamesh411 wrote:

I checked many false positives, even those that were not FP at first sight; I think we can live without them.
I also agree that we should strive to handle comparison evaluation more uniformly and preferably behind the API barrier of the constraint manager.
LGTM

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