Mercurial > hg > CbC > CbC_llvm

annotate compiler-rt/test/tsan/mutex_destroy_locked.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 | FileCheck %s
anatofuz
parents:
diff changeset
2 #include <pthread.h>
anatofuz
parents:
diff changeset
3 #include <unistd.h>
anatofuz
parents:
diff changeset
4
anatofuz
parents:
diff changeset
5 int main() {
anatofuz
parents:
diff changeset
6 pthread_mutex_t m;
anatofuz
parents:
diff changeset
7 pthread_mutex_init(&m, 0);
anatofuz
parents:
diff changeset
8 pthread_mutex_lock(&m);
anatofuz
parents:
diff changeset
9 pthread_mutex_destroy(&m);
anatofuz
parents:
diff changeset
10 return 0;
anatofuz
parents:
diff changeset
11 }
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 // CHECK: WARNING: ThreadSanitizer: destroy of a locked mutex
anatofuz
parents:
diff changeset
14 // CHECK: #0 pthread_mutex_destroy
anatofuz
parents:
diff changeset
15 // CHECK: #1 main
anatofuz
parents:
diff changeset
16 // CHECK: and:
anatofuz
parents:
diff changeset
17 // CHECK: #0 pthread_mutex_lock
anatofuz
parents:
diff changeset
18 // CHECK: #1 main
anatofuz
parents:
diff changeset
19 // CHECK: Mutex {{.*}} created at:
anatofuz
parents:
diff changeset
20 // CHECK: #0 pthread_mutex_init
anatofuz
parents:
diff changeset
21 // CHECK: #1 main
anatofuz
parents:
diff changeset
22 // CHECK: SUMMARY: ThreadSanitizer: destroy of a locked mutex{{.*}}main