[clang] [llvm] [analyzer] Consolidate array bound checkers (PR #125534)

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

https://github.com/Xazax-hun approved this pull request.

LG! Do you have an intuition where the rest of the false positives are coming from? Are there infeasible paths? Insufficient solvers? Would cross-checking with Z3 reduce the FPs emitted from this check? 

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