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
main(int argc,char * argv[])21 int 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, "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