Lines Matching refs:mu3
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()