blob: 262ab7d108a2944cf6d74307f3b1b75a6c1014c1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
// RUN: %clang_cc1 -fsyntax-only -verify -Wthread-safety -Wthread-safety-beta -Wno-objc-root-class %s
class __attribute__((lockable)) Lock {
public:
void Acquire() __attribute__((exclusive_lock_function())) {}
void Release() __attribute__((unlock_function())) {}
};
class __attribute__((scoped_lockable)) AutoLock {
public:
AutoLock(Lock &lock) __attribute__((exclusive_lock_function(lock)))
: lock_(lock) {
lock.Acquire();
}
~AutoLock() __attribute__((unlock_function())) { lock_.Release(); }
private:
Lock &lock_;
};
@interface MyInterface {
@private
Lock lock_;
int value_;
}
- (void)incrementValue;
- (void)decrementValue;
@end
@implementation MyInterface
- (void)incrementValue {
AutoLock lock(lock_);
value_ += 1;
}
- (void)decrementValue {
lock_.Acquire(); // expected-note{{mutex acquired here}}
value_ -= 1;
} // expected-warning{{mutex 'self->lock_' is still held at the end of function}}
@end
|