37 lines · c
1/*2 * parallel-simple.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 { var++; }24 25 int error = (var != 2);26 fprintf(stderr, "DONE\n");27 return error;28}29 30// CHECK: WARNING: ThreadSanitizer: data race31// CHECK-NEXT: {{(Write|Read)}} of size 432// CHECK-NEXT: #0 {{.*}}parallel-simple.c:2333// CHECK: Previous write of size 434// CHECK-NEXT: #0 {{.*}}parallel-simple.c:2335// CHECK: DONE36// CHECK: ThreadSanitizer: reported {{[1-7]}} warnings37