Enum rustc_mir::interpret::eval_context::LocalValue

pub enum LocalValue<Tag = ()> {
    Dead,
    Uninitialized,
    Live(Operand<Tag>),
}

Current value of a local variable

Variants

Dead

This local is not currently alive, and cannot be used at all.

Uninitialized

This local is alive but not yet initialized. It can be written to but not read from or its address taken. Locals get initialized on first write because for unsized locals, we do not know their size before that.

Live(Operand<Tag>)

A normal, live local. Mostly for convenience, we re-use the Operand type here. This is an optimization over just always having a pointer here; we can thus avoid doing an allocation when the local just stores immediate values and never has its address taken.

Trait Implementations

impl<Tag: Clone> Clone for LocalValue<Tag>

pub fn clone(&self) -> LocalValue<Tag>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Tag: Copy> Copy for LocalValue<Tag>

impl<Tag: Debug> Debug for LocalValue<Tag>

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

Formats the value using the given formatter.

impl<Tag: Eq> Eq for LocalValue<Tag>

impl<'__ctx, Tag> HashStable<StableHashingContext<'__ctx>> for LocalValue<Tag> where
    Tag: HashStable<StableHashingContext<'__ctx>>, 

pub fn hash_stable(
    &self,
    __hcx: &mut StableHashingContext<'__ctx>,
    __hasher: &mut StableHasher
)

impl<Tag: PartialEq> PartialEq<LocalValue<Tag>> for LocalValue<Tag>

pub fn eq(&self, other: &LocalValue<Tag>) -> bool

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

pub fn ne(&self, other: &LocalValue<Tag>) -> bool

This method tests for !=.

impl<Tag> StructuralEq for LocalValue<Tag>

impl<Tag> StructuralPartialEq for LocalValue<Tag>