miri::machine

Enum MiriMemoryKind

Source
pub enum MiriMemoryKind {
    Rust,
    Miri,
    C,
    WinHeap,
    WinLocal,
    Machine,
    Runtime,
    Global,
    ExternStatic,
    Tls,
    Mmap,
}
Expand description

Extra memory kinds

Variants§

§

Rust

__rust_alloc memory.

§

Miri

miri_alloc memory.

§

C

malloc memory.

§

WinHeap

Windows HeapAlloc memory.

§

WinLocal

Windows “local” memory (to be freed with LocalFree)

§

Machine

Memory for args, errno, and other parts of the machine-managed environment. This memory may leak.

§

Runtime

Memory allocated by the runtime (e.g. env vars). Separate from Machine because we clean it up and leak-check it.

§

Global

Globals copied from tcx. This memory may leak.

§

ExternStatic

Memory for extern statics. This memory may leak.

§

Tls

Memory for thread-local statics. This memory may leak.

§

Mmap

Memory mapped directly by the program

Implementations§

Source§

impl MiriMemoryKind

Source

fn should_save_allocation_span(self) -> bool

Whether we have a useful allocation span for an allocation of this kind.

Trait Implementations§

Source§

impl Clone for MiriMemoryKind

Source§

fn clone(&self) -> MiriMemoryKind

Returns a copy of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for MiriMemoryKind

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Display for MiriMemoryKind

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl From<MiriMemoryKind> for MemoryKind

Source§

fn from(kind: MiriMemoryKind) -> MemoryKind

Converts to this type from the input type.
Source§

impl MayLeak for MiriMemoryKind

Source§

impl PartialEq for MiriMemoryKind

Source§

fn eq(&self, other: &MiriMemoryKind) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Copy for MiriMemoryKind

Source§

impl Eq for MiriMemoryKind

Source§

impl StructuralPartialEq for MiriMemoryKind

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

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:

  • Rust: 0 bytes
  • Miri: 0 bytes
  • C: 0 bytes
  • WinHeap: 0 bytes
  • WinLocal: 0 bytes
  • Machine: 0 bytes
  • Runtime: 0 bytes
  • Global: 0 bytes
  • ExternStatic: 0 bytes
  • Tls: 0 bytes
  • Mmap: 0 bytes