diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/libpanic_unwind/lib.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/libpanic_unwind/lib.rs b/src/libpanic_unwind/lib.rs index c8d270406c6..7c4e7bf1b17 100644 --- a/src/libpanic_unwind/lib.rs +++ b/src/libpanic_unwind/lib.rs @@ -98,5 +98,7 @@ pub unsafe extern "C" fn __rust_start_panic(payload: usize) -> u32 { imp::panic(Box::from_raw((*payload).box_me_up())) } +// A dummy helper function for Miri. +// Used to push an empty stack frame when we start unwinding #[cfg(miri)] pub fn miri_panic_trampoline() {} |