Struct AllocExtra

pub struct AllocExtra<'tcx> {
    pub borrow_tracker: Option<AllocState>,
    pub data_race: AllocDataRaceHandler,
    pub backtrace: Option<Vec<FrameInfo<'tcx>>>,
    pub sync: FxHashMap<Size, Box<dyn Any>>,
}

Extra per-allocation data

Fields

borrow_tracker: Option<AllocState>

Global state of the borrow tracker, if enabled.

data_race: AllocDataRaceHandler

Extra state for data race detection.

Invariant: The enum variant must match the enum variant in the data_race field on MiriMachine

backtrace: Option<Vec<FrameInfo<'tcx>>>

A backtrace to where this allocation was allocated. As this is recorded for leak reports, it only exists if this allocation is leakable. The backtrace is not pruned yet; that should be done before printing it.

sync: FxHashMap<Size, Box<dyn Any>>

Synchronization primitives like to attach extra data to particular addresses. We store that inside the relevant allocation, to ensure that everything is removed when the allocation is freed. This maps offsets to synchronization-primitive-specific data.

Implementations

impl AllocExtra<'_>

pub fn borrow_tracker_sb(&self) -> &RefCell<Stacks>

pub fn borrow_tracker_sb_mut(&mut self) -> &mut RefCell<Stacks>

pub fn borrow_tracker_tb(&self) -> &RefCell<Tree>

impl<'tcx> AllocExtra<'tcx>

fn get_sync<T: 'static>(&self, offset: Size) -> Option<&T>

Trait Implementations

impl<'tcx> Clone for AllocExtra<'tcx>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for AllocExtra<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl VisitProvenance for AllocExtra<'_>

fn visit_provenance(&self, visit: &mut VisitWith<'_>)

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 144 bytes