Struct rustc_mir::dataflow::impls::storage_liveness::MaybeStorageLive

pub struct MaybeStorageLive {
    always_live_locals: AlwaysLiveLocals,
}

Fields

always_live_locals: AlwaysLiveLocals

Implementations

impl MaybeStorageLive

pub fn new(always_live_locals: AlwaysLiveLocals) -> Self

Trait Implementations

impl<'tcx> AnalysisDomain<'tcx> for MaybeStorageLive

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 Clone for MaybeStorageLive

fn clone(&self) -> MaybeStorageLive

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> GenKillAnalysis<'tcx> for MaybeStorageLive

type Idx = Local

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

See Analysis::apply_statement_effect.

fn terminator_effect(
    &self,
    _trans: &mut impl GenKill<Self::Idx>,
    _: &Terminator<'tcx>,
    _: 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 before_statement_effect(
    &self,
    _trans: &mut impl GenKill<Self::Idx>,
    _statement: &Statement<'tcx>,
    _location: Location
)

See Analysis::apply_before_statement_effect.

fn before_terminator_effect(
    &self,
    _trans: &mut impl GenKill<Self::Idx>,
    _terminator: &Terminator<'tcx>,
    _location: Location
)

See Analysis::apply_before_terminator_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.