This is surely a simple question, but it appears that PostDominatorTree does not provide an interface to get at post dominator data. Also, it is not a concrete subclass of DominatorTree, as is presented in the doxygen page and the commented source. Any way to get post-dom data without hacking it into PostDominatorTree?