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§
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
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