[rustc.git] / src / compiler-rt / test / tsan / simple_race.c

// RUN: %clang_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
#include "test.h"

int Global;

void *Thread1(void *x) {
  barrier_wait(&barrier);
  Global = 42;
  return NULL;
}

void *Thread2(void *x) {
  Global = 43;
  barrier_wait(&barrier);
  return NULL;
}

int main() {
  barrier_init(&barrier, 2);
  pthread_t t[2];
  pthread_create(&t[0], NULL, Thread1, NULL);
  pthread_create(&t[1], NULL, Thread2, NULL);
  pthread_join(t[0], NULL);
  pthread_join(t[1], NULL);
  return 0;
}

// CHECK: WARNING: ThreadSanitizer: data race
Commit	Line	Data
92a42be0 SL	1	// RUN: %clang_tsan -O1 %s -o %t && %deflake %run %t \| FileCheck %s
92a42be0 SL	2	#include "test.h"
1a4d82fc JJ	3
	4	int Global;
	5
	6	void Thread1(void x) {
92a42be0	7	barrier_wait(&barrier);
1a4d82fc JJ	8	Global = 42;
	9	return NULL;
	10	}
	11
	12	void Thread2(void x) {
	13	Global = 43;
92a42be0	14	barrier_wait(&barrier);
1a4d82fc JJ	15	return NULL;
	16	}
	17
	18	int main() {
92a42be0	19	barrier_init(&barrier, 2);
1a4d82fc JJ	20	pthread_t t[2];
	21	pthread_create(&t[0], NULL, Thread1, NULL);
	22	pthread_create(&t[1], NULL, Thread2, NULL);
	23	pthread_join(t[0], NULL);
	24	pthread_join(t[1], NULL);
	25	return 0;
	26	}
	27
	28	// CHECK: WARNING: ThreadSanitizer: data race
92a42be0	29