https://github.com/zero9178 approved this pull request. LGTM % comments Is it worth adding a test to https://github.com/llvm/llvm-project/blob/main/mlir/test/Dialect/SCF/invalid.mlir for the bug in the verifier fixed by this PR as well? https://github.com/llvm/llvm-project/pull/66512