[analyzer] Enhance array bound checking for `ConstantArrayType`#159357

alejandro-alvarez-sonarsource wants to merge 6 commits intollvm:mainllvm/llvm-project:mainfrom

alejandro-alvarez-sonarsource:aa/upstream/array_bound_constarrayalejandro-alvarez-sonarsource/llvm-project:aa/upstream/array_bound_constarrayCopy head branch name to clipboard