warn-thread-safety-negative.cpp source code [clang_source_code/test/SemaCXX/warn-thread-safety-negative.cpp]

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
100

Clang Project