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

[Sjoerd Meijer via cfe-commits]

https://github.com/sjoerdmeijer commented:

It probably makes sense to start off with this under a flag -fassume-array-bounds that is off by default, and it looks like an interesting option on itself that people may want to play with, but for our use-case we would like to have this on by default at some point. So, my high-level question is: what do we think the chance is to get this enabled by default?

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