xref: /llvm-project/openmp/tools/archer/tests/races/task-taskgroup-unrelated.c (revision 4acc2f29a278ff2a0a4d683dd6d706cc2f7123fd)
1 /*
2  * task-taskgroup-unrelated.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       var++;
30       OMPT_SIGNAL(a);
31       // Give master thread time to execute the task in the taskgroup.
32       OMPT_WAIT(a, 2);
33     }
34 
35 #pragma omp taskgroup
36     {
37 #pragma omp task if (0)
38       {
39         // Dummy task.
40       }
41 
42       // Give other threads time to steal the tasks.
43       OMPT_WAIT(a, 1);
44       OMPT_SIGNAL(a);
45     }
46 
47     var++;
48   }
49 
50   int error = (var != 2);
51   fprintf(stderr, "DONE\n");
52   return error;
53 }
54 
55 // CHECK: WARNING: ThreadSanitizer: data race
56 // CHECK-NEXT:   {{(Write|Read)}} of size 4
57 // CHECK-NEXT: #0 {{.*}}task-taskgroup-unrelated.c:47
58 // CHECK:   Previous write of size 4
59 // CHECK-NEXT: #0 {{.*}}task-taskgroup-unrelated.c:29
60 // CHECK: DONE
61 // CHECK: ThreadSanitizer: reported 1 warnings
62