Enum miri::NonHaltingDiagnostic
source · pub enum NonHaltingDiagnostic {
CreatedPointerTag(NonZeroU64, Option<String>, Option<(AllocId, AllocRange, ProvenanceExtra)>),
PoppedPointerTag(Item, String),
CreatedCallId(CallId),
CreatedAlloc(AllocId, Size, Align, MemoryKind<MiriMemoryKind>),
FreedAlloc(AllocId),
RejectedIsolatedOp(String),
ProgressReport {
block_count: u64,
},
Int2Ptr {
details: bool,
},
WeakMemoryOutdatedLoad,
}
Expand description
Miri specific diagnostics
Variants§
CreatedPointerTag(NonZeroU64, Option<String>, Option<(AllocId, AllocRange, ProvenanceExtra)>)
(new_tag, new_perm, (alloc_id, base_offset, orig_tag))
new_perm is None
for base tags.
PoppedPointerTag(Item, String)
This Item
was popped from the borrow stack. The string explains the reason.
CreatedCallId(CallId)
CreatedAlloc(AllocId, Size, Align, MemoryKind<MiriMemoryKind>)
FreedAlloc(AllocId)
RejectedIsolatedOp(String)
ProgressReport
Int2Ptr
WeakMemoryOutdatedLoad
Auto Trait Implementations§
impl RefUnwindSafe for NonHaltingDiagnostic
impl Send for NonHaltingDiagnostic
impl Sync for NonHaltingDiagnostic
impl Unpin for NonHaltingDiagnostic
impl UnwindSafe for NonHaltingDiagnostic
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: 72 bytes
Size for each variant:
CreatedPointerTag
: 71 bytesPoppedPointerTag
: 39 bytesCreatedCallId
: 15 bytesCreatedAlloc
: 23 bytesFreedAlloc
: 15 bytesRejectedIsolatedOp
: 31 bytesProgressReport
: 15 bytesInt2Ptr
: 1 byteWeakMemoryOutdatedLoad
: 0 bytes