Struct rustc_mir::transform::generator::StorageConflictVisitor

pub(in transform::generator) struct StorageConflictVisitor<'mir, 'tcx, 's> {
    body: &'mir Body<'tcx>,
    saved_locals: &'s GeneratorSavedLocals,
    local_conflicts: BitMatrix<Local, Local>,
}

Fields

body: &'mir Body<'tcx>

saved_locals: &'s GeneratorSavedLocals

local_conflicts: BitMatrix<Local, Local>

Implementations

impl<'body, 'tcx, 's> StorageConflictVisitor<'body, 'tcx, 's>

pub(in transform::generator) fn apply_state(
    &mut self,
    flow_state: &BitSet<Local>,
    loc: Location
)

Trait Implementations

impl<'mir, 'tcx, '_> ResultsVisitor<'mir, 'tcx> for StorageConflictVisitor<'mir, 'tcx, '_>

type FlowState = BitSet<Local>

pub fn visit_statement_before_primary_effect(
    &mut self,
    state: &Self::FlowState,
    _statement: &'mir Statement<'tcx>,
    loc: Location
)

Called with the before_statement_effect of the given statement applied to state but not its statement_effect.

pub fn visit_terminator_before_primary_effect(
    &mut self,
    state: &Self::FlowState,
    _terminator: &'mir Terminator<'tcx>,
    loc: Location
)

Called with the before_terminator_effect of the given terminator applied to state but not its terminator_effect.

pub fn visit_block_start(
    &mut self,
    _state: &Self::FlowState,
    _block_data: &'mir BasicBlockData<'tcx>,
    _block: BasicBlock
)

pub fn visit_statement_after_primary_effect(
    &mut self,
    _state: &Self::FlowState,
    _statement: &'mir Statement<'tcx>,
    _location: Location
)

Called with both the before_statement_effect and the statement_effect of the given statement applied to state.

pub fn visit_terminator_after_primary_effect(
    &mut self,
    _state: &Self::FlowState,
    _terminator: &'mir Terminator<'tcx>,
    _location: Location
)

Called with both the before_terminator_effect and the terminator_effect of the given terminator applied to state.

pub fn visit_block_end(
    &mut self,
    _state: &Self::FlowState,
    _block_data: &'mir BasicBlockData<'tcx>,
    _block: BasicBlock
)