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

[Slava Zakharin via flang-commits]

https://github.com/vzakhari commented:

I do not have any comments on top of what Jean's already said.

Sebastian, can you please point to the definition/implementation of LLVM's `llvm.array.bounds` metadata?

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