[clang] [analyzer] Add alpha.cplusplus.BoundsInformation checker (PR #112784)

[Artem Dergachev via cfe-commits]

================
@@ -0,0 +1,76 @@
+// RUN: %clang %s -std=c++20 -Xclang -verify --analyze \
+// RUN:   -Xclang -analyzer-checker=core,alpha.cplusplus.BoundsInformation \
+// RUN:   -Xclang -analyzer-checker=debug.ExprInspection
----------------
haoNoQ wrote:

`ExprInspection` is probably unnecessary. (It's a checker built for the purposes of debugging/testing the engine, mostly. It reacts on magic function calls such as `clang_analyzer_eval()`. You don't have any of those magic calls in the test. See also https://clang.llvm.org/docs/analyzer/developer-docs/DebugChecks.html)

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