JIT: Check DFS tree containment before checking ancestry

Fix dotnet#110957
jakobbotsch · Jan 6, 2025 · c71cd27 · c71cd27
1 parent 1fb6148
commit c71cd27
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/coreclr/jit/optimizer.cpp b/src/coreclr/jit/optimizer.cpp
@@ -5730,7 +5730,7 @@ void Compiler::optRemoveRedundantZeroInits()
                  predEdge           = predEdge->getNextPredEdge())
             {
                 BasicBlock* const predBlock = predEdge->getSourceBlock();
-                if (m_dfsTree->IsAncestor(block, predBlock))
+                if (m_dfsTree->Contains(predBlock) && m_dfsTree->IsAncestor(block, predBlock))
                 {
                     JITDUMP(FMT_BB " is part of a cycle, stopping the block scan\n", block->bbNum);
                     stop = true;