Enum miri::TerminationInfo

pub enum TerminationInfo {
    Exit {
        code: i64,
        leak_check: bool,
    },
    Abort(String),
    UnsupportedInIsolation(String),
    StackedBorrowsUb {
        msg: String,
        help: Option<String>,
        history: Option<TagHistory>,
    },
    Int2PtrWithStrictProvenance,
    Deadlock,
    MultipleSymbolDefinitions {
        link_name: Symbol,
        first: SpanData,
        first_crate: Symbol,
        second: SpanData,
        second_crate: Symbol,
    },
    SymbolShimClashing {
        link_name: Symbol,
        span: SpanData,
    },
}

Details of premature program termination.

Variants

Exit

Fields

code: i64

leak_check: bool

Abort(String)

UnsupportedInIsolation(String)

StackedBorrowsUb

Fields

msg: String

help: Option<String>

history: Option<TagHistory>

Int2PtrWithStrictProvenance

Deadlock

MultipleSymbolDefinitions

Fields

link_name: Symbol

first: SpanData

first_crate: Symbol

second: SpanData

second_crate: Symbol

SymbolShimClashing

Fields

link_name: Symbol

span: SpanData

Trait Implementations

impl Display for TerminationInfo

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

Formats the value using the given formatter.

impl MachineStopType for TerminationInfo

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: 168 bytes

Size for each variant:

• Exit: 16 bytes
• Abort: 24 bytes
• UnsupportedInIsolation: 24 bytes
• StackedBorrowsUb: 168 bytes
• Int2PtrWithStrictProvenance: 0 bytes
• Deadlock: 0 bytes
• MultipleSymbolDefinitions: 44 bytes
• SymbolShimClashing: 20 bytes