[clang] [analyzer] Enhance array bound checking for `ConstantArrayType` (PR #159357)

[Donát Nagy via cfe-commits]

NagyDonat wrote:

@alejandro-alvarez-sonarsource After lots of delays I finally documented my plans for library-ifying the bounds checking in the analyzer: https://discourse.llvm.org/t/uniformization-of-bounds-checking/88975 .

What do you think about these plans? Do you see any problems / unclear parts / improvement opportunities / etc.? Is this proposed architecture a suitable foundation for the checker improvements that you're planning?

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