1 // RUN: %libarcher-compile -fopenmp-version=50 && env OMP_NUM_THREADS='3' \
2 // RUN: %libarcher-run-race | FileCheck %s
3
4 // Checked gcc 10.1 still does not support detach clause on task construct.
5 // UNSUPPORTED: gcc-4, gcc-5, gcc-6, gcc-7, gcc-8, gcc-9, gcc-10
6 // gcc 11 introduced detach clause, but gomp interface in libomp has no support
7 // XFAIL: gcc-11, gcc-12
8 // clang supports detach clause since version 11.
9 // UNSUPPORTED: clang-10, clang-9, clang-8, clang-7
10 // icc compiler does not support detach clause.
11 // UNSUPPORTED: icc
12 // REQUIRES: tsan
13
14 #include <omp.h>
15 #include <stdio.h>
16 #include <unistd.h>
17
main()18 int main() {
19 #pragma omp parallel
20 #pragma omp master
21 {
22 omp_event_handle_t event;
23 int a = 0, b = 0;
24 omp_event_handle_t *f_event;
25 #pragma omp task detach(event) depend(out : f_event) shared(f_event)
26 {
27 printf("%i: task 1\n", omp_get_thread_num());
28 f_event = &event;
29 }
30 usleep(10000);
31 #pragma omp task depend(in : f_event) shared(f_event, a, b)
32 {
33 printf("%i: task 2, %p, %i, %i\n", omp_get_thread_num(), f_event, a, b);
34 f_event = &event;
35 }
36 usleep(10000);
37 a++;
38 printf("%i: calling omp_fulfill_event\n", omp_get_thread_num());
39 omp_fulfill_event(event);
40 //#pragma omp task if (0) depend(in : f_event)
41 // {}
42 b++;
43 usleep(10000);
44 #pragma omp taskwait
45 }
46 return 0;
47 }
48
49 // no race for a++ in line 32:
50 // CHECK-NOT: #0 {{.*}}task_late_fulfill.c:37
51
52 // CHECK: WARNING: ThreadSanitizer: data race
53 // CHECK-NEXT: {{(Write|Read)}} of size 4
54 // CHECK-NEXT: #0 {{.*}}task_late_fulfill.c:33
55 // CHECK: Previous write of size 4
56 // CHECK-NEXT: #0 {{.*}}task_late_fulfill.c:42
57