[Mlir-commits] [mlir] [MLIR][Tensor] Fix Chained tensor.cast canonicalization pattern (PR #113551)

[Han-Chung Wang]

hanhanW wrote:

> When the sourceType and itermediateType both contains a dim which is static and not equal then the joinShapes utility returns a null value.

Doesn't it mean that the program is invalid or there is a bug in shape inference like things?

> I am confused: if the verifier does not allow the IR, then how can this hit a crash?

+1, I'm confused as well.

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