Struct KillPointsVisitor 

struct KillPointsVisitor<'a> {
    kill_points: &'a mut Vec<(Local, Location)>,
    live_on_entry: &'a mut IndexVec<BasicBlock, DenseBitSet<Local>>,
    borrowed_locals: &'a DenseBitSet<Local>,
}

Fields

kill_points: &'a mut Vec<(Local, Location)>

live_on_entry: &'a mut IndexVec<BasicBlock, DenseBitSet<Local>>

borrowed_locals: &'a DenseBitSet<Local>

Trait Implementations

impl<'tcx> ResultsVisitor<'tcx, MaybeLiveLocals> for KillPointsVisitor<'_>

fn visit_block_exit(&mut self, state: &DenseBitSet<Local>, block: BasicBlock)

Called after all effects in a block have been applied in the direction of the analysis.

fn visit_after_early_statement_effect( &mut self, state: &DenseBitSet<Local>, statement: &Statement<'tcx>, location: Location, )

Called after the “early” effect of the given statement is applied to state.

fn visit_after_early_terminator_effect( &mut self, state: &DenseBitSet<Local>, terminator: &Terminator<'tcx>, location: Location, )

Called after the “early” effect of the given terminator is applied to state.

fn visit_after_primary_statement_effect( &mut self, _state: &A::Domain, _statement: &Statement<'tcx>, _location: Location, )

Called after the “primary” effect of the given statement is applied to state.

fn visit_after_primary_terminator_effect( &mut self, _state: &A::Domain, _terminator: &Terminator<'tcx>, _location: Location, )

Called after the “primary” effect of the given terminator is applied to state.

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: 24 bytes