Function miri::diagnostics::report_error

source ยท
pub fn report_error<'tcx>(
    ecx: &InterpCx<'tcx, MiriMachine<'tcx>>,
    e: InterpErrorInfo<'tcx>,
) -> Option<(i64, bool)>
Expand description

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

Returns Some if this was regular program termination with a given exit code and a bool indicating whether a leak check should happen; None otherwise.