Function miri::diagnostics::report_error

pub fn report_error<'tcx, 'mir>(
    ecx: &InterpCx<'mir, 'tcx, MiriMachine<'mir, 'tcx>>,
    e: InterpErrorInfo<'tcx>
) -> Option<(i64, bool)>

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.