pub fn visit_reachable_results<'mir, 'tcx, A>(
body: &'mir Body<'tcx>,
analysis: &mut A,
results: &Results<A::Domain>,
vis: &mut impl ResultsVisitor<'tcx, A>,
)where
A: Analysis<'tcx>,
Expand description
Like visit_results
, but only for reachable blocks.