diff --git a/src/header/pthread/barrier.rs b/src/header/pthread/barrier.rs index 03cbc6ca7c217b6fa68feb284b1f5b5d4219dfb5..e4c6905d21970736776542f9078f94ad1ae8288b 100644 --- a/src/header/pthread/barrier.rs +++ b/src/header/pthread/barrier.rs @@ -77,3 +77,10 @@ pub unsafe extern "C" fn pthread_barrierattr_getpshared(attr: *const pthread_bar core::ptr::write(pshared, (*attr.cast::<RlctBarrierAttr>()).pshared); 0 } + +// Not async-signal-safe. +#[no_mangle] +pub unsafe extern "C" fn pthread_barrierattr_destroy(attr: *mut pthread_barrierattr_t) -> c_int { + core::ptr::drop_in_place(attr); + 0 +}