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

   1 //@ignore-target-windows: No libc on Windows
   2
   3 //! The thread function must have exactly one argument.
   4
   5 use std::{mem, ptr};
   6
   7 extern "C" fn thread_start() -> *mut libc::c_void {
   8     panic!() //~ ERROR: callee has fewer arguments than expected
   9 }
  10
  11 fn main() {
  12     unsafe {
  13         let mut native: libc::pthread_t = mem::zeroed();
  14         let attr: libc::pthread_attr_t = mem::zeroed();
  15         // assert_eq!(libc::pthread_attr_init(&mut attr), 0); FIXME: this function is not yet implemented.
  16         let thread_start: extern "C" fn() -> *mut libc::c_void = thread_start;
  17         let thread_start: extern "C" fn(*mut libc::c_void) -> *mut libc::c_void =
  18             mem::transmute(thread_start);
  19         assert_eq!(libc::pthread_create(&mut native, &attr, thread_start, ptr::null_mut()), 0);
  20         assert_eq!(libc::pthread_join(native, ptr::null_mut()), 0);
  21     }
  22 }