rustc_mir_dataflow

Function visit_results

source
pub fn visit_results<'mir, 'tcx, D, R>(
    body: &'mir Body<'tcx>,
    blocks: impl IntoIterator<Item = BasicBlock>,
    results: &mut R,
    vis: &mut impl ResultsVisitor<'mir, 'tcx, R, Domain = D>,
)
where R: ResultsVisitable<'tcx, Domain = D>,
Expand description

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