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

[Ivan Butygin]

Hardcode84 wrote:

I'm actually not sure if it's a good idea to fail compilation if we detected invalid allocation size, for the same reasons we don't want to check memref load/store indices are in bounds in verifier. Program can still be valid even if it's contains invalid alloc (e.g. its in unreachable branch). I think this should be poison/unreachable/runtime abort but not the compilation failure.

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