Enum PrimitiveCall 

pub enum PrimitiveCall {
    AsPtr,
    AsMutPtr,
    AsPtrRange,
    AsMutPtrRange,
    PtrCast,
    PtrAdd,
    PtrSub,
    PtrOffset,
    PtrByteAdd,
    PtrByteSub,
    PtrByteOffset,
    PtrRead,
    PtrWrite,
    Len,
    MaybeUninitUninit,
    AlignOf,
    SizeOf,
    FromRawParts,
    FromRawPartsMut,
    SplitAt,
    SplitAtMut,
}

Std/core primitive calls with verifier-specific transfer functions.

Variants

AsPtr

AsMutPtr

AsPtrRange

AsMutPtrRange

PtrCast

PtrAdd

PtrSub

PtrOffset

PtrByteAdd

PtrByteSub

PtrByteOffset

PtrRead

PtrWrite

Len

MaybeUninitUninit

AlignOf

SizeOf

FromRawParts

FromRawPartsMut

SplitAt

SplitAtMut

Implementations

impl PrimitiveCall

pub fn classify(name: &str) -> Option<Self>

Classify a stable rustc def-path string as a known primitive call.

pub fn is_as_ptr_like(self) -> bool

Return true for calls that extract a raw pointer from an aggregate.

pub fn is_pointer_add_like(self) -> bool

Return true for pointer arithmetic calls with base + offset * stride.

pub fn is_pointer_sub_like(self) -> bool

Return true for pointer arithmetic calls with base - offset * stride.

pub fn is_pointer_arithmetic(self) -> bool

Return true for any pointer arithmetic primitive.

pub fn is_byte_pointer_arithmetic(self) -> bool

Return true when the arithmetic count is measured in bytes.

pub fn is_signed_pointer_arithmetic(self) -> bool

Return true when the arithmetic count can be negative.

pub fn is_layout_constant(self) -> bool

Return true for compile-time layout constant producers.

Trait Implementations

impl Clone for PrimitiveCall

fn clone(&self) -> PrimitiveCall

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrimitiveCall

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

Formats the value using the given formatter.

impl PartialEq for PrimitiveCall

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for PrimitiveCall

impl Eq for PrimitiveCall

impl StructuralPartialEq for PrimitiveCall