- changed status to resolved
Verify the computation of the PostDominatorTree
Issue #61
resolved
It seems as if the post dominator tree sometimes misses to correctly identify dominator relations.
E.g.,
0 -> 1
1 -> 2
1 -> Exit(3)
2 -> Exit(3)
Here, the rev CFG should be:
3 -> 2
3 -> 1
2 -> 1
1 -> 0
and the PostDominator tree should be:
3->2
3->1
*2*
1-> 0
*1*
Comments (3)
-
reporter -
reporter - removed milestone
Removing milestone: 0.9.0-M1 (automated comment)
-
reporter - removed version
Removing version: 0.9.0 (automated comment)
- Log in to comment
fixed issue
#61→ <<cset 581b18f3ffb1>>