477   int a_ __attribute__((guarded_by(mu1_)));
480   Mutex mu1_;  member in LateBar
516   b1.mu1_.Lock();  in late_bad_1()
520   b1.mu1_.Unlock();  in late_bad_1()
786   static int func1() EXCLUSIVE_LOCKS_REQUIRED(mu1_);
787   static int b_ GUARDED_BY(mu1_);
788   static Mutex mu1_;  member in thread_annot_lock_20::Bar
789   static int a_ GUARDED_BY(mu1_);
811   int a_ GUARDED_BY(mu1_);
814   Mutex mu1_ ACQUIRED_AFTER(mu);
825   b1.mu1_.Lock();  in func()
830   b1.mu1_.Unlock();  in func()
1199   bool MyLock() EXCLUSIVE_LOCK_FUNCTION(mu1_);
1200   void MyUnlock() UNLOCK_FUNCTION(mu1_);
1201   int a_ GUARDED_BY(mu1_);
1204   Mutex mu1_;  member in thread_annot_lock_18_modified::Bar
1227   int a_ GUARDED_BY(mu1_);
1230   Mutex mu1_ ACQUIRED_AFTER(mu);
1241   b3->mu1_.Lock();  in func()
1249   b3->mu1_.Unlock();  in func()