tests/compile-fail/libc_pthread_rwlock_unlock_unlocked.rs

   1 // ignore-windows: No libc on Windows
   2
   3 #![feature(rustc_private)]
   4
   5 extern crate libc;
   6
   7 fn main() {
   8     let rw = std::cell::UnsafeCell::new(libc::PTHREAD_RWLOCK_INITIALIZER);
   9     unsafe {
  10         libc::pthread_rwlock_unlock(rw.get()); //~ ERROR was not locked
  11     }
  12 }