40 lines · cpp
1// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s2// CHECK-NOT: unlock of unlocked mutex3// CHECK: ThreadSanitizer: data race4// CHECK: pthread_cond_signal5 6#include "test.h"7 8struct Ctx {9 pthread_mutex_t m;10 pthread_cond_t c;11 bool done;12};13 14void *thr(void *p) {15 Ctx *c = (Ctx*)p;16 pthread_mutex_lock(&c->m);17 c->done = true;18 pthread_mutex_unlock(&c->m);19 pthread_cond_signal(&c->c);20 barrier_wait(&barrier);21 return 0;22}23 24int main() {25 barrier_init(&barrier, 2);26 Ctx *c = new Ctx();27 pthread_mutex_init(&c->m, 0);28 pthread_cond_init(&c->c, 0);29 pthread_t th;30 pthread_create(&th, 0, thr, c);31 pthread_mutex_lock(&c->m);32 while (!c->done)33 pthread_cond_wait(&c->c, &c->m);34 pthread_mutex_unlock(&c->m);35 // otherwise it can be reported as use-after-free36 barrier_wait(&barrier);37 delete c;38 pthread_join(th, 0);39}40