joker-eph wrote: The crash happens in the verifier, which obviously has to be robust against invalid IR. Here the implementation of `verifyTransformOpInterface` is calling `getEffects` during verification. https://github.com/llvm/llvm-project/pull/185063