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
21int 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, format: "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

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