Function miri::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.