15d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t 2>&1 | FileCheck %s
2da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <pthread.h>
3da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <stdio.h>
4da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
5da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyint Global;
6da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
7da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread1(void *x) {
8da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  Global++;
9da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  return NULL;
10da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
11da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
12da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread2(void *x) {
13da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  Global--;
14da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  return NULL;
15da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
16da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
17da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyint main() {
18da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_t t[2];
19da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_create(&t[0], NULL, Thread1, NULL);
20da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_create(&t[1], NULL, Thread2, NULL);
21da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_join(t[0], NULL);
22da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_join(t[1], NULL);
23da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
24da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
25da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany// CHECK: WARNING: ThreadSanitizer: data race
262f588f9d3417aa107ebbbd8830f97501023d3f40Kostya Serebryany// CHECK: SUMMARY: ThreadSanitizer: data race{{.*}}Thread
27