1/* { dg-shouldfail "tsan" } */
2/* { dg-additional-options "-ldl" } */
3
4#include <pthread.h>
5#include "tsan_barrier.h"
6
7static pthread_barrier_t barrier;
8pthread_rwlock_t rwlock;
9int GLOB;
10
11void *Thread1(void *p) {
12 (void)p;
13  pthread_rwlock_rdlock(&rwlock);
14  // Write under reader lock.
15  barrier_wait(&barrier);
16  GLOB++;
17  pthread_rwlock_unlock(&rwlock);
18  return 0;
19}
20
21int main(int argc, char *argv[]) {
22  barrier_init(&barrier, 2);
23  pthread_rwlock_init(&rwlock, NULL);
24  pthread_rwlock_rdlock(&rwlock);
25  pthread_t t;
26  pthread_create(&t, 0, Thread1, 0);
27  volatile int x = GLOB;
28 (void)x;
29  pthread_rwlock_unlock(&rwlock);
30  barrier_wait(&barrier);
31  pthread_join(t, 0);
32  pthread_rwlock_destroy(&rwlock);
33  return 0;
34}
35
36/* { dg-output "WARNING: ThreadSanitizer: data race.*(\n|\r\n|\r)" } */
37/* { dg-output "  Write of size 4 at 0x\[0-9a-f\]+ by thread T1.*:(\n|\r\n|\r).*" } */
38/* { dg-output "    #0 Thread1.*\(write_in_reader_lock.c|\\?{2}\):\[0-9\]+ .*" } */
39/* { dg-output "  Previous read of size 4 at.* by main thread.*:(\n|\r\n|\r).*" } */
40/* { dg-output "    #0 main.*\(write_in_reader_lock.c|\\?{2}\):\[0-9\]+.*" } */
41