[Mlir-commits] [mlir] [MLIR][Tensor] Fix out-of-bounds FoldEmptyTensorWithDimOp crash #111270 (PR #112196)

[Mehdi Amini]

================
@@ -979,7 +979,9 @@ struct FoldEmptyTensorWithDimOp : public OpRewritePattern<DimOp> {
     auto emptyTensorOp = dimOp.getSource().getDefiningOp<EmptyOp>();
     if (!emptyTensorOp || !maybeConstantIndex)
       return failure();
-    if (!emptyTensorOp.getType().isDynamicDim(*maybeConstantIndex))
+    auto emptyTensorType = emptyTensorOp.getType();
----------------
joker-eph wrote:

(you could though fold all of these cases to a `ub.unreachable()` intrinsic for example):

```
%a = constant .... tensor<10xf32>
if (cond) {
  ...
  ub.unreachable()
  ...
}
```

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