Struct rustc_const_eval::interpret::AllocRef
source · pub struct AllocRef<'a, 'tcx, Prov: Provenance, Extra, Bytes: AllocBytes = Box<[u8]>> {
alloc: &'a Allocation<Prov, Extra, Bytes>,
range: AllocRange,
tcx: TyCtxt<'tcx>,
alloc_id: AllocId,
}
Expand description
A reference to some allocation that was already bounds-checked for the given region and had the on-access machine hooks run.
Fields§
§alloc: &'a Allocation<Prov, Extra, Bytes>
§range: AllocRange
§tcx: TyCtxt<'tcx>
§alloc_id: AllocId
Implementations§
source§impl<'tcx, 'a, Prov: Provenance, Extra, Bytes: AllocBytes> AllocRef<'a, 'tcx, Prov, Extra, Bytes>
impl<'tcx, 'a, Prov: Provenance, Extra, Bytes: AllocBytes> AllocRef<'a, 'tcx, Prov, Extra, Bytes>
sourcepub fn read_scalar(
&self,
range: AllocRange,
read_provenance: bool
) -> InterpResult<'tcx, Scalar<Prov>>
pub fn read_scalar( &self, range: AllocRange, read_provenance: bool ) -> InterpResult<'tcx, Scalar<Prov>>
range
is relative to this allocation reference, not the base of the allocation.
sourcepub fn read_integer(
&self,
range: AllocRange
) -> InterpResult<'tcx, Scalar<Prov>>
pub fn read_integer( &self, range: AllocRange ) -> InterpResult<'tcx, Scalar<Prov>>
range
is relative to this allocation reference, not the base of the allocation.
sourcepub fn read_pointer(&self, offset: Size) -> InterpResult<'tcx, Scalar<Prov>>
pub fn read_pointer(&self, offset: Size) -> InterpResult<'tcx, Scalar<Prov>>
offset
is relative to this allocation reference, not the base of the allocation.
sourcepub fn get_bytes_strip_provenance<'b>(&'b self) -> InterpResult<'tcx, &'a [u8]>
pub fn get_bytes_strip_provenance<'b>(&'b self) -> InterpResult<'tcx, &'a [u8]>
range
is relative to this allocation reference, not the base of the allocation.
sourcepub(crate) fn has_provenance(&self) -> bool
pub(crate) fn has_provenance(&self) -> bool
Returns whether the allocation has provenance anywhere in the range of the AllocRef
.
Trait Implementations§
source§impl<'a, 'tcx, Prov: Clone + Provenance, Extra: Clone, Bytes: Clone + AllocBytes> Clone for AllocRef<'a, 'tcx, Prov, Extra, Bytes>
impl<'a, 'tcx, Prov: Clone + Provenance, Extra: Clone, Bytes: Clone + AllocBytes> Clone for AllocRef<'a, 'tcx, Prov, Extra, Bytes>
impl<'a, 'tcx, Prov: Copy + Provenance, Extra: Copy, Bytes: Copy + AllocBytes> Copy for AllocRef<'a, 'tcx, Prov, Extra, Bytes>
Auto Trait Implementations§
impl<'a, 'tcx, Prov, Extra, Bytes = Box<[u8], Global>> !RefUnwindSafe for AllocRef<'a, 'tcx, Prov, Extra, Bytes>
impl<'a, 'tcx, Prov, Extra, Bytes = Box<[u8], Global>> !Send for AllocRef<'a, 'tcx, Prov, Extra, Bytes>
impl<'a, 'tcx, Prov, Extra, Bytes = Box<[u8], Global>> !Sync for AllocRef<'a, 'tcx, Prov, Extra, Bytes>
impl<'a, 'tcx, Prov, Extra, Bytes> Unpin for AllocRef<'a, 'tcx, Prov, Extra, Bytes>
impl<'a, 'tcx, Prov, Extra, Bytes = Box<[u8], Global>> !UnwindSafe for AllocRef<'a, 'tcx, Prov, Extra, Bytes>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 40 bytes