[clang] [analyzer] Add hack in ArrayBound to cover up missing casts (PR #127117)

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

https://github.com/gamesh411 approved this pull request.

LGTM. An interesting thing could be to track in the analyzer the number of suppressed underflows (i.e.: the number of times we resorted to hacking with this solution). That way, we could have more information about how far we deviate from the precise modelling. This could provide a useful metric in the future and may not belong strictly to this patch.

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