Re-add comment

This commit is contained in:
Aaron Hill 2019-11-19 15:31:37 -05:00
parent 8936d67e7f
commit e02dc4af4b
No known key found for this signature in database
GPG key ID: B4087E510E98B164

View file

@ -47,6 +47,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
trace!("miri_start_panic: {:?}", this.frame().span);
// Get the raw pointer stored in arg[0] (the panic payload).
let scalar = this.read_immediate(args[0])?;
assert!(this.machine.panic_payload.is_none(), "the panic runtime should avoid double-panics");
this.machine.panic_payload = Some(scalar);