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
18int 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(format: "%i: task 1\n", omp_get_thread_num());
28 f_event = &event;
29 }
30 usleep(useconds: 10000);
31#pragma omp task depend(in : f_event) shared(f_event, a, b)
32 {
33 printf(format: "%i: task 2, %p, %i, %i\n", omp_get_thread_num(), f_event, a, b);
34 f_event = &event;
35 }
36 usleep(useconds: 10000);
37 a++;
38 printf(format: "%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(useconds: 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

source code of openmp/tools/archer/tests/task/task_late_fulfill.c