1// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
2#include <pthread.h>
3#include <stdio.h>
4
5extern "C" void AnnotateIgnoreSyncBegin(const char*, int);
6extern "C" void AnnotateIgnoreSyncEnd(const char*, int);
7
8int Global;
9pthread_mutex_t Mutex = PTHREAD_MUTEX_INITIALIZER;
10
11void *Thread(void *x) {
12  AnnotateIgnoreSyncBegin(0, 0);
13  pthread_mutex_lock(&Mutex);
14  Global++;
15  pthread_mutex_unlock(&Mutex);
16  AnnotateIgnoreSyncEnd(0, 0);
17  return 0;
18}
19
20int main() {
21  pthread_t t;
22  pthread_create(&t, 0, Thread, 0);
23  pthread_mutex_lock(&Mutex);
24  Global++;
25  pthread_mutex_unlock(&Mutex);
26  pthread_join(t, 0);
27}
28
29// CHECK: WARNING: ThreadSanitizer: data race
30
31