compiler-rt/test/tsan/Linux/mutex_robust.cpp

   1 // RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
   2 #include <pthread.h>
   3 #include <stdlib.h>
   4 #include <stdio.h>
   5 #include <unistd.h>
   6 #include <errno.h>
   7
   8 pthread_mutex_t m;
   9
  10 void *thr(void *p) {
  11   pthread_mutex_lock(&m);
  12   return 0;
  13 }
  14
  15 int main() {
  16   pthread_mutexattr_t a;
  17   pthread_mutexattr_init(&a);
  18   pthread_mutexattr_setrobust(&a, PTHREAD_MUTEX_ROBUST);
  19   pthread_mutex_init(&m, &a);
  20   pthread_t th;
  21   pthread_create(&th, 0, thr, 0);
  22   sleep(1);
  23   if (pthread_mutex_lock(&m) != EOWNERDEAD) {
  24     fprintf(stderr, "not EOWNERDEAD\n");
  25     exit(1);
  26   }
  27   pthread_join(th, 0);
  28   fprintf(stderr, "DONE\n");
  29 }
  30
  31 // This is a correct code, and tsan must not bark.
  32 // CHECK-NOT: WARNING: ThreadSanitizer
  33 // CHECK-NOT: EOWNERDEAD
  34 // CHECK: DONE
  35 // CHECK-NOT: WARNING: ThreadSanitizer
  36