Struct Forward

pub struct Forward;

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

Trait Implementations

impl Direction for Forward

const IS_FORWARD: bool = true

fn apply_effects_in_block<'mir, 'tcx, A>( analysis: &mut A, state: &mut A::Domain, block: BasicBlock, block_data: &'mir BasicBlockData<'tcx>, ) -> TerminatorEdges<'mir, 'tcx>

where A: Analysis<'tcx>,

fn apply_effects_in_range<'tcx, A>( analysis: &mut A, state: &mut A::Domain, block: BasicBlock, block_data: &BasicBlockData<'tcx>, effects: RangeInclusive<EffectIndex>, )

where A: Analysis<'tcx>,

Applies all effects between the given EffectIndexs.

fn visit_results_in_block<'mir, 'tcx, F, R>( state: &mut F, block: BasicBlock, block_data: &'mir BasicBlockData<'tcx>, results: &mut R, vis: &mut impl ResultsVisitor<'mir, 'tcx, R, Domain = F>, )

where R: ResultsVisitable<'tcx, Domain = F>,

fn join_state_into_successors_of<'tcx, A>( analysis: &mut A, _body: &Body<'tcx>, exit_state: &mut A::Domain, bb: BasicBlock, edges: TerminatorEdges<'_, 'tcx>, propagate: impl FnMut(BasicBlock, &A::Domain), )

where A: Analysis<'tcx>,

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