pub struct RawPtrDerefInfo<'tcx> {
pub block: BasicBlock,
pub ptr_operand: Operand<'tcx>,
pub pointee_ty: Ty<'tcx>,
pub is_read: bool,
pub is_ptr2ref: bool,
pub is_mut_ref: bool,
pub destination: Local,
pub statement_index: usize,
}Expand description
Metadata for a single raw pointer dereference operation found in MIR.
Fields§
§block: BasicBlock§ptr_operand: Operand<'tcx>§pointee_ty: Ty<'tcx>§is_read: bool§is_ptr2ref: boolWhether the statement is a reference creation from a raw pointer
(&*raw_ptr / &mut *raw_ptr), i.e. an Rvalue::Ref whose place has a
raw-pointer deref projection. This is the Ptr2Ref operation.
is_mut_ref: boolWhether the Ptr2Ref produces a mutable reference (&mut *raw_ptr).
destination: Local§statement_index: usizeStatement index within block (for reverse liveness at the deref point).
Trait Implementations§
Source§impl<'tcx> Clone for RawPtrDerefInfo<'tcx>
impl<'tcx> Clone for RawPtrDerefInfo<'tcx>
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for RawPtrDerefInfo<'tcx>
impl<'tcx> !UnwindSafe for RawPtrDerefInfo<'tcx>
impl<'tcx> DynSend for RawPtrDerefInfo<'tcx>
impl<'tcx> DynSync for RawPtrDerefInfo<'tcx>
impl<'tcx> Freeze for RawPtrDerefInfo<'tcx>
impl<'tcx> Send for RawPtrDerefInfo<'tcx>
impl<'tcx> Sync for RawPtrDerefInfo<'tcx>
impl<'tcx> Unpin for RawPtrDerefInfo<'tcx>
impl<'tcx> UnsafeUnpin for RawPtrDerefInfo<'tcx>
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
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more