Page MenuHomePhabricator

[RFC] Make infinite loops available in postdom tree, but do not connect them to the reverse reachable part of the CFG
Needs RevisionPublic

Authored by grosser on Aug 1 2017, 3:58 AM.



This patch is not intended for submission, but to illustrate my comments in Please use D35851 for the discussion.

The difference to D35851 is that we connect unreachable parts to the CFG, but
that we disconnect these very parts from the reachable part of the CFG. As
such, they do not affect the dominance relations in the reachable part of the
CFG, but are still modeled in the PDT.

Event Timeline

grosser created this revision.Aug 1 2017, 3:58 AM
kuhar requested changes to this revision.Feb 2 2018, 9:42 AM

Marking it so that it doesn't take place in my to-review queue.

This revision now requires changes to proceed.Feb 2 2018, 9:42 AM
kuhar resigned from this revision.Sep 30 2019, 9:47 AM