1433   Mutex mu1, mu2, mu3;  member in thread_annot_lock_42::Foo
1437   void f2() LOCKS_EXCLUDED(mu1) LOCKS_EXCLUDED(mu2) LOCKS_EXCLUDED(mu3) {  in f2()
1496 Mutex mu3;  variable
1500   int method1(int i) SHARED_LOCKS_REQUIRED(mu1, mu, mu2, mu3);
4857   Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
4859   Mutex mu3;  member in AcquiredBeforeAfterText::Foo
4864     mu3.Lock();  in test1()
4866     mu3.Unlock();  in test1()
4879     mu3.Lock();  in test3()
4882     mu3.Unlock();  in test3()
4899   void test7() EXCLUSIVE_LOCKS_REQUIRED(mu1, mu2, mu3) { }  in test7()
4901   void test8() EXCLUSIVE_LOCKS_REQUIRED(mu3, mu2, mu1) { }  in test8()
4908   Mutex mu3 ACQUIRED_AFTER(mu1);
4913     mu3.Lock();  in test1()
4915     mu3.Unlock();  in test1()
4928     mu3.Lock();  in test3()
4931     mu3.Unlock();  in test3()
4939   Mutex mu3 ACQUIRED_AFTER(mu2) ACQUIRED_BEFORE(mu4);
4945     mu3.Lock();  in test1()
4949     mu3.Unlock();  in test1()
4971     mu3.Lock();  in test4()
4975     mu3.Unlock();  in test4()
4984   Mutex mu3 ACQUIRED_AFTER(mu1);
4985   Mutex mu4 ACQUIRED_AFTER(mu2, mu3);
5002   Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
5004   Mutex mu3 ACQUIRED_BEFORE(mu4);
5021 …Mutex mu1 ACQUIRED_AFTER(mu3);     // expected-warning {{Cycle in acquired_before/after dependenci…
5023 …Mutex mu3 ACQUIRED_AFTER(mu2);     // expected-warning {{Cycle in acquired_before/after dependenci…
5055     mu3.Lock();  in test3()
5056     mu3.Unlock();  in test3()