Lines Matching refs:mu1
70 DoubleMutexLock(Mutex *mu1, Mutex *mu2)
71 __attribute__((exclusive_lock_function(mu1, mu2)));
930 Mutex mu1; variable
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);
948 static int bar(int i) EXCLUSIVE_LOCKS_REQUIRED(mu1);
956 mu1.Lock(); in main()
962 mu1.Unlock(); in main()
1093 int method1(int i) SHARED_LOCKS_REQUIRED(mu1, mu, mu2);
1094 int data GUARDED_BY(mu1);
1095 Mutex *mu1; member in thread_annot_lock_66_modified::Foo
1109 a.mu1->Lock(); in main()
1113 a.mu1->Unlock(); in main()
1225 Mutex mu1; variable
1228 int g GUARDED_BY(mu1);
1233 void bar() LOCKS_EXCLUDED(mu_, mu1);
1239 Mutex mu_ ACQUIRED_AFTER(mu1);
1258 mu1.Lock(); in bar()
1260 mu1.Unlock(); in bar()
1433 Mutex mu1, mu2, mu3; member in thread_annot_lock_42::Foo
1434 int x GUARDED_BY(mu1) GUARDED_BY(mu2);
1437 void f2() LOCKS_EXCLUDED(mu1) LOCKS_EXCLUDED(mu2) LOCKS_EXCLUDED(mu3) { 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);
1501 int data GUARDED_BY(mu1);
1502 Mutex *mu1; member in thread_annot_lock_67_modified::Foo
1638 Mutex mu1; member
1640 int a __attribute__((guarded_by(mu1)));
1646 MutexLock mulock(&mu1); in foo1()
1651 ReaderMutexLock mulock1(&mu1); in foo2()
1663 MutexLock mulock_a(&mu1); in foo3()
1664 MutexLock mulock_b(&mu1); // \ in foo3()
1669 MutexLock mulock1(&mu1), mulock2(&mu2); in foo4()
1675 DoubleMutexLock mulock(&mu1, &mu2); in foo5()
4238 Mutex mu1; member in PtGuardedByTest::PtGuardedBySanityTest
4240 int* a GUARDED_BY(mu1) PT_GUARDED_BY(mu2);
4241 Cell* c GUARDED_BY(mu1) PT_GUARDED_BY(mu2);
4242 int sa[10] GUARDED_BY(mu1);
4243 Cell sc[10] GUARDED_BY(mu1);
4246 mu1.Lock(); in test1()
4254 mu1.Unlock(); in test1()
4258 mu1.ReaderLock(); in test2()
4272 mu1.Unlock(); in test2()
4308 mu1.ReaderLock(); // OK -- correct use. in test5()
4319 mu1.Unlock(); in test5()
4325 Mutex mu1; 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);
4331 mu1.ReaderLock(); in test1()
4343 mu1.Unlock(); in test1()
4363 mu1.Lock(); in test3()
4375 mu1.Unlock(); in test3()
4857 Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
4862 mu1.Lock(); in test1()
4868 mu1.Unlock(); in test1()
4873 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu2'}} in test2()
4874 mu1.Unlock(); in test2()
4880 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu3'}} in test3()
4881 mu1.Unlock(); in test3()
4885 void test4() EXCLUSIVE_LOCKS_REQUIRED(mu1) { in test4()
4891 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu2'}} in test5()
4892 mu1.Unlock(); in test5()
4896 mu1.AssertHeld(); in test6()
4899 void test7() EXCLUSIVE_LOCKS_REQUIRED(mu1, mu2, mu3) { } in test7()
4901 void test8() EXCLUSIVE_LOCKS_REQUIRED(mu3, mu2, mu1) { } in test8()
4906 Mutex mu1; member in AcquiredBeforeAfterText::Foo2
4907 Mutex mu2 ACQUIRED_AFTER(mu1);
4908 Mutex mu3 ACQUIRED_AFTER(mu1);
4911 mu1.Lock(); in test1()
4917 mu1.Unlock(); in test1()
4922 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu2'}} in test2()
4923 mu1.Unlock(); in test2()
4929 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu3'}} in test3()
4930 mu1.Unlock(); in test3()
4937 Mutex mu1 ACQUIRED_BEFORE(mu2);
4943 mu1.Lock(); in test1()
4951 mu1.Unlock(); in test1()
4964 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu4'}} in test3()
4966 mu1.Unlock(); in test3()
4972 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu3'}} in test4()
4974 mu1.Unlock(); in test4()
4982 Mutex mu1; member in AcquiredBeforeAfterText::Foo4
4983 Mutex mu2 ACQUIRED_AFTER(mu1);
4984 Mutex mu3 ACQUIRED_AFTER(mu1);
4993 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu8'}} in test()
4994 mu1.Unlock(); in test()
5002 Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
5013 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu8'}} in test()
5014 mu1.Unlock(); in test()
5021 …Mutex mu1 ACQUIRED_AFTER(mu3); // expected-warning {{Cycle in acquired_before/after dependenci…
5022 …Mutex mu2 ACQUIRED_AFTER(mu1); // expected-warning {{Cycle in acquired_before/after dependenci…
5036 mu1.Lock(); in test1a()
5037 mu1.Unlock(); in test1a()
5041 mu1.Lock(); in test1b()
5046 mu1.Unlock(); in test1b()
5150 Mutex mu1; variable
5151 Mutex mu2 ACQUIRED_AFTER(mu1);
5155 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu2'}} in test3()
5156 mu1.Unlock(); in test3()