tests/compile-fail/concurrency/libc_pthread_join_joined.rs

   1 // ignore-windows: Concurrency on Windows is not supported yet.
   2
   3 // Joining an already joined thread is undefined behavior.
   4
   5 #![feature(rustc_private)]
   6
   7 extern crate libc;
   8
   9 use std::{mem, ptr};
  10
  11 extern "C" fn thread_start(_null: *mut libc::c_void) -> *mut libc::c_void {
  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         assert_eq!(libc::pthread_join(native, ptr::null_mut()), 0);
  22         assert_eq!(libc::pthread_join(native, ptr::null_mut()), 0); //~ ERROR: Undefined Behavior: trying to join a detached or already joined thread
  23     }
  24 }