src/tools/miri/tests/fail/panic/bad_miri_start_panic.rs

   1 //@compile-flags: -Zmiri-disable-abi-check
   2 // This feature is required to trigger the error using the "C" ABI.
   3 #![feature(c_unwind)]
   4
   5 extern "C" {
   6     fn miri_start_panic(payload: *mut u8) -> !;
   7 }
   8
   9 fn main() {
  10     unsafe { miri_start_panic(&mut 0) }
  11     //~^ ERROR: unwinding past a stack frame that does not allow unwinding
  12 }