Index: include/pthread.h =================================================================== --- include/pthread.h +++ include/pthread.h @@ -209,9 +209,14 @@ int pthread_cond_wait(pthread_cond_t * __restrict, pthread_mutex_t * __restrict __mutex) __requires_exclusive(*__mutex); + +#pragma clang diagnostic push +#pragma clang diagnostic ignored "-Wbuiltin-requires-header" int pthread_create(pthread_t * __restrict, const pthread_attr_t * __restrict, void *(*) (void *), void * __restrict); +#pragma clang diagnostic pop + int pthread_detach(pthread_t); int pthread_equal(pthread_t, pthread_t); void pthread_exit(void *) __dead2;