Enum miri::NonHaltingDiagnostic
source · pub enum NonHaltingDiagnostic {
CreatedPointerTag(NonZero<u64>, Option<String>, Option<(AllocId, AllocRange, ProvenanceExtra)>),
PoppedPointerTag(Item, String),
CreatedCallId(CallId),
CreatedAlloc(AllocId, Size, Align, MemoryKind),
FreedAlloc(AllocId),
AccessedAlloc(AllocId, AccessKind),
RejectedIsolatedOp(String),
ProgressReport {
block_count: u64,
},
Int2Ptr {
details: bool,
},
WeakMemoryOutdatedLoad {
ptr: Pointer<Option<Provenance>>,
},
}
Expand description
Miri specific diagnostics
Variants§
CreatedPointerTag(NonZero<u64>, 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)
FreedAlloc(AllocId)
AccessedAlloc(AllocId, AccessKind)
RejectedIsolatedOp(String)
ProgressReport
Int2Ptr
WeakMemoryOutdatedLoad
Fields
§
ptr: Pointer<Option<Provenance>>
Auto Trait Implementations§
impl DynSend for NonHaltingDiagnostic
impl DynSync for NonHaltingDiagnostic
impl Freeze for NonHaltingDiagnostic
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
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<T> Filterable for T
impl<T> Filterable for T
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for 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: 64 bytes
Size for each variant:
CreatedPointerTag
: 64 bytesPoppedPointerTag
: 40 bytesCreatedCallId
: 16 bytesCreatedAlloc
: 32 bytesFreedAlloc
: 16 bytesAccessedAlloc
: 24 bytesRejectedIsolatedOp
: 32 bytesProgressReport
: 16 bytesInt2Ptr
: 9 bytesWeakMemoryOutdatedLoad
: 40 bytes