[PATCH] D36107: [PostDom] document the current handling of infinite loops and unreachables

[Tobias Grosser via llvm-commits]

[ Drop the citation to make it appear in phabricator]

Sure. The goal of this patch was nothing else but to show the general
brokenness we see here. While looking through your patch closely and
trying to explore the current and future behavior some of this
brokenness popped up. I thought I better post these test cases as they
might help to fix future bugs and as they also will document well the
direction we are going.

I fully agree that the incorrect update behavior for unreachable
instructions is mostly independent of the goal of connecting infinite
loops to virtual exits.

Best,
Tobias