Function rustc_typeck::check::generator_interior::drop_ranges::cfg_build::build_control_flow_graph

pub(super) fn build_control_flow_graph<'tcx>(
    hir: Map<'tcx>, 
    tcx: TyCtxt<'tcx>, 
    typeck_results: &TypeckResults<'tcx>, 
    consumed_borrowed_places: ConsumedAndBorrowedPlaces, 
    body: &'tcx Body<'tcx>, 
    num_exprs: usize
) -> DropRangesBuilder

Traverses the body to find the control flow graph and locations for the relevant places are dropped or reinitialized.

The resulting structure still needs to be iterated to a fixed point, which can be done with propagate_to_fixpoint in cfg_propagate.