charon_lib::transform::ullbc_to_llbc

Function register_children_as_loop_exit_candidates

source
fn register_children_as_loop_exit_candidates(
    cfg: &CfgInfo,
    loop_exits: &mut HashMap<BlockId, LinkedHashMap<BlockId, LoopExitCandidateInfo>>,
    removed_parent_loops: &Vec<(BlockId, usize)>,
    block_id: BlockId,
)
Expand description

Register a node and its children as exit candidates for a list of parent loops.