Member predicate Flow::BasicBlock::dominanceFrontier

Dominance frontier of a node x is the set of all nodes other such that this dominates a predecessor of other but does not strictly dominate other

predicate dominanceFrontier(BasicBlock other)