1390   Mutex lock_;  member in thread_annot_lock_35_modified::Foo
1391   int a_ GUARDED_BY(lock_);
1394   void Func(Foo* child) LOCKS_EXCLUDED(lock_) {  in Func()
1397      lock_.Lock();  in Func()
1407      lock_.Unlock();  in Func()
1410   void bar(int y) EXCLUSIVE_LOCKS_REQUIRED(lock_) {  in bar()
1429   Mutex lock_;  member in thread_annot_lock_36_modified::Foo
1430   int a_ GUARDED_BY(lock_);
1433   void Func(Foo* child) LOCKS_EXCLUDED(lock_);
1434   void bar(int y) EXCLUSIVE_LOCKS_REQUIRED(lock_);
1440   lock_.Lock();  in Func()
1442   child->lock_.Lock();  in Func()
1446   child->lock_.Unlock();  in Func()
1448   lock_.Unlock();  in Func()
3789   Mutex lock_;  member
3790   void doSomething() EXCLUSIVE_LOCKS_REQUIRED(lock_);
3794 const Mutex& Base::getLock(const Inner* i) LOCK_RETURNED(i->lock_) {  in getLock()
3795   return i->lock_;  in getLock()
3805     i->lock_.Lock();  in bar()
3810     i->lock_.Unlock();  in bar()
5868     lock_.ReaderLock(); // expected-note {{acquired here}}  in WaitUntilSpaceAvailable()
5870   Mutex lock_ ACQUIRED_BEFORE("");