Function post_dominates

src/analysis/postdom/mod.rs:14–24

(
    this: Location,
    other: Location,
    post_dominators: &PostDominators<BasicBlock>,
)

mod tests;

pub fn post_dominates(
    this: Location,
    other: Location,
    post_dominators: &PostDominators<BasicBlock>,
) -> bool {
    if this.block == other.block {
        other.statement_index <= this.statement_index
    } else {
        post_dominators.is_post_dominated_by(other.block, this.block)
    }
}

pub trait WithEndNodes: DirectedGraph {
    fn end_nodes(&self) -> Vec<Self::Node>;