1// RUN: %clang_tsan %s -o %t
2// RUN: %deflake %run %t 2>&1 | FileCheck %s
3
4#include "dispatch/dispatch.h"
5
6#include "../test.h"
7
8long global;
9
10int main() {
11 fprintf(stderr, format: "Hello world.\n");
12 print_address("addr=", 1, &global);
13 dispatch_semaphore_t done = dispatch_semaphore_create(0);
14 barrier_init(barrier: &barrier, count: 2);
15
16 dispatch_queue_t q = dispatch_queue_create("my.queue", DISPATCH_QUEUE_CONCURRENT);
17 dispatch_queue_t bgq = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
18
19 dispatch_barrier_sync(q, ^{
20 global = 42;
21 });
22
23 dispatch_async(bgq, ^{
24 dispatch_sync(q, ^{
25 global = 43;
26 barrier_wait(barrier: &barrier);
27 });
28 });
29
30 dispatch_async(bgq, ^{
31 dispatch_sync(q, ^{
32 barrier_wait(barrier: &barrier);
33 global = 44;
34
35 dispatch_semaphore_signal(done);
36 });
37 });
38
39 dispatch_semaphore_wait(done, DISPATCH_TIME_FOREVER);
40 fprintf(stderr, format: "Done.\n");
41}
42
43// CHECK: Hello world.
44// CHECK: addr=[[ADDR:0x[0-9,a-f]+]]
45// CHECK: WARNING: ThreadSanitizer: data race
46// CHECK: Location is global 'global' {{(of size 8 )?}}at [[ADDR]] (barrier-race.c.tmp+0x{{[0-9,a-f]+}})
47// CHECK: Done.
48

source code of compiler-rt/test/tsan/libdispatch/barrier-race.c