Function compute_dead_unwinds

fn compute_dead_unwinds<'a, 'tcx>(
    body: &'a Body<'tcx>,
    flow_inits: &mut ResultsCursor<'a, 'tcx, MaybeInitializedPlaces<'a, 'tcx>>,
) -> BitSet<BasicBlock>

Records unwind edges which are known to be unreachable, because they are in drop terminators that can’t drop anything.