Struct SccPath 

pub struct SccPath {
    pub blocks: Vec<usize>,
    pub exit_successors: Vec<usize>,
}

A single enumerated acyclic path through an SCC region.

blocks is the ordered sequence of MIR block indices from the SCC entry to the last block before exiting. The last block may have multiple CFG successors outside the SCC (e.g. a SwitchInt branching to different out-of-SCC targets), which are stored in exit_successors.

For example, in a loop with switch x { A => loop_body, B => done1, C => done2 }, the corresponding SccPath would have exit_successors = [done1, done2] — the DFS forks recursively into each of these when constructing whole-CFG paths.

Fields

blocks: Vec<usize>

exit_successors: Vec<usize>

Trait Implementations

impl Clone for SccPath

fn clone(&self) -> SccPath

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SccPath

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.