1 /*
2  * critical.c -- Archer testcase
3  */
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 
15 // RUN: %libarcher-compile-and-run | FileCheck %s
16 // REQUIRES: tsan
17 #include <omp.h>
18 #include <stdio.h>
19 
main(int argc,char * argv[])20 int main(int argc, char *argv[]) {
21   int var = 0;
22 
23 #pragma omp parallel num_threads(8) shared(var)
24   {
25 #pragma omp critical
26     { var++; }
27   }
28 
29   fprintf(stderr, "DONE\n");
30   int error = (var != 8);
31   return error;
32 }
33 
34 // CHECK-NOT: ThreadSanitizer: data race
35 // CHECK-NOT: ThreadSanitizer: reported
36 // CHECK: DONE
37