CFG: Compute actual immediate dominators.

This wasn't really a visible bug, since the DominatorBuilder would resolve this
issue, but it is still a bug.
This commit is contained in:
Hans-Kristian Arntzen 2019-10-21 10:55:36 +02:00
parent a92668bc11
commit 7be1e51b5a

View File

@ -61,7 +61,7 @@ void CFG::build_immediate_dominators()
if (immediate_dominators[block])
{
assert(immediate_dominators[edge]);
immediate_dominators[block] = find_common_dominator(block, edge);
immediate_dominators[block] = find_common_dominator(immediate_dominators[block], edge);
}
else
immediate_dominators[block] = edge;