Enum miri::diagnostics::TerminationInfo

pub enum TerminationInfo {
    Exit {
        code: i64,
        leak_check: bool,
    },
    Abort(String),
    UnsupportedInIsolation(String),
    StackedBorrowsUb {
        msg: String,
        help: Vec<String>,
        history: Option<TagHistory>,
    },
    TreeBorrowsUb {
        title: String,
        details: Vec<String>,
        history: HistoryData,
    },
    Int2PtrWithStrictProvenance,
    Deadlock,
    MultipleSymbolDefinitions {
        link_name: Symbol,
        first: SpanData,
        first_crate: Symbol,
        second: SpanData,
        second_crate: Symbol,
    },
    SymbolShimClashing {
        link_name: Symbol,
        span: SpanData,
    },
    DataRace {
        op1: RacingOp,
        op2: RacingOp,
        ptr: Pointer,
    },
}

Details of premature program termination.

Variants

Exit

Fields

code: i64

leak_check: bool

Abort(String)

UnsupportedInIsolation(String)

StackedBorrowsUb

Fields

msg: String

help: Vec<String>

history: Option<TagHistory>

TreeBorrowsUb

Fields

title: String

details: Vec<String>

history: HistoryData

Int2PtrWithStrictProvenance

Deadlock

MultipleSymbolDefinitions

Fields

link_name: Symbol

first: SpanData

first_crate: Symbol

second: SpanData

second_crate: Symbol

SymbolShimClashing

Fields

link_name: Symbol

span: SpanData

DataRace

Fields

op1: RacingOp

op2: RacingOp

ptr: Pointer

Trait Implementations

impl Debug for TerminationInfo

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

Formats the value using the given formatter.

impl Display for TerminationInfo

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

Formats the value using the given formatter.

impl MachineStopType for TerminationInfo

fn diagnostic_message(&self) -> DiagnosticMessage

The diagnostic message for this error

fn add_args( self: Box<Self>, _: &mut dyn FnMut(Cow<'static, str>, DiagnosticArgValue<'static>) )

Add diagnostic arguments by passing name and value pairs to adder, which are passed to fluent for formatting the translated diagnostic message.

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
• TreeBorrowsUb: 72 bytes
• Int2PtrWithStrictProvenance: 0 bytes
• Deadlock: 0 bytes
• MultipleSymbolDefinitions: 44 bytes
• SymbolShimClashing: 20 bytes
• DataRace: 144 bytes