charon_lib::transform::ullbc_to_llbc

Function build_cfg_partial_info_edges

source
fn build_cfg_partial_info_edges(
    cfg: &mut CfgInfo,
    ancestors: &HashSet<BlockId>,
    explored: &mut HashSet<BlockId>,
    body: &ExprBody,
    block_id: BlockId,
)