Struct miri::borrow_tracker::tree_borrows::tree::LocationState

pub(super) struct LocationState {
    permission: Permission,
    initialized: bool,
    latest_foreign_access: Option<AccessKind>,
}

Data for a single location.

Fields

permission: Permission

This pointer’s current permission

initialized: bool

A location is initialized when it is child accessed for the first time, and it then stays initialized forever. Before initialization we still apply some preemptive transitions on permission to know what to do in case it ever gets initialized, but these can never cause any immediate UB. There can however be UB the moment we attempt to initialize (i.e. child-access) because some foreign access done between the creation and the initialization is incompatible with child accesses.

latest_foreign_access: Option<AccessKind>

Strongest foreign access whose effects have already been applied to this node and all its children since the last child access. This is None if the most recent access is a child access, Some(Write) if at least one foreign write access has been applied since the previous child access, and Some(Read) if at least one foreign read and no foreign write have occurred since the last child access.

Implementations

impl LocationState

fn new(permission: Permission) -> Self

Default initial state has never been accessed and has been subjected to no foreign access.

fn with_access(self) -> Self

Record that this location was accessed through a child pointer by marking it as initialized

pub fn is_initialized(&self) -> bool

pub fn permission(&self) -> Permission

Trait Implementations

impl Clone for LocationState

fn clone(&self) -> LocationState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LocationState

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

Formats the value using the given formatter.

impl PartialEq<LocationState> for LocationState

fn eq(&self, other: &LocationState) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for LocationState

impl Eq for LocationState

impl StructuralEq for LocationState

impl StructuralPartialEq for LocationState

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