Module analysis 

Graph analysis algorithms.

This module currently provides classic control-flow analyses:

• dominators
• post-dominators
• canonical edge-based SESE regions / program-structure trees

Re-exported helpers:

• reachable_from_root
• compute_dominators
• DominatorTree
• compute_postdominators
• compute_sese

Re-exports

pub use dominator::DominatorTree;

pub use dominator::compute_dominators;

pub use dominator::reachable_from_root;

pub use post_dominator::compute_postdominators;

pub use sese::compute_sese_candidates;

pub use sese::SeseRegion;

pub use sese::SeseTree;

pub use sese::compute_sese;

Modules

dominator

Dominator analysis for directed graphs.

post_dominator

Post-dominator analysis for directed graphs.

sese

Canonical single-entry/single-exit regions and their program-structure tree.