Struct Backward 

pub struct Backward;

Dataflow that runs from the exit of a block (terminator), to its entry (the first statement).

Trait Implementations

impl Direction for Backward

fn next_index(idx: EffectIndex) -> EffectIndex

Returns the next index for this direction.

const IS_FORWARD: bool = false

fn first_index(block_data: &BasicBlockData<'_>) -> EffectIndex

Returns the first statement index for this direction. (0 when going forward and statements.len() when going backward.)

fn apply_effects_in_block<'mir, 'tcx, A>( analysis: &A, body: &Body<'tcx>, state: &mut A::Domain, block: BasicBlock, block_data: &'mir BasicBlockData<'tcx>, propagate: impl FnMut(BasicBlock, &A::Domain), )

where A: Analysis<'tcx>,

Called by iterate_to_fixpoint during initial analysis computation.

fn visit_results_in_block<'mir, 'tcx, A>( analysis: &A, state: &mut A::Domain, block: BasicBlock, block_data: &'mir BasicBlockData<'tcx>, vis: &mut impl ResultsVisitor<'tcx, A>, )

where A: Analysis<'tcx>,

Called by ResultsVisitor to recompute the analysis domain values for all locations in a basic block (starting from entry_state and to visit them with vis.

const IS_BACKWARD: bool = _

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 0 bytes