pub fn save_as_intervals<'tcx, N, A>(
elements: &DenseLocationMap,
body: &Body<'tcx>,
analysis: A,
results: Results<A::Domain>,
) -> SparseIntervalMatrix<N, PointIndex>
Expand description
Add points depending on the result of the given dataflow analysis.