70   DoubleMutexLock(Mutex *mu1, Mutex *mu2)
71       __attribute__((exclusive_lock_function(mu1, mu2)));
931 Mutex mu2 ACQUIRED_AFTER(mu1);
935   int method1(int i) SHARED_LOCKS_REQUIRED(mu2) EXCLUSIVE_LOCKS_REQUIRED(mu1);
943 int foo(int i) EXCLUSIVE_LOCKS_REQUIRED(mu2) SHARED_LOCKS_REQUIRED(mu1);
957   mu2.Lock();  in main()
960   mu2.Unlock();  in main()
1093   int method1(int i) SHARED_LOCKS_REQUIRED(mu1, mu, mu2);
1096   Mutex *mu2;  member in thread_annot_lock_66_modified::Foo
1108   a.mu2->Lock();  in main()
1114   a.mu2->Unlock();  in main()
1226 Mutex mu2;  variable
1229 int w GUARDED_BY(mu2);
1234   int foo() SHARED_LOCKS_REQUIRED(mu_) EXCLUSIVE_LOCKS_REQUIRED(mu2);
1269   mu2.Lock();  in main()
1271   mu2.Unlock();  in main()
1276   mu2.Lock();  in main()
1278   mu2.Unlock();  in main()
1433   Mutex mu1, mu2, mu3;  member in thread_annot_lock_42::Foo
1434   int x GUARDED_BY(mu1) GUARDED_BY(mu2);
1435   int y GUARDED_BY(mu2);
1437   void f2() LOCKS_EXCLUDED(mu1) LOCKS_EXCLUDED(mu2) LOCKS_EXCLUDED(mu3) {  in f2()
1438     mu2.Lock();  in f2()
1440     mu2.Unlock();  in f2()
1444   void f1() EXCLUSIVE_LOCKS_REQUIRED(mu2) EXCLUSIVE_LOCKS_REQUIRED(mu1) {  in f1()
1500   int method1(int i) SHARED_LOCKS_REQUIRED(mu1, mu, mu2, mu3);
1503   Mutex *mu2;  member in thread_annot_lock_67_modified::Foo
1639   Mutex mu2;  member
1641   int b __attribute__((guarded_by(mu2)));
1653       MutexLock mulock2a(&mu2);  in foo2()
1657       MutexLock mulock2b(&mu2);  in foo2()
1669     MutexLock mulock1(&mu1), mulock2(&mu2);  in foo4()
1675     DoubleMutexLock mulock(&mu1, &mu2);  in foo5()
4239   Mutex  mu2;  member in PtGuardedByTest::PtGuardedBySanityTest
4240   int*   a GUARDED_BY(mu1) PT_GUARDED_BY(mu2);
4241   Cell*  c GUARDED_BY(mu1) PT_GUARDED_BY(mu2);
4276     mu2.Lock();  in test3()
4290     mu2.Unlock();  in test3()
4309     mu2.Lock();  in test5()
4318     mu2.Unlock();  in test5()
4326   Mutex mu2;  member in PtGuardedByTest::SmartPtr_PtGuardedBy_Test
4327   SmartPtr<int>  sp GUARDED_BY(mu1) PT_GUARDED_BY(mu2);
4328   SmartPtr<Cell> sq GUARDED_BY(mu1) PT_GUARDED_BY(mu2);
4332     mu2.Lock();  in test1()
4342     mu2.Unlock();  in test1()
4347     mu2.Lock();  in test2()
4359     mu2.Unlock();  in test2()
4857   Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
4858   Mutex mu2;  member in AcquiredBeforeAfterText::Foo
4863     mu2.Lock();  in test1()
4867     mu2.Unlock();  in test1()
4872     mu2.Lock();  in test2()
4875     mu2.Unlock();  in test2()
4886     mu2.Lock();  in test4()
4887     mu2.Unlock();  in test4()
4890   void test5() EXCLUSIVE_LOCKS_REQUIRED(mu2) {  in test5()
4895   void test6() EXCLUSIVE_LOCKS_REQUIRED(mu2) {  in test6()
4899   void test7() EXCLUSIVE_LOCKS_REQUIRED(mu1, mu2, mu3) { }  in test7()
4901   void test8() EXCLUSIVE_LOCKS_REQUIRED(mu3, mu2, mu1) { }  in test8()
4907   Mutex mu2 ACQUIRED_AFTER(mu1);
4912     mu2.Lock();  in test1()
4916     mu2.Unlock();  in test1()
4921     mu2.Lock();  in test2()
4924     mu2.Unlock();  in test2()
4937   Mutex mu1 ACQUIRED_BEFORE(mu2);
4938   Mutex mu2;  member in AcquiredBeforeAfterText::Foo3
4939   Mutex mu3 ACQUIRED_AFTER(mu2) ACQUIRED_BEFORE(mu4);
4944     mu2.Lock();  in test1()
4950     mu2.Unlock();  in test1()
4956     mu2.Lock();     // expected-warning {{mutex 'mu2' must be acquired before 'mu4'}}  in test2()
4958     mu2.Unlock();  in test2()
4983   Mutex mu2 ACQUIRED_AFTER(mu1);
4985   Mutex mu4 ACQUIRED_AFTER(mu2, mu3);
5002   Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
5003   Mutex mu2 ACQUIRED_BEFORE(mu4);
5022 …Mutex mu2 ACQUIRED_AFTER(mu1);     // expected-warning {{Cycle in acquired_before/after dependenci…
5023 …Mutex mu3 ACQUIRED_AFTER(mu2);     // expected-warning {{Cycle in acquired_before/after dependenci…
5050     mu2.Lock();  in test()
5051     mu2.Unlock();  in test()