[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

[Donát Nagy via cfe-commits]

NagyDonat wrote:

I'm abandoning this PR because I decided to return to writing general commits which improve the overall logic of the engine instead of just suppressing results from one particular (heavily affected) checker. (Moreover, this PR would've needed significant rebasing and code quality improvements.)

I already uploaded my first general improvement PR, https://github.com/llvm/llvm-project/pull/119388 "Don't assume third iteration in loops", which incorporates many fragments from this commit (but it has somewhat different goals and I hope that I was able to improve the code quality a bit).


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