[Mlir-commits] [flang] [mlir] [flang] Emit llvm.assume for array bounds constraints (PR #178811)

[Nikita Popov]

nikic wrote:

@laoshd This change is the *opposite* of runtime checks for out-of-bounds accesses. It's not a sanitizer, it makes optimization of out-of-bounds accesses more aggressive.

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