1/*
2 * task-dependency.c -- Archer testcase
3 */
4//===----------------------------------------------------------------------===//
5//
6// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
7//
8// See tools/archer/LICENSE.txt for details.
9// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
10//
11//===----------------------------------------------------------------------===//
12
13// RUN: %libarcher-compile-and-run-race | FileCheck %s
14// RUN: %libarcher-compile-and-run-race-noserial | FileCheck %s
15// REQUIRES: tsan
16#include "ompt/ompt-signal.h"
17#include <omp.h>
18#include <stdio.h>
19#include <unistd.h>
20
21int main(int argc, char *argv[]) {
22 int var = 0, a = 0, b = 0;
23
24#pragma omp parallel num_threads(8) shared(var, a)
25#pragma omp master
26 {
27#pragma omp task shared(var, a, b) depend(out : var)
28 {
29 OMPT_SIGNAL(a);
30 var++;
31 OMPT_SIGNAL(b);
32 }
33
34#pragma omp task shared(a) depend(in : var)
35 {
36 OMPT_SIGNAL(a);
37 OMPT_WAIT(a, 3);
38 }
39
40#pragma omp task shared(var, b) // depend(in: var) is missing here!
41 {
42 OMPT_WAIT(b, 1);
43 var++;
44 OMPT_SIGNAL(a);
45 }
46
47 // Give other thread time to steal the task.
48 OMPT_WAIT(a, 2);
49 }
50
51 int error = (var != 2);
52 fprintf(stderr, format: "DONE\n");
53 return error;
54}
55
56// CHECK: WARNING: ThreadSanitizer: data race
57// CHECK-NEXT: {{(Write|Read)}} of size 4
58// CHECK-NEXT: #0 {{.*}}task-dependency.c:43
59// CHECK: Previous write of size 4
60// CHECK-NEXT: #0 {{.*}}task-dependency.c:30
61// CHECK: DONE
62// CHECK: ThreadSanitizer: reported 1 warnings
63

source code of openmp/tools/archer/tests/races/task-dependency.c