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 foo()22void 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 main()46int 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 60