rustc_mir_dataflow::points

Function save_as_intervals

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

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