Struct ControlFlowGraph 

pub struct ControlFlowGraph<'tcx> {
    pub def_id: DefId,
    pub tcx: TyCtxt<'tcx>,
    pub blocks: Vec<CfgBlock>,
}

Generic MIR control-flow graph container.

This structure intentionally keeps only generic CFG shape and SCC metadata.

Fields

def_id: DefId

Definition being analyzed.

tcx: TyCtxt<'tcx>

Type context from the Rust compiler.

blocks: Vec<CfgBlock>

All CFG blocks for the current body.

Implementations

impl<'tcx> ControlFlowGraph<'tcx>

pub fn new(def_id: DefId, tcx: TyCtxt<'tcx>, blocks: Vec<CfgBlock>) -> Self

Construct a control-flow graph wrapper from prebuilt blocks.

pub fn block(&self, index: usize) -> &CfgBlock

Get an immutable reference to a block by index.

pub fn block_mut(&mut self, index: usize) -> &mut CfgBlock

Get a mutable reference to a block by index.

pub fn terminator(&self, index: usize) -> Option<&Terminator<'tcx>>

Retrieve the MIR terminator for the block at index on demand.

Returns None only for blocks whose terminator has not yet been elaborated (which is unusual for optimized MIR).

Trait Implementations

impl<'tcx> Clone for ControlFlowGraph<'tcx>

fn clone(&self) -> ControlFlowGraph<'tcx>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Scc for ControlFlowGraph<'tcx>

fn on_scc_found(&mut self, root: usize, scc_components: &[usize])

Callback invoked when an SCC is discovered.

fn get_next(&mut self, root: usize) -> FxHashSet<usize>

Return the outgoing successors of a node.

fn get_size(&mut self) -> usize

Return the total number of CFG blocks.

fn find_scc(&mut self)

Run SCC discovery from CFG entry block 0.

fn find_scc_from(&mut self, start: usize)

Run SCC discovery from a specific start node.

fn tarjan( &mut self, index: usize, stack: &mut Vec<usize>, instack: &mut FxHashSet<usize>, dfn: &mut Vec<usize>, low: &mut Vec<usize>, time: &mut usize, )

Recursive Tarjan traversal.