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

[Donát Nagy via cfe-commits]

NagyDonat wrote:

> Please avoid matching the types of the `clang_analyzer_value` dumps, but be sure to match the whole range sets there, including their curlies. It's still important to know that it would have a single range associated.

Yes, that's what I was planning. Pushed a commit that removes the type markers, but keeps the curlies.

Also, my previous commit accidentally removed `'-Wno-array-bounds'`, I re-added it.

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