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
.