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

[Erich Keane via cfe-commits]

https://github.com/erichkeane commented:

No comments other than what @nikic had, everything else looks reasonable to me.

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