Function rustc_middle::mir::traversal::mono_reachable

pub fn mono_reachable<'a, 'tcx>(
    body: &'a Body<'tcx>,
    tcx: TyCtxt<'tcx>,
    instance: Instance<'tcx>
) -> MonoReachable<'a, 'tcx> ⓘ

Expand description

Traversal of a Body that tries to avoid unreachable blocks in a monomorphized Instance.

This is allowed to have false positives; blocks may be visited even if they are not actually reachable.

Such a traversal is mostly useful because it lets us skip lowering the false side of if <T as Trait>::CONST, as well as NullOp::UbChecks.

Function rustc_middle::mir::traversal::mono_reachableCopy item path