Struct PostDominator 

pub struct PostDominator {
    pub exit: BlockId,
    /* private fields */
}

Stores the immediate post-dominator for each block.

Fields

exit: BlockId

The exit node (synthetic node representing function exit).

Implementations

impl PostDominator

pub fn get(&self, id: BlockId) -> Option<BlockId>

Returns the immediate post-dominator of the given block, or None if the block post-dominates itself (i.e., it is the exit node).