rustc_mir_dataflow

Function visit_results

Source 
pub fn visit_results<'mir, 'tcx, A>(
    body: &'mir Body<'tcx>,
    blocks: impl IntoIterator<Item = BasicBlock>,
    analysis: &mut A,
    results: &Results<A::Domain>,
    vis: &mut impl ResultsVisitor<'tcx, A>,
)
where
    A: Analysis<'tcx>,
Expand description

Calls the corresponding method in ResultsVisitor for every location in a mir::Body with the dataflow state at that location.