When something like the loop unswitching code adds elements to the CFGs,
does this invalidate the dominators? or are they updated? or is it in
an in between state.
Im curious because a) the relation code uses it under the covers, and b)
Im looking to add a ranger caching improvement which also uses
dominators if they are available.
When blocks are added, I wonder what will happen to
1) dom_info_available_p (CDI_DOMINATORS) (is it still true), and
then what happens to
2) get_immediate_dominator (CDI_DOMINATORS, bb); for one of the
newly added BBs.
Thanks
Andrew
