rustc_data_structures::graph::dominators
pub fn dominators_given_rpo<G: ControlFlowGraph>( graph: &G, rpo: &[G::Node]) -> Dominators<G::Node>