openmp/tools/archer/tests/races/taskwait-depend.c

   1 /*
   2  * taskwait-depend.c -- Archer testcase
   3  * derived from DRB165-taskdep4-orig-omp50-yes.c in DataRaceBench
   4  */
   5 //===----------------------------------------------------------------------===//
   6 //
   7 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   8 //
   9 // See tools/archer/LICENSE.txt for details.
  10 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 // RUN: %libarcher-compile-and-run-race | FileCheck %s
  15 // RUN: %libarcher-compile-and-run-race-noserial | FileCheck %s
  16 // REQUIRES: tsan
  17
  18 #include "ompt/ompt-signal.h"
  19 #include <omp.h>
  20 #include <stdio.h>
  21
  22 void foo() {
  23
  24   int x = 0, y = 2, sem = 0;
  25
  26 #pragma omp task depend(inout : x) shared(x, sem)
  27   {
  28     OMPT_SIGNAL(sem);
  29     x++; // 1st Child Task
  30   }
  31
  32 #pragma omp task shared(y, sem)
  33   {
  34     OMPT_SIGNAL(sem);
  35     y--; // 2nd child task
  36   }
  37
  38   OMPT_WAIT(sem, 2);
  39 #pragma omp taskwait depend(in : x) // 1st taskwait
  40
  41   printf("x=%d\n", x);
  42   printf("y=%d\n", y);
  43 #pragma omp taskwait // 2nd taskwait
  44 }
  45
  46 int main() {
  47 #pragma omp parallel num_threads(2)
  48 #pragma omp single
  49   foo();
  50
  51   return 0;
  52 }
  53
  54 // CHECK: WARNING: ThreadSanitizer: data race
  55 // CHECK-NEXT:   {{(Write|Read)}} of size 4
  56 // CHECK-NEXT: #0 {{.*}}taskwait-depend.c:42
  57 // CHECK:   Previous write of size 4
  58 // CHECK-NEXT: #0 {{.*}}taskwait-depend.c:35
  59 // CHECK: ThreadSanitizer: reported {{[0-9]+}} warnings