[Mlir-commits] [mlir] [mlir][Interfaces] Simplify and improve errors of `RegionBranchOpInterface` verifier (PR #174805)

lonely eagle llvmlistbot at llvm.org
Wed Jan 7 09:50:47 PST 2026


================
@@ -588,8 +590,9 @@ func.func @while_cross_region_type_mismatch() {
 
 func.func @while_cross_region_type_mismatch() {
   %true = arith.constant true
-  // expected-error at +1 {{along control flow edge from Operation scf.condition to Region #1: source type #0 'i1' should match input type #0 'i32'}}
+  // expected-error at +1 {{op along control flow edge from Operation scf.condition to Region #1: successor operand type #0 'i1' should match successor input type #0 'i32'}}
----------------
linuxlonelyeagle wrote:

"An extra string 'op' seems to have been checked here.

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


More information about the Mlir-commits mailing list