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

   1 // RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t 2>&1 | FileCheck %s
   2 #include "syscall.h"
   3 #include "../test.h"
   4 #include <errno.h>
   5 #include <sys/types.h>
   6 #include <sys/wait.h>
   7
   8 int pipefd[2];
   9 unsigned long long buf[2];
  10
  11 static void *thr(void *p) {
  12   barrier_wait(&barrier);
  13   mywrite(pipefd[1], buf, sizeof(buf));
  14   return 0;
  15 }
  16
  17 int main() {
  18   barrier_init(&barrier, 2);
  19   if (mypipe(pipefd))
  20     exit((perror("pipe"), 1));
  21   mywrite(pipefd[1], buf, sizeof(buf));
  22   pthread_t th;
  23   pthread_create(&th, 0, thr, 0);
  24   myread(pipefd[0], buf, sizeof(buf));
  25   barrier_wait(&barrier);
  26   pthread_join(th, 0);
  27   fprintf(stderr, "DONE\n");
  28 }
  29
  30 // CHECK: WARNING: ThreadSanitizer: data race
  31 // CHECK:   Read of size 8
  32 // CHECK:     #0 mywrite
  33 // CHECK:     #1 thr
  34 // CHECK:   Previous write of size 8
  35 // CHECK:     #0 myread
  36 // CHECK:     #1 main
  37 // CHECK: DONE