Enum miri::interpret::CheckInAllocMsg
source · pub enum CheckInAllocMsg {
DerefTest,
MemoryAccessTest,
PointerArithmeticTest,
OffsetFromTest,
InboundsTest,
}
Expand description
Details of why a pointer had to be in-bounds.
Variants
DerefTest
We are dereferencing a pointer (i.e., creating a place).
MemoryAccessTest
We are access memory.
PointerArithmeticTest
We are doing pointer arithmetic.
OffsetFromTest
We are doing pointer offset_from.
InboundsTest
None of the above – generic/unspecific inbounds test.
Auto Trait Implementations
impl RefUnwindSafe for CheckInAllocMsg
impl Send for CheckInAllocMsg
impl Sync for CheckInAllocMsg
impl Unpin for CheckInAllocMsg
impl UnwindSafe for CheckInAllocMsg
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<V, T> VZip<V> for Twhere
V: MultiLane<T>,
impl<V, T> VZip<V> for Twhere
V: MultiLane<T>,
fn vzip(self) -> V
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: 1 byte
Size for each variant:
DerefTest
: 0 bytesMemoryAccessTest
: 0 bytesPointerArithmeticTest
: 0 bytesOffsetFromTest
: 0 bytesInboundsTest
: 0 bytes