Function rustc_hir_typeck::generator_interior::drop_ranges::cfg_build::build_control_flow_graph

pub(super) fn build_control_flow_graph<'tcx>(
    infcx: &InferCtxt<'tcx>,
    typeck_results: &TypeckResults<'tcx>,
    param_env: ParamEnv<'tcx>,
    consumed_borrowed_places: ConsumedAndBorrowedPlaces,
    body: &'tcx Body<'tcx>,
    num_exprs: usize
) -> (DropRangesBuilder, FxHashSet<HirId>)

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.