Mercurial > hg > CbC > CbC_llvm

comparison clang/test/SemaCXX/warn-thread-safety-negative.cpp @ 150:1d019706d866

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children 2e18cbf3894f
comparison
equal deleted inserted replaced
147:c2174574ed3a 150:1d019706d866
1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 -Wthread-safety -Wthread-safety-beta -Wthread-safety-negative -fcxx-exceptions -DUSE_CAPABILITY=0 %s
2 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 -Wthread-safety -Wthread-safety-beta -Wthread-safety-negative -fcxx-exceptions -DUSE_CAPABILITY=1 %s
3
4 // FIXME: should also run %clang_cc1 -fsyntax-only -verify -Wthread-safety -std=c++11 -Wc++98-compat %s
5 // FIXME: should also run %clang_cc1 -fsyntax-only -verify -Wthread-safety %s
6
7 #include "thread-safety-annotations.h"
8
9 class LOCKABLE Mutex {
10 public:
11 void Lock() EXCLUSIVE_LOCK_FUNCTION();
12 void ReaderLock() SHARED_LOCK_FUNCTION();
13 void Unlock() UNLOCK_FUNCTION();
14 bool TryLock() EXCLUSIVE_TRYLOCK_FUNCTION(true);
15 bool ReaderTryLock() SHARED_TRYLOCK_FUNCTION(true);
16
17 // for negative capabilities
18 const Mutex& operator!() const { return *this; }
19
20 void AssertHeld() ASSERT_EXCLUSIVE_LOCK();
21 void AssertReaderHeld() ASSERT_SHARED_LOCK();
22 };
23
24
25 namespace SimpleTest {
26
27 class Bar {
28 Mutex mu;
29 int a GUARDED_BY(mu);
30
31 public:
32 void baz() EXCLUSIVE_LOCKS_REQUIRED(!mu) {
33 mu.Lock();
34 a = 0;
35 mu.Unlock();
36 }
37 };
38
39
40 class Foo {
41 Mutex mu;
42 int a GUARDED_BY(mu);
43
44 public:
45 void foo() {
46 mu.Lock(); // expected-warning {{acquiring mutex 'mu' requires negative capability '!mu'}}
47 baz(); // expected-warning {{cannot call function 'baz' while mutex 'mu' is held}}
48 bar();
49 mu.Unlock();
50 }
51
52 void bar() {
53 baz(); // expected-warning {{calling function 'baz' requires holding '!mu'}}
54 }
55
56 void baz() EXCLUSIVE_LOCKS_REQUIRED(!mu) {
57 mu.Lock();
58 a = 0;
59 mu.Unlock();
60 }
61
62 void test() {
63 Bar b;
64 b.baz(); // no warning -- in different class.
65 }
66
67 void test2() {
68 mu.Lock(); // expected-warning {{acquiring mutex 'mu' requires negative capability '!mu'}}
69 a = 0;
70 mu.Unlock();
71 baz(); // no warning -- !mu in set.
72 }
73
74 void test3() EXCLUSIVE_LOCKS_REQUIRED(!mu) {
75 mu.Lock();
76 a = 0;
77 mu.Unlock();
78 baz(); // no warning -- !mu in set.
79 }
80 };
81
82 } // end namespace SimpleTest
83
84 namespace DoubleAttribute {
85
86 struct Foo {
87 Mutex &mutex();
88 };
89
90 template <typename A>
91 class TemplateClass {
92 template <typename B>
93 static void Function(Foo *F)
94 EXCLUSIVE_LOCKS_REQUIRED(F->mutex()) UNLOCK_FUNCTION(F->mutex()) {}
95 };
96
97 void test() { TemplateClass<int> TC; }
98
99 } // end namespace DoubleAttribute