Struct miri::borrow_tracker::GlobalStateInner

source ·
pub struct GlobalStateInner {
    borrow_tracker_method: BorrowTrackerMethod,
    next_ptr_tag: BorTag,
    root_ptr_tags: FxHashMap<AllocId, BorTag>,
    protected_tags: FxHashMap<BorTag, ProtectorKind>,
    tracked_pointer_tags: FxHashSet<BorTag>,
    retag_fields: RetagFields,
    unique_is_unique: bool,
}
Expand description

Extra global state, available to the memory access hooks.

Fields§

§borrow_tracker_method: BorrowTrackerMethod

Borrow tracker method currently in use.

§next_ptr_tag: BorTag

Next unused pointer ID (tag).

§root_ptr_tags: FxHashMap<AllocId, BorTag>

Table storing the “root” tag for each allocation. The root tag is the one used for the initial pointer. We need this in a separate table to handle cyclic statics.

§protected_tags: FxHashMap<BorTag, ProtectorKind>

All currently protected tags. We add tags to this when they are created with a protector in reborrow, and we remove tags from this when the call which is protecting them returns, in GlobalStateInner::end_call. See Stack::item_invalidated for more details.

§tracked_pointer_tags: FxHashSet<BorTag>

The pointer ids to trace

§retag_fields: RetagFields

Whether to recurse into datatypes when searching for pointers to retag.

§unique_is_unique: bool

Whether core::ptr::Unique gets special (Box-like) handling.

Implementations§

source§

impl GlobalStateInner

Utilities for initialization and ID generation

source

pub fn new( borrow_tracker_method: BorrowTrackerMethod, tracked_pointer_tags: FxHashSet<BorTag>, retag_fields: RetagFields, unique_is_unique: bool, ) -> Self

source

fn new_ptr(&mut self) -> BorTag

Generates a new pointer tag. Remember to also check track_pointer_tags and log its creation!

source

pub fn new_frame(&mut self) -> FrameState

source

fn end_call(&mut self, frame: &FrameExtra<'_>)

source

pub fn root_ptr_tag(&mut self, id: AllocId, machine: &MiriMachine<'_>) -> BorTag

source

pub fn remove_unreachable_allocs(&mut self, allocs: &LiveAllocs<'_, '_>)

source

pub fn borrow_tracker_method(&self) -> BorrowTrackerMethod

source§

impl GlobalStateInner

source

pub fn new_allocation( &mut self, id: AllocId, alloc_size: Size, kind: MemoryKind, machine: &MiriMachine<'_>, ) -> AllocState

Trait Implementations§

source§

impl Debug for GlobalStateInner

source§

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

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

impl VisitProvenance for GlobalStateInner

source§

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

Auto Trait Implementations§

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

source§

type Output = T

Should always be Self
source§

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

source§

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

source§

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