hanchenye-llvm-project/compiler-rt/test/tsan/heap_race.cc

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

void *Thread(void *a) {
  ((int*)a)[0]++;
  return NULL;
}

int main() {
  int *p = new int(42);
  pthread_t t;
  pthread_create(&t, NULL, Thread, p);
  p[0]++;
  pthread_join(t, NULL);
  delete p;
}

// CHECK: WARNING: ThreadSanitizer: data race
tsan: make positive tests more robust Add a script that is used to deflake inherently flaky tsan tests. It is invoked from lit tests as: %deflake %run %t The script runs the target program up to 10 times, until it produces a tsan warning. llvm-svn: 209898 2014-05-30 22:08:51 +08:00			`// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t \| FileCheck %s`
[tsan] ThreadSanitizer tests and micro benchmarks. No makefiles yet. llvm-svn: 156545 2012-05-10 22:18:22 +08:00			`#include <pthread.h>`
			`#include <stdio.h>`
			`#include <stddef.h>`

			`void Thread(void a) {`
			`((int*)a)[0]++;`
			`return NULL;`
			`}`

			`int main() {`
			`int *p = new int(42);`
			`pthread_t t;`
			`pthread_create(&t, NULL, Thread, p);`
			`p[0]++;`
			`pthread_join(t, NULL);`
			`delete p;`
			`}`

			`// CHECK: WARNING: ThreadSanitizer: data race`