Simplify back-edge logic.

cjgillot · cjgillot · commit 8c2c695c9ee6 · 2023-05-17T12:18:55.000Z
diff --git a/compiler/rustc_mir_transform/src/ctfe_limit.rs b/compiler/rustc_mir_transform/src/ctfe_limit.rs
@@ -47,7 +47,7 @@ fn has_back_edge(
         return false;
     }
     // Check if any of the dominators of the node are also the node's successor.
-    doms.dominators(node).any(|dom| node_data.terminator().successors().any(|succ| succ == dom))
+    node_data.terminator().successors().any(|succ| doms.dominates(succ, node))
 }
 
 fn insert_counter(basic_block_data: &mut BasicBlockData<'_>) {

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@ fn has_back_edge(`
`47`	`47`	`return false;`
`48`	`48`	`}`
`49`	`49`	`// Check if any of the dominators of the node are also the node's successor.`
`50`		`- doms.dominators(node).any(\|dom\| node_data.terminator().successors().any(\|succ\| succ == dom))`
	`50`	`+ node_data.terminator().successors().any(\|succ\| doms.dominates(succ, node))`
`51`	`51`	`}`
`52`	`52`
`53`	`53`	`fn insert_counter(basic_block_data: &mut BasicBlockData<'_>) {`