[Mlir-commits] [mlir] [mlir][memref] Add static_sizes attribute to memref.view (PR #183795)

[Amir Bishara]

amirBish wrote:

@joker-eph @Hardcode84 I can still add a runtime verification interface for the MemRef ViewOp for the OOB case, The only downside I think about it is when having constant/static sizes it would be folded aways thus verified only once. However, having these logics within the verifier would always guarantee it. 

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