1 /* 2 * lock.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[])20int main(int argc, char *argv[]) { 21 int var = 0; 22 23 omp_lock_t lock; 24 omp_init_lock(&lock); 25 26 #pragma omp parallel num_threads(2) shared(var) 27 { 28 omp_set_lock(&lock); 29 var++; 30 omp_unset_lock(&lock); 31 } 32 33 omp_destroy_lock(&lock); 34 35 fprintf(stderr, "DONE\n"); 36 int error = (var != 2); 37 return error; 38 } 39 40 // CHECK-NOT: ThreadSanitizer: data race 41 // CHECK-NOT: ThreadSanitizer: reported 42 // CHECK: DONE 43