[clang] [analyzer] Let the checkers query upper and lower bounds on symbols (PR #74141)

[via cfe-commits]

DonatNagyE wrote:

I tested this patch on four open source projects (openssl, ffmpeg, postgres, contour) and the results were not affected (and there were no crashes). This is not surprising, because released open source code doesn't contain too many bugs and the message change only affects a specific subcase.

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