[Mlir-commits] [mlir] [MLIR][MemRef] Validate linear size before lowering allocs (PR #179155)

[Stefan Weigl-Bosker]

sweiglbosker wrote:

I was wondering about that too. My conclusion was that since we only lower identity layouts anyway, if we can prove that any static stride or size overflows then lowering the allocation would be invalid because valid loads and stores would suddenly become UB in llvm.

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