Struct rustc_const_eval::interpret::Pointer

pub struct Pointer<Prov = CtfeProvenance> {
    pub(super) offset: Size,
    pub provenance: Prov,
}

Represents a pointer in the Miri engine.

Pointers are “tagged” with provenance information; typically the AllocId they belong to.

Fields

offset: Size

provenance: Prov

Implementations

impl<Prov> Pointer<Option<Prov>>

pub fn into_pointer_or_addr(self) -> Result<Pointer<Prov>, Size>

Convert this pointer that might have a provenance into a pointer that definitely has a provenance, or an absolute address.

This is rarely what you want; call ptr_try_get_alloc_id instead.

pub fn addr(self) -> Size

where Prov: Provenance,

Returns the absolute address the pointer points to. Only works if Prov::OFFSET_IS_ADDR is true!

impl<Prov> Pointer<Option<Prov>>

pub fn from_addr_invalid(addr: u64) -> Pointer<Option<Prov>>

Creates a pointer to the given address, with invalid provenance (i.e., cannot be used for any memory access).

pub fn null() -> Pointer<Option<Prov>>

impl<'tcx, Prov> Pointer<Prov>

pub fn new(provenance: Prov, offset: Size) -> Pointer<Prov>

pub fn into_parts(self) -> (Prov, Size)

Obtain the constituents of this pointer. Not that the meaning of the offset depends on the type Prov! This function must only be used in the implementation of Machine::ptr_get_alloc, and when a Pointer is taken apart to be stored efficiently in an Allocation.

pub fn map_provenance(self, f: impl FnOnce(Prov) -> Prov) -> Pointer<Prov>

pub fn offset( self, i: Size, cx: &impl HasDataLayout ) -> Result<Pointer<Prov>, InterpErrorInfo<'tcx>>

pub fn overflowing_offset( self, i: Size, cx: &impl HasDataLayout ) -> (Pointer<Prov>, bool)

pub fn wrapping_offset(self, i: Size, cx: &impl HasDataLayout) -> Pointer<Prov>

pub fn signed_offset( self, i: i64, cx: &impl HasDataLayout ) -> Result<Pointer<Prov>, InterpErrorInfo<'tcx>>

pub fn overflowing_signed_offset( self, i: i64, cx: &impl HasDataLayout ) -> (Pointer<Prov>, bool)

pub fn wrapping_signed_offset( self, i: i64, cx: &impl HasDataLayout ) -> Pointer<Prov>

Trait Implementations

impl<Prov> Clone for Pointer<Prov>

where Prov: Clone,

fn clone(&self) -> Pointer<Prov>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Prov> Debug for Pointer<Option<Prov>>

where Prov: Provenance,

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

Formats the value using the given formatter.

impl<Prov> Debug for Pointer<Prov>

where Prov: Provenance,

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

Formats the value using the given formatter.

impl<Prov, __D> Decodable<__D> for Pointer<Prov>

where __D: TyDecoder, Prov: Decodable<__D>,

fn decode(__decoder: &mut __D) -> Pointer<Prov>

impl<Prov> Display for Pointer<Option<Prov>>

where Prov: Provenance,

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

Formats the value using the given formatter.

impl<Prov, __E> Encodable<__E> for Pointer<Prov>

where __E: TyEncoder, Prov: Encodable<__E>,

fn encode(&self, __encoder: &mut __E)

impl From<AllocId> for Pointer

Produces a Pointer that points to the beginning of the Allocation.

fn from(alloc_id: AllocId) -> Pointer

Converts to this type from the input type.

impl From<CtfeProvenance> for Pointer

fn from(prov: CtfeProvenance) -> Pointer

Converts to this type from the input type.

impl<Prov> From<Pointer<Prov>> for Pointer<Option<Prov>>

fn from(ptr: Pointer<Prov>) -> Pointer<Option<Prov>>

Converts to this type from the input type.

impl<Prov> Hash for Pointer<Prov>

where Prov: Hash,

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'__ctx, Prov> HashStable<StableHashingContext<'__ctx>> for Pointer<Prov>

where Prov: HashStable<StableHashingContext<'__ctx>>,

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

impl IntoDiagArg for Pointer<AllocId>

fn into_diag_arg(self) -> DiagArgValue

impl<Prov> PartialEq for Pointer<Prov>

where Prov: PartialEq,

fn eq(&self, other: &Pointer<Prov>) -> bool

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

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

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

impl<Prov> Copy for Pointer<Prov>

where Prov: Copy,

impl<Prov> Eq for Pointer<Prov>

where Prov: Eq,

impl<Prov> StructuralPartialEq for Pointer<Prov>

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.