1*bcaeed49SFangrui Song // RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
2*bcaeed49SFangrui Song #include <stdlib.h>
3*bcaeed49SFangrui Song #include <stdio.h>
4*bcaeed49SFangrui Song #include <errno.h>
5*bcaeed49SFangrui Song #include <pthread.h>
6*bcaeed49SFangrui Song #include <unistd.h>
7*bcaeed49SFangrui Song #include <sys/types.h>
8*bcaeed49SFangrui Song #include <sys/wait.h>
9*bcaeed49SFangrui Song
racer(void * p)10*bcaeed49SFangrui Song static void *racer(void *p) {
11*bcaeed49SFangrui Song *(int*)p = 42;
12*bcaeed49SFangrui Song return 0;
13*bcaeed49SFangrui Song }
14*bcaeed49SFangrui Song
main()15*bcaeed49SFangrui Song int main() {
16*bcaeed49SFangrui Song switch (fork()) {
17*bcaeed49SFangrui Song default: // parent
18*bcaeed49SFangrui Song while (wait(0) < 0) {}
19*bcaeed49SFangrui Song break;
20*bcaeed49SFangrui Song case 0: // child
21*bcaeed49SFangrui Song {
22*bcaeed49SFangrui Song int x = 0;
23*bcaeed49SFangrui Song pthread_t th1, th2;
24*bcaeed49SFangrui Song pthread_create(&th1, 0, racer, &x);
25*bcaeed49SFangrui Song pthread_create(&th2, 0, racer, &x);
26*bcaeed49SFangrui Song pthread_join(th1, 0);
27*bcaeed49SFangrui Song pthread_join(th2, 0);
28*bcaeed49SFangrui Song exit(0);
29*bcaeed49SFangrui Song break;
30*bcaeed49SFangrui Song }
31*bcaeed49SFangrui Song case -1: // error
32*bcaeed49SFangrui Song fprintf(stderr, "failed to fork (%d)\n", errno);
33*bcaeed49SFangrui Song exit(1);
34*bcaeed49SFangrui Song }
35*bcaeed49SFangrui Song fprintf(stderr, "OK\n");
36*bcaeed49SFangrui Song }
37*bcaeed49SFangrui Song
38*bcaeed49SFangrui Song // CHECK: ThreadSanitizer: data race
39*bcaeed49SFangrui Song // CHECK: OK
40*bcaeed49SFangrui Song
41