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

   1 //@ignore-target-windows: No libc on Windows
   2 //@error-pattern: the main thread terminated without waiting for all remaining threads
   3
   4 // Check that we terminate the program when the main thread terminates.
   5
   6 use std::{mem, ptr};
   7
   8 extern "C" fn thread_start(_null: *mut libc::c_void) -> *mut libc::c_void {
   9     loop {}
  10 }
  11
  12 fn main() {
  13     unsafe {
  14         let mut native: libc::pthread_t = mem::zeroed();
  15         let attr: libc::pthread_attr_t = mem::zeroed();
  16         // assert_eq!(libc::pthread_attr_init(&mut attr), 0); FIXME: this function is not yet implemented.
  17         assert_eq!(libc::pthread_create(&mut native, &attr, thread_start, ptr::null_mut()), 0);
  18     }
  19 }