Struct rustc_mir::dataflow::impls::storage_liveness::MaybeRequiresStorage

pub struct MaybeRequiresStorage<'mir, 'tcx> {
    body: &'mir Body<'tcx>,
    borrowed_locals: RefCell<ResultsRefCursor<'mir, 'mir, 'tcx, MaybeBorrowedLocals>>,
}

Dataflow analysis that determines whether each local requires storage at a given location; i.e. whether its storage can go away without being observed.

Fields

body: &'mir Body<'tcx>

borrowed_locals: RefCell<ResultsRefCursor<'mir, 'mir, 'tcx, MaybeBorrowedLocals>>

Implementations

impl<'mir, 'tcx> MaybeRequiresStorage<'mir, 'tcx>

pub fn new(
    body: &'mir Body<'tcx>,
    borrowed_locals: &'mir Results<'tcx, MaybeBorrowedLocals>
) -> Self

impl<'mir, 'tcx> MaybeRequiresStorage<'mir, 'tcx>

pub(in dataflow::impls::storage_liveness) fn check_for_move(
    &self,
    trans: &mut impl GenKill<Local>,
    loc: Location
)

Kill locals that are fully moved and have not been borrowed.

Trait Implementations

impl<'mir, 'tcx> AnalysisDomain<'tcx> for MaybeRequiresStorage<'mir, 'tcx>

type Domain = BitSet<Local>

The type that holds the dataflow state at any given point in the program.

pub const NAME: &'static str

A descriptive name for this analysis. Used only for debugging.

pub fn bottom_value(&self, body: &Body<'tcx>) -> Self::Domain

The initial value of the dataflow state upon entry to each basic block.

pub fn initialize_start_block(
    &self,
    body: &Body<'tcx>,
    on_entry: &mut Self::Domain
)

Mutates the initial value of the dataflow state upon entry to the START_BLOCK.

type Direction: Direction = Forward

The direction of this analysis. Either Forward or Backward.

impl<'mir, 'tcx> GenKillAnalysis<'tcx> for MaybeRequiresStorage<'mir, 'tcx>

type Idx = Local

pub fn before_statement_effect(
    &self,
    trans: &mut impl GenKill<Self::Idx>,
    stmt: &Statement<'tcx>,
    loc: Location
)

See Analysis::apply_before_statement_effect.

pub fn statement_effect(
    &self,
    trans: &mut impl GenKill<Self::Idx>,
    _: &Statement<'tcx>,
    loc: Location
)

See Analysis::apply_statement_effect.

pub fn before_terminator_effect(
    &self,
    trans: &mut impl GenKill<Self::Idx>,
    terminator: &Terminator<'tcx>,
    loc: Location
)

See Analysis::apply_before_terminator_effect.

pub fn terminator_effect(
    &self,
    trans: &mut impl GenKill<Self::Idx>,
    terminator: &Terminator<'tcx>,
    loc: Location
)

See Analysis::apply_terminator_effect.

pub fn call_return_effect(
    &self,
    trans: &mut impl GenKill<Self::Idx>,
    _block: BasicBlock,
    _func: &Operand<'tcx>,
    _args: &[Operand<'tcx>],
    return_place: Place<'tcx>
)

See Analysis::apply_call_return_effect.

pub fn yield_resume_effect(
    &self,
    trans: &mut impl GenKill<Self::Idx>,
    _resume_block: BasicBlock,
    resume_place: Place<'tcx>
)

See Analysis::apply_yield_resume_effect.

pub fn switch_int_edge_effects<G: GenKill<Self::Idx>>(
    &self,
    _block: BasicBlock,
    _discr: &Operand<'tcx>,
    _edge_effects: &mut impl SwitchIntEdgeEffects<G>
)

See Analysis::apply_switch_int_edge_effects.