48 lines · c
1/*2 * lock-nested-unrelated.c -- Archer testcase3 */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-exception10//11//===----------------------------------------------------------------------===//12 13// RUN: %libarcher-compile-and-run-race | FileCheck %s14// RUN: %libarcher-compile-and-run-race-noserial | FileCheck %s15// REQUIRES: tsan16#include <omp.h>17#include <stdio.h>18 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 race42// CHECK-NEXT: {{(Write|Read)}} of size 443// CHECK-NEXT: #0 {{.*}}lock-nested-unrelated.c:3344// CHECK: Previous write of size 445// CHECK-NEXT: #0 {{.*}}lock-nested-unrelated.c:3346// CHECK: DONE47// CHECK: ThreadSanitizer: reported {{[1-7]}} warnings48