Struct rustc_mir::dataflow::impls::MaybeInitializedLocals

pub struct MaybeInitializedLocals;

Trait Implementations

impl<'tcx> AnalysisDomain<'tcx> for MaybeInitializedLocals

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>,
    entry_set: &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<'tcx> GenKillAnalysis<'tcx> for MaybeInitializedLocals

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

See Analysis::apply_yield_resume_effect.

type Idx = Local

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

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