src/tools/miri/tests/fail/function_calls/exported_symbol_bad_unwind1.rs

   1 //@compile-flags: -Zmiri-disable-abi-check
   2 #![feature(c_unwind)]
   3
   4 #[no_mangle]
   5 extern "C-unwind" fn unwind() {
   6     panic!();
   7 }
   8
   9 fn main() {
  10     extern "C" {
  11         fn unwind();
  12     }
  13     unsafe { unwind() }
  14     //~^ ERROR: unwinding past a stack frame that does not allow unwinding
  15 }