src/compiler-rt/test/tsan/simple_stack.c

   1 // RUN: %clang_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
   2 #include "test.h"
   3
   4 int Global;
   5
   6 void __attribute__((noinline)) foo1() {
   7   Global = 42;
   8 }
   9
  10 void __attribute__((noinline)) bar1() {
  11   volatile int tmp = 42; (void)tmp;
  12   foo1();
  13 }
  14
  15 void __attribute__((noinline)) foo2() {
  16   volatile int v = Global; (void)v;
  17 }
  18
  19 void __attribute__((noinline)) bar2() {
  20   volatile int tmp = 42; (void)tmp;
  21   foo2();
  22 }
  23
  24 void *Thread1(void *x) {
  25   barrier_wait(&barrier);
  26   bar1();
  27   return NULL;
  28 }
  29
  30 void *Thread2(void *x) {
  31   bar2();
  32   barrier_wait(&barrier);
  33   return NULL;
  34 }
  35
  36 void StartThread(pthread_t *t, void *(*f)(void*)) {
  37   pthread_create(t, NULL, f, NULL);
  38 }
  39
  40 int main() {
  41   barrier_init(&barrier, 2);
  42   pthread_t t[2];
  43   StartThread(&t[0], Thread1);
  44   StartThread(&t[1], Thread2);
  45   pthread_join(t[0], NULL);
  46   pthread_join(t[1], NULL);
  47   return 0;
  48 }
  49
  50 // CHECK:      WARNING: ThreadSanitizer: data race
  51 // CHECK-NEXT:   Write of size 4 at {{.*}} by thread T1:
  52 // CHECK-NEXT:     #0 foo1{{.*}} {{.*}}simple_stack.c:7{{(:10)?}} ({{.*}})
  53 // CHECK-NEXT:     #1 bar1{{.*}} {{.*}}simple_stack.c:12{{(:3)?}} ({{.*}})
  54 // CHECK-NEXT:     #2 Thread1{{.*}} {{.*}}simple_stack.c:26{{(:3)?}} ({{.*}})
  55 // CHECK:        Previous read of size 4 at {{.*}} by thread T2:
  56 // CHECK-NEXT:     #0 foo2{{.*}} {{.*}}simple_stack.c:16{{(:20)?}} ({{.*}})
  57 // CHECK-NEXT:     #1 bar2{{.*}} {{.*}}simple_stack.c:21{{(:3)?}} ({{.*}})
  58 // CHECK-NEXT:     #2 Thread2{{.*}} {{.*}}simple_stack.c:31{{(:3)?}} ({{.*}})
  59 // CHECK:        Thread T1 (tid={{.*}}, running) created by main thread at:
  60 // CHECK-NEXT:     #0 pthread_create {{.*}} ({{.*}})
  61 // CHECK-NEXT:     #1 StartThread{{.*}} {{.*}}simple_stack.c:37{{(:3)?}} ({{.*}})
  62 // CHECK-NEXT:     #2 main{{.*}} {{.*}}simple_stack.c:43{{(:3)?}} ({{.*}})
  63 // CHECK:        Thread T2 ({{.*}}) created by main thread at:
  64 // CHECK-NEXT:     #0 pthread_create {{.*}} ({{.*}})
  65 // CHECK-NEXT:     #1 StartThread{{.*}} {{.*}}simple_stack.c:37{{(:3)?}} ({{.*}})
  66 // CHECK-NEXT:     #2 main{{.*}} {{.*}}simple_stack.c:44{{(:3)?}} ({{.*}})