1/*
2 * taskwait-depend.c -- Archer testcase
3 * derived from DRB165-taskdep4-orig-omp50-yes.c in DataRaceBench
4 */
5//===----------------------------------------------------------------------===//
6//
7// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
8//
9// See tools/archer/LICENSE.txt for details.
10// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
11//
12//===----------------------------------------------------------------------===//
13
14// RUN: %libarcher-compile-and-run-race | FileCheck %s
15// RUN: %libarcher-compile-and-run-race-noserial | FileCheck %s
16// REQUIRES: tsan
17
18#include "ompt/ompt-signal.h"
19#include <omp.h>
20#include <stdio.h>
21
22void foo() {
23
24 int x = 0, y = 2, sem = 0;
25
26#pragma omp task depend(inout : x) shared(x, sem)
27 {
28 OMPT_SIGNAL(sem);
29 x++; // 1st Child Task
30 }
31
32#pragma omp task shared(y, sem)
33 {
34 OMPT_SIGNAL(sem);
35 y--; // 2nd child task
36 }
37
38 OMPT_WAIT(sem, 2);
39#pragma omp taskwait depend(in : x) // 1st taskwait
40
41 printf(format: "x=%d\n", x);
42 printf(format: "y=%d\n", y);
43#pragma omp taskwait // 2nd taskwait
44}
45
46int main() {
47#pragma omp parallel num_threads(2)
48#pragma omp single
49 foo();
50
51 return 0;
52}
53
54// CHECK: WARNING: ThreadSanitizer: data race
55// CHECK-NEXT: {{(Write|Read)}} of size 4
56// CHECK-NEXT: #0 {{.*}}taskwait-depend.c:42
57// CHECK: Previous write of size 4
58// CHECK-NEXT: #0 {{.*}}taskwait-depend.c:35
59// CHECK: ThreadSanitizer: reported {{[0-9]+}} warnings
60

source code of openmp/tools/archer/tests/races/taskwait-depend.c