48 lines · c
1/*2 * lock-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_lock_t lock;23 omp_init_lock(&lock);24 25#pragma omp parallel num_threads(8) shared(var)26 {27 omp_set_lock(&lock);28 // Dummy locking.29 omp_unset_lock(&lock);30 31 var++;32 }33 34 omp_destroy_lock(&lock);35 36 int error = (var != 2);37 fprintf(stderr, "DONE\n");38 return error;39}40 41// CHECK: WARNING: ThreadSanitizer: data race42// CHECK-NEXT: {{(Write|Read)}} of size 443// CHECK-NEXT: #0 {{.*}}lock-unrelated.c:3144// CHECK: Previous write of size 445// CHECK-NEXT: #0 {{.*}}lock-unrelated.c:3146// CHECK: DONE47// CHECK: ThreadSanitizer: reported {{[1-7]}} warnings48