Enum miri::NonHaltingDiagnostic

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

Fields

§block_count: u64

Int2Ptr

Fields

§details: bool

WeakMemoryOutdatedLoad

Fields

§ptr: Pointer<Option<Provenance>>

Auto Trait Implementations§

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§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Same for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V