• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * lock-nested.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   omp_nest_lock_t lock;
24   omp_init_nest_lock(&lock);
25 
26 #pragma omp parallel num_threads(2) shared(var)
27   {
28     omp_set_nest_lock(&lock);
29     omp_set_nest_lock(&lock);
30     var++;
31     omp_unset_nest_lock(&lock);
32     omp_unset_nest_lock(&lock);
33   }
34 
35   omp_destroy_nest_lock(&lock);
36 
37   fprintf(stderr, "DONE\n");
38   int error = (var != 2);
39   return error;
40 }
41 
42 // CHECK-NOT: ThreadSanitizer: data race
43 // CHECK-NOT: ThreadSanitizer: reported
44 // CHECK: DONE
45