diff options
author | DeLesley Hutchins <delesley@google.com> | 2012-07-02 22:12:12 +0000 |
---|---|---|
committer | DeLesley Hutchins <delesley@google.com> | 2012-07-02 22:12:12 +0000 |
commit | c36eda1113e014400d32fbbb99be36ff0b41f795 (patch) | |
tree | 607ee0e4e02d2f8ac9bc1dd626737ce599c6b943 /test | |
parent | a61724096114337cabc8cc51246324874cc004e4 (diff) | |
download | clang-c36eda1113e014400d32fbbb99be36ff0b41f795.tar.gz |
Thread safety analysis: don't warn in case of duplicate annotation.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@159606 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/SemaCXX/warn-thread-safety-analysis.cpp | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/SemaCXX/warn-thread-safety-analysis.cpp b/test/SemaCXX/warn-thread-safety-analysis.cpp index cda2514238..53f3bee2ac 100644 --- a/test/SemaCXX/warn-thread-safety-analysis.cpp +++ b/test/SemaCXX/warn-thread-safety-analysis.cpp @@ -2433,4 +2433,24 @@ bool Foo::lockBoth() { +namespace DoubleLockBug { + +class Foo { +public: + Mutex mu_; + int a GUARDED_BY(mu_); + + void foo() EXCLUSIVE_LOCKS_REQUIRED(mu_); +}; + + +void Foo::foo() EXCLUSIVE_LOCKS_REQUIRED(mu_) { + a = 0; +} + +}; + + + + |