1 /*
2 * task-taskwait-nested.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;
23
24 #pragma omp parallel num_threads(8) shared(var, a)
25 #pragma omp master
26 {
27 #pragma omp task shared(var, a)
28 {
29 #pragma omp task shared(var, a)
30 {
31 // wait for master to pass the taskwait
32 OMPT_SIGNAL(a);
33 OMPT_WAIT(a, 2);
34 var++;
35 }
36 }
37
38 // Give other thread time to steal the task and execute its child.
39 OMPT_WAIT(a, 1);
40
41 // Only directly generated children are guaranteed to be executed.
42 #pragma omp taskwait
43 OMPT_SIGNAL(a);
44 var++;
45 }
46
47 int error = (var != 2);
48 fprintf(stderr, "DONE\n");
49 return error;
50 }
51
52 // CHECK: WARNING: ThreadSanitizer: data race
53 // CHECK-NEXT: {{(Write|Read)}} of size 4
54 // CHECK-NEXT: #0 {{.*}}task-taskwait-nested.c:34
55 // CHECK: Previous write of size 4
56 // CHECK-NEXT: #0 {{.*}}task-taskwait-nested.c:44
57 // CHECK: DONE
58 // CHECK: ThreadSanitizer: reported 1 warnings
59