43 lines · c
1/*2 * lock.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_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 race41// CHECK-NOT: ThreadSanitizer: reported42// CHECK: DONE43