Struct CfgBlock 

pub struct CfgBlock {
    pub index: usize,
    pub is_cleanup: bool,
    pub next: FxHashSet<usize>,
    pub scc: SccInfo,
}

Reusable CFG block structure shared by analyses built over MIR.

Each CfgBlock corresponds to a MIR basic block and stores:

• its block index,
• whether it is a cleanup block,
• its outgoing CFG edges,
• and SCC metadata for loop/cycle-aware traversal.

Terminator data is intentionally not cached here; use ControlFlowGraph::terminator to retrieve it on demand from MIR.

Fields

index: usize

Index of this block in the CFG block list.

is_cleanup: bool

Whether this block belongs to MIR cleanup/unwind control flow.

next: FxHashSet<usize>

Outgoing successor block indices.

scc: SccInfo

SCC information for this block.

For non-root blocks inside an SCC, enter points to the SCC root. For SCC roots, this field also stores member nodes, exits, and back edges.

Implementations

impl CfgBlock

pub fn new(index: usize, is_cleanup: bool) -> Self

Create a new CFG block with default analysis metadata.

pub fn add_next(&mut self, index: usize)

Add a successor edge from this block to index.

Trait Implementations

impl Clone for CfgBlock

fn clone(&self) -> CfgBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CfgBlock

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

Formats the value using the given formatter.