libc: Implement pthread_mutex_destroy()
@@ -309,9 +309,9 @@ int pthread_mutex_init(pthread_mutex_t *__restrict mutex,
return 0;
}
-int pthread_mutex_destroy(pthread_mutex_t *) {
- __ensure(!"Not implemented");
- __builtin_unreachable();
+int pthread_mutex_destroy(pthread_mutex_t *mutex) {
+ __ensure(!mutex->__mlibc_state);
+ return 0;
}
int pthread_mutex_lock(pthread_mutex_t *mutex) {
