rustc_mir_dataflow::points

Function save_as_intervals

Source
pub fn save_as_intervals<'tcx, N, R>(
    elements: &DenseLocationMap,
    body: &Body<'tcx>,
    results: R,
) -> SparseIntervalMatrix<N, PointIndex>
where N: Idx, R: ResultsVisitable<'tcx, Domain = BitSet<N>>,
Expand description

Add points depending on the result of the given dataflow analysis.