1 files changed, 35 insertions, 0 deletions
diff --git a/gcc-4.4.3/gcc/testsuite/g++.dg/thread-ann/thread_annot_lock-54.C b/gcc-4.4.3/gcc/testsuite/g++.dg/thread-ann/thread_annot_lock-54.C
new file mode 100644
index 000000000..e90652407
--- /dev/null
+++ b/gcc-4.4.3/gcc/testsuite/g++.dg/thread-ann/thread_annot_lock-54.C
@@ -0,0 +1,35 @@
+// Test the handling of the annotations with function parameters.
+// { dg-do compile }
+// { dg-options "-Wthread-safety -O" }
+
+#include "thread_annot_common.h"
+
+class Base {
+ private:
+  Mutex mu1_;
+
+ public:
+  Mutex *mutable_mu() LOCK_RETURNED(mu1_) { return &mu1_; }
+};
+
+class Foo {
+ public:
+  Mutex mu2_;
+  void Test1(Mutex* mu) const EXCLUSIVE_LOCKS_REQUIRED(mu, mu2_);
+  void Test2(Mutex* mu) const LOCKS_EXCLUDED(mu);
+};
+
+class Bar : public Base {
+ private:
+  Foo foo_;
+
+ public:
+  void Test3();
+};
+
+void Bar::Test3() {
+  mutable_mu()->Lock();
+  foo_.Test1(mutable_mu()); // { dg-warning "Calling function" }
+  foo_.Test2(mutable_mu()); // { dg-warning "Cannot call function" }
+  mutable_mu()->Unlock();
+}