Function flowistry::mir::engine::iterate_to_fixpoint

source ·

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.