Enum miri::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.