Module cfg 

Structs

CfgBlock

Reusable CFG block structure shared by analyses built over MIR.

ControlFlowGraph

Generic MIR control-flow graph container.

Functions

record_member_nodes 🔒

Record membership, exit edges, and back edges for all non-root SCC members.

record_root_exits 🔒

Record exits from the SCC root to blocks outside the SCC.

rerun_scc_in_isolation 🔒

Re-run SCC discovery with a temporarily reduced graph to discover nested SCCs.

scc_handler 🔒

Handle a newly discovered SCC: mark the root, collect membership and edge metadata, then re-run SCC discovery on an isolated subgraph to populate nested SCC structure.