1 /* 2 * lock-nested-unrelated.c -- Archer testcase 3 */ 4 //===----------------------------------------------------------------------===// 5 // 6 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 7 // 8 // See tools/archer/LICENSE.txt for details. 9 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 10 // 11 //===----------------------------------------------------------------------===// 12 13 // RUN: %libarcher-compile-and-run-race | FileCheck %s 14 // RUN: %libarcher-compile-and-run-race-noserial | FileCheck %s 15 // REQUIRES: tsan 16 #include <omp.h> 17 #include <stdio.h> 18 main(int argc,char * argv[])19int main(int argc, char *argv[]) { 20 int var = 0; 21 22 omp_nest_lock_t lock; 23 omp_init_nest_lock(&lock); 24 25 #pragma omp parallel num_threads(8) shared(var) 26 { 27 omp_set_nest_lock(&lock); 28 omp_set_nest_lock(&lock); 29 // Dummy locking. 30 omp_unset_nest_lock(&lock); 31 omp_unset_nest_lock(&lock); 32 33 var++; 34 } 35 36 omp_destroy_nest_lock(&lock); 37 38 fprintf(stderr, "DONE\n"); 39 } 40 41 // CHECK: WARNING: ThreadSanitizer: data race 42 // CHECK-NEXT: {{(Write|Read)}} of size 4 43 // CHECK-NEXT: #0 {{.*}}lock-nested-unrelated.c:33 44 // CHECK: Previous write of size 4 45 // CHECK-NEXT: #0 {{.*}}lock-nested-unrelated.c:33 46 // CHECK: DONE 47 // CHECK: ThreadSanitizer: reported {{[1-7]}} warnings 48