Struct MemInfo 

pub struct MemInfo {
    pub size: u64,
    pub align: u32,
    pub order: MemOrder,
    pub tbaa: Option<Meta>,
    pub owns: u32,
    pub restrict: Restrict,
}

What an access does beyond naming an address.

Fields

size: u64

How many bytes the access covers, for the ones whose size is not their result type.

A load takes its size from the type it produces. An alloca and a memset do not, and this is where theirs is.

align: u32

The alignment the access is known to have, in bytes.

order: MemOrder

How strongly it is ordered, with MemOrder::NotAtomic for an ordinary access.

tbaa: Option<Meta>

The type-based aliasing node, if the front end knew one.

owns: u32

How many bytes of its record this access owns, counting the padding after it.

Zero for an access that is not a member of a record, and zero when the front end was not asked to work it out. What it is for is the init plane of spec/safe-memory/09-type-init-and-races.md section 9.3: under -fsafety-init=nopadding a store through a member records the padding after the member as written too, so that a record filled a member at a time comes out whole and the ordinary reads of it, which are a memcmp or a hash or a write of the record, are not refused.

Only the init plane reads it. A bounds check over these bytes would be asking about bytes the access does not touch, and a type plane write over them would be saying the padding holds a value of the member’s type, which it does not.

restrict: Restrict

Which restrict scope the access is in and which pointer it went through.

Trait Implementations

impl Clone for MemInfo

fn clone(&self) -> MemInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for MemInfo

impl Debug for MemInfo

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

Formats the value using the given formatter.

impl Eq for MemInfo

impl PartialEq for MemInfo

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MemInfo