50   Mutex mu;  member in SimpleTest::Bar
51   int a GUARDED_BY(mu);
54   void baz() EXCLUSIVE_LOCKS_REQUIRED(!mu) {  in baz()
55     mu.Lock();  in baz()
57     mu.Unlock();  in baz()
63   Mutex mu;  member in SimpleTest::Foo
64   int a GUARDED_BY(mu);
68     mu.Lock();    // expected-warning {{acquiring mutex 'mu' requires negative capability '!mu'}}  in foo()
71     mu.Unlock();  in foo()
78   void baz() EXCLUSIVE_LOCKS_REQUIRED(!mu) {  in baz()
79     mu.Lock();  in baz()
81     mu.Unlock();  in baz()
90     mu.Lock();   // expected-warning {{acquiring mutex 'mu' requires negative capability '!mu'}}  in test2()
92     mu.Unlock();  in test2()
96   void test3() EXCLUSIVE_LOCKS_REQUIRED(!mu) {  in test3()
97     mu.Lock();  in test3()
99     mu.Unlock();  in test3()