1 /* 2 * taskwait-depend.c -- Archer testcase 3 * derived from DRB166-taskdep4-orig-omp50-no.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 | FileCheck %s 15 // REQUIRES: tsan 16 17 #include "ompt/ompt-signal.h" 18 #include <omp.h> 19 #include <stdio.h> 20 foo()21void foo() { 22 23 int x = 0, y = 2, sem = 0; 24 25 #pragma omp task depend(inout : x) shared(x, sem) 26 { 27 OMPT_SIGNAL(sem); 28 x++; // 1st Child Task 29 } 30 31 #pragma omp task shared(y, sem) 32 { 33 OMPT_SIGNAL(sem); 34 y--; // 2nd child task 35 } 36 37 OMPT_WAIT(sem, 2); 38 #pragma omp taskwait depend(in : x) // 1st taskwait 39 40 printf("x=%d\n", x); 41 42 #pragma omp taskwait // 2nd taskwait 43 44 printf("y=%d\n", y); 45 } 46 main()47int main() { 48 #pragma omp parallel num_threads(2) 49 #pragma omp single 50 foo(); 51 52 return 0; 53 } 54 55 // CHECK-NOT: ThreadSanitizer: data race 56 // CHECK-NOT: ThreadSanitizer: reported 57 // CHECK: y=1 58