25 lines · cpp
1// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s2#include "test.h"3#include <pthread.h>4#include <stdio.h>5#include <stddef.h>6 7void *Thread(void *a) {8 ((int*)a)[0]++;9 barrier_wait(&barrier);10 return NULL;11}12 13int main() {14 barrier_init(&barrier, 2);15 int *p = new int(42);16 pthread_t t;17 pthread_create(&t, NULL, Thread, p);18 barrier_wait(&barrier);19 p[0]++;20 pthread_join(t, NULL);21 delete p;22}23 24// CHECK: WARNING: ThreadSanitizer: data race25