Struct rustc::middle::cfg::CFGExperimental

pub struct CFG {
    pub exit_map: NodeMap<CFGIndex>,
    pub graph: CFGGraph,
    pub entry: CFGIndex,
    pub exit: CFGIndex,
}

Fields

exit_map
graph
entry
exit

Methods

impl CFG

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

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