Struct miri::machine::AllocExtra

pub struct AllocExtra<'tcx> {
    pub borrow_tracker: Option<AllocState>,
    pub data_race: Option<VClockAlloc>,
    pub weak_memory: Option<StoreBufferAlloc>,
    pub backtrace: Option<Vec<FrameInfo<'tcx>>>,
}

Extra per-allocation data

Fields

borrow_tracker: Option<AllocState>

Global state of the borrow tracker, if enabled.

data_race: Option<VClockAlloc>

Data race detection via the use of a vector-clock. This is only added if it is enabled.

weak_memory: Option<StoreBufferAlloc>

Weak memory emulation via the use of store buffers. This is only added if it is enabled.

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.

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>

Trait Implementations

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

fn clone(&self) -> AllocExtra<'tcx>

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 VisitTags for AllocExtra<'_>

fn visit_tags(&self, visit: &mut dyn FnMut(BorTag))

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: 120 bytes