Struct rustc_mir::dataflow::impls::borrows::Borrows

pub struct Borrows<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    body: &'a Body<'tcx>,
    borrow_set: Rc<BorrowSet<'tcx>>,
    borrows_out_of_scope_at_location: FxHashMap<Location, Vec<BorrowIndex>>,
    _nonlexical_regioncx: Rc<RegionInferenceContext<'tcx>>,
}

Borrows stores the data used in the analyses that track the flow of borrows.

It uniquely identifies every borrow (Rvalue::Ref) by a BorrowIndex, and maps each such index to a BorrowData describing the borrow. These indexes are used for representing the borrows in compact bitvectors.

Fields

tcx: TyCtxt<'tcx>

body: &'a Body<'tcx>

borrow_set: Rc<BorrowSet<'tcx>>

borrows_out_of_scope_at_location: FxHashMap<Location, Vec<BorrowIndex>>

_nonlexical_regioncx: Rc<RegionInferenceContext<'tcx>>

NLL region inference context with which NLL queries should be resolved

Implementations

impl<'a, 'tcx> Borrows<'a, 'tcx>

pub(crate) fn new(
    tcx: TyCtxt<'tcx>,
    body: &'a Body<'tcx>,
    nonlexical_regioncx: Rc<RegionInferenceContext<'tcx>>,
    borrow_set: &Rc<BorrowSet<'tcx>>
) -> Self

pub fn location(&self, idx: BorrowIndex) -> &Location

fn kill_loans_out_of_scope_at_location(
    &self,
    trans: &mut impl GenKill<BorrowIndex>,
    location: Location
)

Add all borrows to the kill set, if those borrows are out of scope at location. That means they went out of a nonlexical scope

fn kill_borrows_on_place(
    &self,
    trans: &mut impl GenKill<BorrowIndex>,
    place: Place<'tcx>
)

Kill any borrows that conflict with place.

Trait Implementations

impl<'tcx> AnalysisDomain<'tcx> for Borrows<'_, 'tcx>

type Domain = BitSet<BorrowIndex>

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<'tcx>) -> Self::Domain

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

pub fn initialize_start_block(&self, _: &Body<'tcx>, _: &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 DebugWithContext<Borrows<'_, '_>> for BorrowIndex

pub fn fmt_with(&self, ctxt: &Borrows<'_, '_>, f: &mut Formatter<'_>) -> Result

pub fn fmt_diff_with(
    &self,
    old: &Self,
    ctxt: &C,
    f: &mut Formatter<'_>
) -> Result

Print the difference between self and old.

impl<'tcx> GenKillAnalysis<'tcx> for Borrows<'_, 'tcx>

type Idx = BorrowIndex

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

See Analysis::apply_before_statement_effect.

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

See Analysis::apply_statement_effect.

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

See Analysis::apply_before_terminator_effect.

pub fn terminator_effect(
    &self,
    trans: &mut impl GenKill<Self::Idx>,
    teminator: &Terminator<'tcx>,
    _location: 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>],
    _dest_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.