45 lines · c
1/*2 * lock-nested.c -- Archer testcase3 */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-exception11//12//===----------------------------------------------------------------------===//13 14 15// RUN: %libarcher-compile-and-run | FileCheck %s16// REQUIRES: tsan17#include <omp.h>18#include <stdio.h>19 20int 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 race43// CHECK-NOT: ThreadSanitizer: reported44// CHECK: DONE45