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 {
        involves_non_atomic: bool,
        ptr: Pointer<AllocId>,
        op1: RacingOp,
        op2: RacingOp,
        extra: Option<&'static str>,
        retag_explain: bool,
    },
    UnsupportedForeignItem(String),
}

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

involves_non_atomic: bool

ptr: Pointer<AllocId>

op1: RacingOp

op2: RacingOp

extra: Option<&'static str>

retag_explain: bool

UnsupportedForeignItem(String)

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) -> DiagMessage

The diagnostic message for this error

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

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

Size for each variant:

• Exit: 15 bytes
• Abort: 31 bytes
• UnsupportedInIsolation: 31 bytes
• StackedBorrowsUb: 175 bytes
• TreeBorrowsUb: 79 bytes
• Int2PtrWithStrictProvenance: 0 bytes
• Deadlock: 0 bytes
• MultipleSymbolDefinitions: 47 bytes
• SymbolShimClashing: 23 bytes
• DataRace: 167 bytes
• UnsupportedForeignItem: 31 bytes