llvm-project

1
// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t 2>&1 | FileCheck %s
2
#include "test.h"
3

4
int Global;
5

6
void *Thread1(void *x) {
7
  barrier_wait(&barrier);
8
  Global++;
9
  return NULL;
10
}
11

12
void *Thread2(void *x) {
13
  Global--;
14
  barrier_wait(&barrier);
15
  return NULL;
16
}
17

18
int main() {
19
  barrier_init(&barrier, 2);
20
  pthread_t t[2];
21
  pthread_create(&t[0], NULL, Thread1, NULL);
22
  pthread_create(&t[1], NULL, Thread2, NULL);
23
  pthread_join(t[0], NULL);
24
  pthread_join(t[1], NULL);
25
  return 0;
26
}
27

28
// CHECK: WARNING: ThreadSanitizer: data race
29
// CHECK: SUMMARY: ThreadSanitizer: data race{{.*}}Thread
30