Struct LocalState

pub struct LocalState<'tcx, Prov: Provenance = CtfeProvenance> {
    value: LocalValue<Prov>,
    layout: Cell<Option<TyAndLayout<'tcx>>>,
}

State of a local variable including a memoized layout

Fields

value: LocalValue<Prov>

layout: Cell<Option<TyAndLayout<'tcx>>>

Don’t modify if Some, this is only used to prevent computing the layout twice. Avoids computing the layout of locals that are never actually initialized.

Implementations

impl<'tcx, Prov: Provenance> LocalState<'tcx, Prov>

pub fn make_live_uninit(&mut self)

pub fn as_mplace_or_imm( &self, ) -> Option<Either<(Pointer<Option<Prov>>, MemPlaceMeta<Prov>), Immediate<Prov>>>

This is a hack because Miri needs a way to visit all the provenance in a LocalState without having a layout or TyCtxt available, and we want to keep the Operand type private.

pub(super) fn access(&self) -> InterpResult<'tcx, &Operand<Prov>>

Read the local’s value or error if the local is not yet live or not live anymore.

pub(super) fn access_mut(&mut self) -> InterpResult<'tcx, &mut Operand<Prov>>

Overwrite the local. If the local can be overwritten in place, return a reference to do so; otherwise return the MemPlace to consult instead.

impl<'tcx, Prov: Provenance> LocalState<'tcx, Prov>

pub(super) fn print( &self, allocs: &mut Vec<Option<AllocId>>, fmt: &mut Formatter<'_>, ) -> Result

Trait Implementations

impl<'tcx, Prov: Clone + Provenance> Clone for LocalState<'tcx, Prov>

fn clone(&self) -> LocalState<'tcx, Prov>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Prov: Provenance> Debug for LocalState<'_, Prov>

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

Formats the value using the given formatter.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.