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>

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.

const NAME: &'static str

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

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

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

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

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

See Analysis::apply_before_statement_effect.

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

See Analysis::apply_statement_effect.

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

See Analysis::apply_before_terminator_effect.

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

See Analysis::apply_terminator_effect.

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.

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

See Analysis::apply_yield_resume_effect.

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.