src/tools/miri/tests/fail/concurrency/unwind_top_of_stack.rs

   1 //@ignore-target-windows: No libc on Windows
   2
   3 //@compile-flags: -Zmiri-disable-abi-check
   4
   5 //! Unwinding past the top frame of a stack is Undefined Behavior.
   6
   7 #![feature(c_unwind)]
   8
   9 use std::{mem, ptr};
  10
  11 extern "C-unwind" fn thread_start(_null: *mut libc::c_void) -> *mut libc::c_void {
  12     //~^ ERROR: unwinding past the topmost frame of the stack
  13     panic!()
  14 }
  15
  16 fn main() {
  17     unsafe {
  18         let mut native: libc::pthread_t = mem::zeroed();
  19         let attr: libc::pthread_attr_t = mem::zeroed();
  20         // assert_eq!(libc::pthread_attr_init(&mut attr), 0); FIXME: this function is not yet implemented.
  21         // Cast to avoid inserting abort-on-unwind.
  22         let thread_start: extern "C-unwind" fn(*mut libc::c_void) -> *mut libc::c_void =
  23             thread_start;
  24         let thread_start: extern "C" fn(*mut libc::c_void) -> *mut libc::c_void =
  25             mem::transmute(thread_start);
  26         assert_eq!(libc::pthread_create(&mut native, &attr, thread_start, ptr::null_mut()), 0);
  27         assert_eq!(libc::pthread_join(native, ptr::null_mut()), 0);
  28     }
  29 }