Struct rustc_typeck::middle::cfg::CFGExperimental [-]  [+] [src]

pub struct CFG {
    pub exit_map: HashMap<u32, NodeIndex, FnvHasher>,
    pub graph: Graph<CFGNodeData, CFGEdgeData>,
    pub entry: NodeIndex,
    pub exit: NodeIndex,
}

Fields

exit_map
graph
entry
exit

Methods

impl CFG

fn new(tcx: &ctxt, blk: &Block) -> CFG

fn node_is_reachable(&self, id: u32) -> bool