On 07/22/2016 07:13 AM, Richard Biener wrote:

+  if (dom_info_available_p (CDI_DOMINATORS))

I think DOM info is always available during CFG cleanup
My recollection is that the cfg cleanup routines start by removing unreachables, then recomputing the dominator tree if it's not available.

That sequencing is vital as the dominator tree builder will assert there's no unreachables in the CFG.

jeff

Reply via email to