# Struct miri::AllocExtra

source ·

    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>>>,
    }

Expand description

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§

source§

### impl AllocExtra<'_>

source

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

source

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

source

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

## Trait Implementations§

source§

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

source§

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

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from `source`. Read more
source§

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

source§

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

Formats the value using the given formatter. Read more
source§

### impl VisitProvenance for AllocExtra<'_>

source§

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

## Auto Trait Implementations§

§

### impl<'tcx> !Freeze for AllocExtra<'tcx>

§

### impl<'tcx> !RefUnwindSafe for AllocExtra<'tcx>

§

### impl<'tcx> Send for AllocExtra<'tcx>

§

### impl<'tcx> !Sync for AllocExtra<'tcx>

§

### impl<'tcx> Unpin for AllocExtra<'tcx>

§

### impl<'tcx> !UnwindSafe for AllocExtra<'tcx>

## Blanket Implementations§

source§

### impl<T> Any for T
where T: 'static + ?Sized,

source§

#### fn type_id(&self) -> TypeId

Gets the `TypeId` of `self`. Read more
source§

### impl<T> Borrow<T> for T
where T: ?Sized,

source§

#### fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

### impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

#### fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

### impl<T> CloneToUninit for T
where T: Clone,

source§

#### default unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (`clone_to_uninit`)
Performs copy-assignment from `self` to `dst`. Read more
source§

### impl<T> From<T> for T

source§

#### fn from(t: T) -> T

Returns the argument unchanged.

source§

### impl<T, U> Into<U> for T
where U: From<T>,

source§

#### fn into(self) -> U

Calls `U::from(self)`.

That is, this conversion is whatever the implementation of `From<T> for U` chooses to do.

source§

### impl<T> Same for T

§

#### type Output = T

Should always be `Self`
source§

### impl<T> ToOwned for T
where T: Clone,

§

#### type Owned = T

The resulting type after obtaining ownership.
source§

#### fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

#### fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

### impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

#### type Error = Infallible

The type returned in the event of a conversion error.
source§

#### fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

### impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

#### type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

#### fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

### impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

#### fn vzip(self) -> V

## 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