Flush PostDomTree updates and return PostDomTree. It flushes Deleted BBs if both trees are up-to-date. It must only be called when it has a PostDomTree.
Declared in <llvm/Analysis/GenericDomTreeUpdater.h>
PostDomTreeT&
getPostDomTree();
The post-dominator tree after flushing pending updates.