Struct Results

pub struct Results<'tcx, A>
where
    A: Analysis<'tcx>,
{
    pub analysis: A,
    pub entry_sets: EntrySets<'tcx, A>,
}

A dataflow analysis that has converged to fixpoint. It only holds the domain values at the entry of each basic block. Domain values in other parts of the block are recomputed on the fly by visitors (i.e. ResultsCursor, or ResultsVisitor impls).

Fields

analysis: A

entry_sets: EntrySets<'tcx, A>

Implementations

impl<'tcx, A> Results<'tcx, A>

where A: Analysis<'tcx>,

pub fn as_results_cursor<'mir>( &'mir mut self, body: &'mir Body<'tcx>, ) -> ResultsCursor<'mir, 'tcx, A>

Creates a ResultsCursor that mutably borrows the Results, which is appropriate when the Results is also used outside the cursor.

pub fn into_results_cursor<'mir>( self, body: &'mir Body<'tcx>, ) -> ResultsCursor<'mir, 'tcx, A>

Creates a ResultsCursor that takes ownership of the Results.

pub fn entry_set_for_block(&self, block: BasicBlock) -> &A::Domain

Gets the dataflow state for the given block.

pub fn visit_with<'mir>( &mut self, body: &'mir Body<'tcx>, blocks: impl IntoIterator<Item = BasicBlock>, vis: &mut impl ResultsVisitor<'mir, 'tcx, A>, )

pub fn visit_reachable_with<'mir>( &mut self, body: &'mir Body<'tcx>, vis: &mut impl ResultsVisitor<'mir, 'tcx, A>, )

Trait Implementations

impl<'tcx, A> Clone for Results<'tcx, A>

where A: Analysis<'tcx> + Clone,

fn clone(&self) -> Results<'tcx, A>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.