charon_lib::transform::ullbc_to_llbc

Function list_reachable

source
fn list_reachable(
    cfg: &DiGraphMap<BlockId, ()>,
    start: BlockId,
) -> HashMap<BlockId, usize>
Expand description

List the nodes reachable from a starting point. We list the nodes and the depth (in the AST) at which they were found.