1 //@ignore-target-windows: No libc on Windows
3 //@compile-flags: -Zmiri-disable-abi-check
5 //! Unwinding past the top frame of a stack is Undefined Behavior.
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
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 =
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);