pub fn iterate_to_fixpoint<'tcx, A: Analysis<'tcx>>(
_tcx: TyCtxt<'tcx>,
body: &Body<'tcx>,
location_domain: Rc<LocationOrArgDomain>,
analysis: A,
) -> AnalysisResults<'tcx, A>Expand description
Runs a given Analysis to a fixpoint over the given Body.
A reimplementation of rustc_mir_dataflow::framework::engine::iterate_to_fixpoint.