scc_handler

rapx::graphs::cfg

Function scc_handler 

Source 
fn scc_handler<'tcx>(
    graph: &mut ControlFlowGraph<'tcx>,
    root: usize,
    scc_components: &[usize],
)
Expand description

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.