15d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
2da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <pthread.h>
3da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <stdlib.h>
4da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <stdio.h>
5da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <sched.h>
6da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
7da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanystruct Cache {
8da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  int x;
9da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany};
10da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
11da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya SerebryanyCache g_cache;
12da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
13da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya SerebryanyCache *CreateCache() {
14da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  g_cache.x = rand();
15da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  return &g_cache;
16da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
17da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
18da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany_Atomic(Cache*) queue;
19da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
20da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread1(void *x) {
21da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  static Cache *c = CreateCache();
22da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  __c11_atomic_store(&queue, c, 0);
23da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  return 0;
24da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
25da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
26da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread2(void *x) {
27da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  Cache *c = 0;
28da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  for (;;) {
29da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany    c = __c11_atomic_load(&queue, 0);
30da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany    if (c)
31da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany      break;
32da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany    sched_yield();
33da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  }
34da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  if (c->x >= RAND_MAX)
35da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany    exit(1);
36da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  return 0;
37da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
38da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
39da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyint main() {
40da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_t t[2];
41da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_create(&t[0], 0, Thread1, 0);
42da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_create(&t[1], 0, Thread2, 0);
43da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_join(t[0], 0);
44da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany  pthread_join(t[1], 0);
45da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}
46da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany
47da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany// CHECK: WARNING: ThreadSanitizer: data race
48