1// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
2#include <pthread.h>
3#include <unistd.h>
4
5int X = 0;
6
7void *Thread(void *p) {
8  X = 42;
9  return 0;
10}
11
12int main() {
13  pthread_t t;
14  sleep(1);
15  pthread_create(&t, 0, Thread, 0);
16  X = 43;
17  pthread_join(t, 0);
18  return 0;
19}
20
21// CHECK: WARNING: ThreadSanitizer: data race
22// CHECK-NOT: As if synchronized via sleep
23