Struct States 

pub struct States<'tcx> {
    pub nonnull: bool,
    pub allocator_consistency: bool,
    pub init: bool,
    pub align: AlignState<'tcx>,
    pub valid_string: bool,
    pub valid_cstr: bool,
}

A collection of state properties for a memory location.

Fields

nonnull: bool

allocator_consistency: bool

init: bool

align: AlignState<'tcx>

valid_string: bool

valid_cstr: bool

Implementations

impl<'tcx> States<'tcx>

pub fn new(ty: Ty<'tcx>) -> Self

Create a new States instance with default values.

pub fn new_unknown() -> Self

Create a new States instance with all fields set to false/unknown.

pub fn merge_states(&mut self, other: &States<'tcx>)

Merge the states of this instance with another.

Trait Implementations

impl<'tcx> Clone for States<'tcx>

fn clone(&self) -> States<'tcx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for States<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> PartialEq for States<'tcx>

fn eq(&self, other: &States<'tcx>) -> 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<'tcx> Eq for States<'tcx>

impl<'tcx> StructuralPartialEq for States<'tcx>