[Mlir-commits] [mlir] [mlir][memref]: Added OOB value bound check to ViewOp (PR #183985)

[Aviad Cohen]

AviadCo wrote:

> Is there a reason to add this? Do you have an example of what you are trying to do.

Hey @Groverkss

DL;DR
In general, we would like to achieve OOB verifier in compile time + add runtime asserts for dynamic access. ViewOp can cause OOB access because no one verifiies that the `byte_offset + sizes` may exceed the source buffer. 

Please check longer discussion in https://github.com/llvm/llvm-project/pull/183795 


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