Struct rustc_mir::dataflow::impls::liveness::MaybeLiveLocals

pub struct MaybeLiveLocals;

A live-variable dataflow analysis.

This analysis considers references as being used only at the point of the borrow. In other words, this analysis does not track uses because of references that already exist. See this mir-datalow test for an example. You almost never want to use this analysis without also looking at the results of MaybeBorrowedLocals.

Implementations

impl MaybeLiveLocals

fn transfer_function<T, 'a>(&self, trans: &'a mut T) -> TransferFunction<'a, T>

Trait Implementations

impl<'tcx> AnalysisDomain<'tcx> for MaybeLiveLocals

type Idx = Local

The type of the elements in the state vector.

type Direction = Backward

The direction of this analyis. Either Forward or Backward.

const NAME: &'static str

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

fn bits_per_block(&self, body: &Body<'tcx>) -> usize

The size of the state vector.

fn initialize_start_block(&self, _: &Body<'tcx>, _: &mut BitSet<Self::Idx>)

Mutates the entry set of the START_BLOCK to contain the initial state for dataflow analysis.

fn pretty_print_idx(&self, w: &mut impl Write, idx: Self::Idx) -> Result<()>

Prints an element in the state vector for debugging.

impl BottomValue for MaybeLiveLocals

const BOTTOM_VALUE: bool

Specifies the initial value for each bit in the entry set for each basic block.

fn join<T: Idx>(&self, inout_set: &mut BitSet<T>, in_set: &BitSet<T>) -> bool

Merges in_set into inout_set, returning true if inout_set changed.

impl<'tcx> GenKillAnalysis<'tcx> for MaybeLiveLocals

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

See Analysis::apply_statement_effect.

fn terminator_effect(
    &self,
    trans: &mut impl GenKill<Self::Idx>,
    terminator: &Terminator<'tcx>,
    location: 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>],
    dest_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 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 discriminant_switch_effect(
    &self,
    _state: &mut impl GenKill<Self::Idx>,
    _block: BasicBlock,
    _enum_place: Place<'tcx>,
    _adt: &AdtDef,
    _variant: VariantIdx
)

See Analysis::apply_discriminant_switch_effect.

impl<'tcx> RustcPeekAt<'tcx> for MaybeLiveLocals

fn peek_at(
    &self,
    tcx: TyCtxt<'tcx>,
    place: Place<'tcx>,
    flow_state: &BitSet<Local>,
    call: PeekCall
)