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

[Sebastian Pop via cfe-commits]

sebpop wrote:

Maybe we should teach LSR cost model to ignore all computations leading into an assume.

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