1 // RUN: %clangxx_tsan -O1 %s -o %t 2 // RUN: %run %t 2>&1 | FileCheck %s 3 // RUN: %run %t arg 2>&1 | FileCheck %s 4 // RUN: %run %t arg arg 2>&1 | FileCheck %s 5 #include "test.h" 6 7 // Test for destruction of pthread_cond_t. 8 // POSIX states that it is safe to destroy a condition variable upon which no 9 // threads are currently blocked. That is, it is not necessary to wait untill 10 // other threads return from pthread_cond_wait, they just need to be unblocked. 11 12 pthread_mutex_t m; 13 pthread_cond_t c; 14 bool done1, done2; 15 16 void *thr(void *p) { 17 pthread_mutex_lock(&m); 18 done1 = true; 19 pthread_cond_signal(&c); 20 while (!done2) 21 pthread_cond_wait(&c, &m); 22 pthread_mutex_unlock(&m); 23 return 0; 24 } 25 26 int main(int argc, char **argv) { 27 pthread_t th; 28 pthread_mutex_init(&m, 0); 29 pthread_cond_init(&c, 0); 30 pthread_create(&th, 0, thr, 0); 31 pthread_mutex_lock(&m); 32 while (!done1) 33 pthread_cond_wait(&c, &m); 34 done2 = true; 35 // Any of these sequences is legal. 36 if (argc == 1) { 37 pthread_cond_signal(&c); 38 pthread_mutex_unlock(&m); 39 pthread_cond_destroy(&c); 40 } else if (argc == 2) { 41 pthread_mutex_unlock(&m); 42 pthread_cond_signal(&c); 43 pthread_cond_destroy(&c); 44 } else { 45 pthread_cond_signal(&c); 46 pthread_cond_destroy(&c); 47 pthread_mutex_unlock(&m); 48 } 49 pthread_join(th, 0); 50 fprintf(stderr, "DONE\n"); 51 } 52 53 // CHECK-NOT: ThreadSanitizer: data race 54
