We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 015e11d commit 5854becCopy full SHA for 5854bec
compiler/rustc_mir_transform/src/jump_threading.rs
@@ -913,7 +913,7 @@ fn loop_headers(body: &Body<'_>) -> DenseBitSet<BasicBlock> {
913
let mut loop_headers = DenseBitSet::new_empty(body.basic_blocks.len());
914
let dominators = body.basic_blocks.dominators();
915
// Only visit reachable blocks.
916
- for (bb, bbdata) in traversal::preorder(body) {
+ for (bb, bbdata) in traversal::postorder(body) {
917
for succ in bbdata.terminator().successors() {
918
if dominators.dominates(succ, bb) {
919
loop_headers.insert(succ);
0 commit comments