8 void *Thread1(void *x) {
9 int f = open("/dev/random", O_RDONLY);
14 void *Thread2(void *x) {
16 int f = open("/dev/random", O_RDONLY);
23 pthread_create(&t[0], NULL, Thread1, NULL);
24 pthread_create(&t[1], NULL, Thread2, NULL);
25 pthread_join(t[0], NULL);
26 pthread_join(t[1], NULL);
27 fprintf(stderr, "OK\n");
30 /* { dg-prune-output "WARNING: ThreadSanitizer: data race.*(\n|\r\n|\r)" } */