[rustc.git] / src / compiler-rt / test / tsan / static_init1.cc

// RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
#include <pthread.h>
#include <stdlib.h>
#include <stdio.h>

struct P {
  int x;
  int y;
};

void *Thread(void *x) {
  static P p = {rand(), rand()};
  if (p.x > RAND_MAX || p.y > RAND_MAX)
    exit(1);
  return 0;
}

int main() {
  pthread_t t[2];
  pthread_create(&t[0], 0, Thread, 0);
  pthread_create(&t[1], 0, Thread, 0);
  pthread_join(t[0], 0);
  pthread_join(t[1], 0);
  fprintf(stderr, "PASS\n");
}

// CHECK-NOT: WARNING: ThreadSanitizer: data race
Commit	Line	Data
1a4d82fc JJ	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
	6	struct P {
	7	int x;
	8	int y;
	9	};
	10
	11	void 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
	18	int 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);
5bcae85e	24	fprintf(stderr, "PASS\n");
1a4d82fc JJ	25	}
	26
	27	// CHECK-NOT: WARNING: ThreadSanitizer: data race