rustc_middle::mir::traversal

Function mono_reachable_as_bitset

Source
pub fn mono_reachable_as_bitset<'a, 'tcx>(
    body: &'a Body<'tcx>,
    tcx: TyCtxt<'tcx>,
    instance: Instance<'tcx>,
) -> BitSet<BasicBlock>
Expand description

MonoReachable internally accumulates a BitSet of visited blocks. This is just a convenience function to run that traversal then extract its set of reached blocks.