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

[Gábor Horváth via cfe-commits]

Xazax-hun wrote:

Does this work with Z3 as the solver? Since Z3 is not officially supported, I think it is not a blocker, but I'd love to see some FIXMEs/tickets opened in that case. 

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