Module diagnostics

Macros

• note 🔒
  Generate a note/help text without a span.
• note_span 🔒
  Generate a note/help text with a span.

Structs

• RacingOp

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.