Enum AllocationStatus

pub enum AllocationStatus {
    Dangling,
    DeadObject,
    Null,
    InBounds,
    OutOfBounds,
}

Enumeration with the cases currently covered by the pointer generator.

Variants

Dangling

Dangling pointers

DeadObject

Pointer to dead object

Null

Null pointers

InBounds

In bounds pointer (it may be unaligned)

OutOfBounds

The pointer cannot be read / written to for the given type since one or more bytes would be out of bounds of the current allocation.

Trait Implementations

impl Arbitrary for AllocationStatus

fn any() -> Self

fn any_array<const MAX_ARRAY_LENGTH: usize>() -> [Self; MAX_ARRAY_LENGTH]

impl Clone for AllocationStatus

fn clone(&self) -> AllocationStatus

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AllocationStatus

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

Formats the value using the given formatter.

impl PartialEq for AllocationStatus

fn eq(&self, other: &AllocationStatus) -> 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 AllocationStatus

impl Eq for AllocationStatus

impl StructuralPartialEq for AllocationStatus