[Mlir-commits] [mlir] [mlir] Fix integer overflow in ShapedType::getNumElements and `makeCanonicalStridedLayoutExpr` (PR #178395)

[Stefan Weigl-Bosker]

sweiglbosker wrote:

I suggested doing this check in the verifier because its kind of the upper bound for shape ub, so we dont need to deal with these cases further down the line when dealing with crazy shapes that ive only ever seen come from fuzzers. Its true that this would be conservative though, so i guess this is the less limiting solution. I also don't think this issue is worth anyone spending more time on.

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