dg
dg copied to clipboard
If we slice away a BB, other BBs still have refrences to it
In post-dominators and post-dominance frontiers
Hmm, maybe we should just invalidate post-dominators after slicing -- and compute new when needed