42 lines · c
1/*2 * critical-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#pragma omp parallel num_threads(8) shared(var)23 {24#pragma omp critical25 {26 // Dummy region.27 }28 29 var++;30 }31 32 fprintf(stderr, "DONE\n");33}34 35// CHECK: WARNING: ThreadSanitizer: data race36// CHECK-NEXT: {{(Write|Read)}} of size 437// CHECK-NEXT: #0 {{.*}}critical-unrelated.c:2938// CHECK: Previous write of size 439// CHECK-NEXT: #0 {{.*}}critical-unrelated.c:2940// CHECK: DONE41// CHECK: ThreadSanitizer: reported {{[1-7]}} warnings42