Mercurial > hg > CbC > CbC_llvm

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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: %clangxx_tsan -O1 %s -o %t && %deflake %run %t 2>&1 | FileCheck %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 // Also check that atomics instrumentation can be configured by either driver or
anatofuz
parents:
diff changeset
4 // legacy flags:
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 // RUN: %clangxx_tsan -O1 %s -o %t -fno-sanitize-thread-atomics && not %deflake %run %t 2>&1 \
anatofuz
parents:
diff changeset
7 // RUN: | FileCheck --allow-empty --check-prefix=CHECK-NO-ATOMICS %s
anatofuz
parents:
diff changeset
8 // RUN: %clangxx_tsan -O1 %s -o %t -mllvm -tsan-instrument-atomics=0 && not %deflake %run %t 2>&1 \
anatofuz
parents:
diff changeset
9 // RUN: | FileCheck --allow-empty --check-prefix=CHECK-NO-ATOMICS %s <%t
anatofuz
parents:
diff changeset
10
anatofuz
parents:
diff changeset
11 #include "test.h"
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 void *Thread(void *a) {
anatofuz
parents:
diff changeset
14 __atomic_fetch_add((int*)a, 1, __ATOMIC_SEQ_CST);
anatofuz
parents:
diff changeset
15 barrier_wait(&barrier);
anatofuz
parents:
diff changeset
16 return 0;
anatofuz
parents:
diff changeset
17 }
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 int main() {
anatofuz
parents:
diff changeset
20 barrier_init(&barrier, 2);
anatofuz
parents:
diff changeset
21 int *a = new int(0);
anatofuz
parents:
diff changeset
22 pthread_t t;
anatofuz
parents:
diff changeset
23 pthread_create(&t, 0, Thread, a);
anatofuz
parents:
diff changeset
24 barrier_wait(&barrier);
anatofuz
parents:
diff changeset
25 delete a;
anatofuz
parents:
diff changeset
26 pthread_join(t, 0);
anatofuz
parents:
diff changeset
27 }
anatofuz
parents:
diff changeset
28
anatofuz
parents:
diff changeset
29 // CHECK: WARNING: ThreadSanitizer: data race
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 // CHECK-NO-ATOMICS-NOT: WARNING: ThreadSanitizer: data race