miri::provenance_gc

Function remove_unreachable_allocs

Source 
fn remove_unreachable_allocs<'tcx>(
    ecx: &mut MiriInterpCx<'tcx>,
    allocs: FxHashSet<AllocId>,
)