Module diagnostics 

Macros

note 🔒

Generate a note/help text without a span.

note_span 🔒

Generate a note/help text with a span.

Structs

RacingOp

SpanDedupDiagnostic

Helps deduplicate a diagnostic to ensure it is only shown once per span.

Enums

DiagLevel

Level of Miri specific diagnostics

NonHaltingDiagnostic

Miri specific diagnostics

TerminationInfo

Details of premature program termination.

Traits

EvalContextExt

Functions

prune_stacktrace

Attempts to prune a stacktrace to omit the Rust runtime, and returns a bool indicating if any frames were pruned. If the stacktrace does not have any local frames, we conclude that it must be pointing to a problem in the Rust runtime itself, and do not prune it at all.

report_error

Emit a custom diagnostic without going through the miri-engine machinery.

report_leaks

report_msg

Report an error or note (depending on the error argument) with the given stacktrace. Also emits a full stacktrace of the interpreter stack. We want to present a multi-line span message for some errors. Diagnostics do not support this directly, so we pass the lines as a Vec<String> and display each line after the first with an additional span_label or note call.