diff options
Diffstat (limited to 'test/tsan/race_on_barrier.c')
-rw-r--r-- | test/tsan/race_on_barrier.c | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/tsan/race_on_barrier.c b/test/tsan/race_on_barrier.c new file mode 100644 index 0000000000000..99b18fe4d8e6d --- /dev/null +++ b/test/tsan/race_on_barrier.c @@ -0,0 +1,31 @@ +// RUN: %clang_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s +#include <pthread.h> +#include <stdio.h> +#include <stddef.h> +#include <unistd.h> + +pthread_barrier_t B; +int Global; + +void *Thread1(void *x) { + pthread_barrier_init(&B, 0, 2); + pthread_barrier_wait(&B); + return NULL; +} + +void *Thread2(void *x) { + sleep(1); + pthread_barrier_wait(&B); + return NULL; +} + +int main() { + pthread_t t; + pthread_create(&t, NULL, Thread1, NULL); + Thread2(0); + pthread_join(t, NULL); + pthread_barrier_destroy(&B); + return 0; +} + +// CHECK: WARNING: ThreadSanitizer: data race |