[clang] add array out-of-bounds access constraints using llvm.assume#159046

sebpop wants to merge 8 commits intollvm:mainllvm/llvm-project:mainfrom

sebpop:array-oob-undefsebpop/llvm-project:array-oob-undefCopy head branch name to clipboard