[clang] [NFC][analyzer] OOB test consolidation II: constraint checking (PR #126748)

[Donát Nagy via cfe-commits]

================
@@ -1,6 +1,4 @@
-// RUN: %clang_analyze_cc1 -Wno-array-bounds -analyzer-checker=core,security.ArrayBound,debug.ExprInspection -verify %s
-
-void clang_analyzer_eval(int);
+// RUN: %clang_analyze_cc1 -Wno-array-bounds -analyzer-checker=core,security.ArrayBound -verify %s
----------------
NagyDonat wrote:

It would introduce four "warning" and four "note" level diagnostics;
I think this suppression is better than cluttering the tests themselves with `expected-{warning,note}` markers (especially since it would be easy to confuse those compiler warnings and the similar diagnostics from the analyzer).

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