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

   1 //@ignore-target-windows: No libc on Windows
   2
   3 // Joining the same thread from multiple threads is undefined behavior.
   4
   5 use std::thread;
   6 use std::{mem, ptr};
   7
   8 extern "C" fn thread_start(_null: *mut libc::c_void) -> *mut libc::c_void {
   9     // Yield the thread several times so that other threads can join it.
  10     thread::yield_now();
  11     thread::yield_now();
  12     ptr::null_mut()
  13 }
  14
  15 fn main() {
  16     unsafe {
  17         let mut native: libc::pthread_t = mem::zeroed();
  18         let attr: libc::pthread_attr_t = mem::zeroed();
  19         // assert_eq!(libc::pthread_attr_init(&mut attr), 0); FIXME: this function is not yet implemented.
  20         assert_eq!(libc::pthread_create(&mut native, &attr, thread_start, ptr::null_mut()), 0);
  21         let mut native_copy: libc::pthread_t = mem::zeroed();
  22         ptr::copy_nonoverlapping(&native, &mut native_copy, 1);
  23         let handle = thread::spawn(move || {
  24             assert_eq!(libc::pthread_join(native_copy, ptr::null_mut()), 0); //~ ERROR: Undefined Behavior: trying to join an already joined thread
  25         });
  26         assert_eq!(libc::pthread_join(native, ptr::null_mut()), 0);
  27         handle.join().unwrap();
  28     }
  29 }