1// RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
2#include <pthread.h>
3#include <stdlib.h>
4#include <stdio.h>
5
6struct P {
7  int x;
8  int y;
9};
10
11void *Thread(void *x) {
12  static P p = {rand(), rand()};
13  if (p.x > RAND_MAX || p.y > RAND_MAX)
14    exit(1);
15  return 0;
16}
17
18int main() {
19  pthread_t t[2];
20  pthread_create(&t[0], 0, Thread, 0);
21  pthread_create(&t[1], 0, Thread, 0);
22  pthread_join(t[0], 0);
23  pthread_join(t[1], 0);
24  printf("PASS\n");
25}
26
27// CHECK-NOT: WARNING: ThreadSanitizer: data race
28