annotate compiler-rt/test/tsan/race_top_suppression1.cpp @ 266:00f31e85ec16 default tip

Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: echo "race_top:TopFunction" > %t.supp
anatofuz
parents:
diff changeset
2 // RUN: %clangxx_tsan -O1 %s -o %t
anatofuz
parents:
diff changeset
3 // RUN: %env_tsan_opts=suppressions='%t.supp' %deflake %run %t 2>&1 | FileCheck %s
anatofuz
parents:
diff changeset
4 // RUN: rm %t.supp
anatofuz
parents:
diff changeset
5 #include "test.h"
anatofuz
parents:
diff changeset
6
anatofuz
parents:
diff changeset
7 int Global;
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 void AnotherFunction(int *p) {
anatofuz
parents:
diff changeset
10 *p = 1;
anatofuz
parents:
diff changeset
11 }
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 void TopFunction(int *p) {
anatofuz
parents:
diff changeset
14 AnotherFunction(p);
anatofuz
parents:
diff changeset
15 }
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 void *Thread(void *x) {
anatofuz
parents:
diff changeset
18 barrier_wait(&barrier);
anatofuz
parents:
diff changeset
19 TopFunction(&Global);
anatofuz
parents:
diff changeset
20 return 0;
anatofuz
parents:
diff changeset
21 }
anatofuz
parents:
diff changeset
22
anatofuz
parents:
diff changeset
23 int main() {
anatofuz
parents:
diff changeset
24 barrier_init(&barrier, 2);
anatofuz
parents:
diff changeset
25 pthread_t t;
anatofuz
parents:
diff changeset
26 pthread_create(&t, 0, Thread, 0);
anatofuz
parents:
diff changeset
27 Global--;
anatofuz
parents:
diff changeset
28 barrier_wait(&barrier);
anatofuz
parents:
diff changeset
29 pthread_join(t, 0);
anatofuz
parents:
diff changeset
30 }
anatofuz
parents:
diff changeset
31
anatofuz
parents:
diff changeset
32 // CHECK: WARNING: ThreadSanitizer: data race