1bcaeed49SFangrui Song // RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
2*1f4a0531SJulian Lettner // UNSUPPORTED: ios
3*1f4a0531SJulian Lettner
4bcaeed49SFangrui Song #include <pthread.h>
5bcaeed49SFangrui Song #include <stdio.h>
6bcaeed49SFangrui Song #include <stdlib.h>
7bcaeed49SFangrui Song #include <unistd.h>
8bcaeed49SFangrui Song #include <sys/types.h>
9bcaeed49SFangrui Song
10bcaeed49SFangrui Song int fds[2];
11bcaeed49SFangrui Song int X;
12bcaeed49SFangrui Song
Thread1(void * x)13bcaeed49SFangrui Song void *Thread1(void *x) {
14bcaeed49SFangrui Song X = 42;
15bcaeed49SFangrui Song write(fds[1], "a", 1);
16bcaeed49SFangrui Song return NULL;
17bcaeed49SFangrui Song }
18bcaeed49SFangrui Song
Thread2(void * x)19bcaeed49SFangrui Song void *Thread2(void *x) {
20bcaeed49SFangrui Song char buf;
21bcaeed49SFangrui Song while (read(fds[0], &buf, 1) != 1) {
22bcaeed49SFangrui Song }
23bcaeed49SFangrui Song X = 43;
24bcaeed49SFangrui Song return NULL;
25bcaeed49SFangrui Song }
26bcaeed49SFangrui Song
main()27bcaeed49SFangrui Song int main() {
28bcaeed49SFangrui Song pipe(fds);
29bcaeed49SFangrui Song int pid = vfork();
30bcaeed49SFangrui Song if (pid < 0) {
31bcaeed49SFangrui Song fprintf(stderr, "FAIL to vfork\n");
32bcaeed49SFangrui Song exit(1);
33bcaeed49SFangrui Song }
34bcaeed49SFangrui Song if (pid == 0) { // child
35bcaeed49SFangrui Song // Closing of fds must not affect parent process.
36bcaeed49SFangrui Song // Strictly saying this is undefined behavior, because vfork child is not
37bcaeed49SFangrui Song // allowed to call any functions other than exec/exit. But this is what
38bcaeed49SFangrui Song // openjdk does.
39bcaeed49SFangrui Song close(fds[0]);
40bcaeed49SFangrui Song close(fds[1]);
41bcaeed49SFangrui Song _exit(0);
42bcaeed49SFangrui Song }
43bcaeed49SFangrui Song pthread_t t[2];
44bcaeed49SFangrui Song pthread_create(&t[0], NULL, Thread1, NULL);
45bcaeed49SFangrui Song pthread_create(&t[1], NULL, Thread2, NULL);
46bcaeed49SFangrui Song pthread_join(t[0], NULL);
47bcaeed49SFangrui Song pthread_join(t[1], NULL);
48bcaeed49SFangrui Song fprintf(stderr, "DONE\n");
49bcaeed49SFangrui Song }
50bcaeed49SFangrui Song
51bcaeed49SFangrui Song // CHECK-NOT: WARNING: ThreadSanitizer: data race
52bcaeed49SFangrui Song // CHECK-NOT: FAIL to vfork
53bcaeed49SFangrui Song // CHECK: DONE
54