Function miri::report_error
source · pub fn report_error<'tcx, 'mir>(
ecx: &InterpCx<'mir, 'tcx, MiriMachine<'mir, '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.