On 07/22/2016 07:13 AM, Richard Biener wrote:
My recollection is that the cfg cleanup routines start by removing unreachables, then recomputing the dominator tree if it's not available.+ if (dom_info_available_p (CDI_DOMINATORS)) I think DOM info is always available during CFG cleanup
That sequencing is vital as the dominator tree builder will assert there's no unreachables in the CFG.
jeff