//@ignore-target-windows: No pthreads on Windows | |
/// Test that destroying a pthread_rwlock twice fails, even without a check for number validity | |
fn main() { | |
unsafe { | |
let mut lock = libc::PTHREAD_RWLOCK_INITIALIZER; | |
libc::pthread_rwlock_destroy(&mut lock); | |
libc::pthread_rwlock_destroy(&mut lock); | |
//~^ ERROR: Undefined Behavior: using uninitialized data, but this operation requires initialized memory | |
} | |
} |