[Mlir-commits] [mlir] [mlir][Tensor] Check for out-of-bounds slice in `insert/extract_slice` verifier (PR #130487)

[Mehdi Amini]

================
@@ -258,6 +258,22 @@ func.func @illegal_num_offsets(%arg0 : tensor<?x?x?xf32>, %arg1 : index, %arg2 :
 
 // -----
 
+func.func @extract_slice_offset_out_of_bounds(%arg0: tensor<10xf32>) {
+  // expected-error at +1 {{offset 0 is out-of-bounds}}
----------------
joker-eph wrote:

Can we include the value for the offset and the bound?  Maybe:

```
offset 0 (10) is out-of-bounds (1)
```

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