Skip to main content

component_reaches_checkpoint

rapx::verify::loop_sensitivity

Function component_reaches_checkpoint 

Source 
fn component_reaches_checkpoint(
    graph: &PathGraph<'_>,
    component: &LoopComponent,
    checkpoint: BasicBlock,
) -> bool
Expand description

Returns true if any block in component can reach checkpoint via CFG edges.