Lines Matching refs:mu3
1433 Mutex mu1, mu2, mu3;
1437 void f2() LOCKS_EXCLUDED(mu1) LOCKS_EXCLUDED(mu2) LOCKS_EXCLUDED(mu3) {
1496 Mutex mu3;
1500 int method1(int i) SHARED_LOCKS_REQUIRED(mu1, mu, mu2, mu3);
1516 // expected-warning {{calling function 'method1' requires holding mutex 'mu3'}}
4857 Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
4859 Mutex mu3;
4864 mu3.Lock();
4866 mu3.Unlock();
4879 mu3.Lock();
4880 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu3'}}
4882 mu3.Unlock();
4899 void test7() EXCLUSIVE_LOCKS_REQUIRED(mu1, mu2, mu3) { }
4901 void test8() EXCLUSIVE_LOCKS_REQUIRED(mu3, mu2, mu1) { }
4908 Mutex mu3 ACQUIRED_AFTER(mu1);
4913 mu3.Lock();
4915 mu3.Unlock();
4928 mu3.Lock();
4929 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu3'}}
4931 mu3.Unlock();
4939 Mutex mu3 ACQUIRED_AFTER(mu2) ACQUIRED_BEFORE(mu4);
4945 mu3.Lock();
4949 mu3.Unlock();
4971 mu3.Lock();
4972 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu3'}}
4975 mu3.Unlock();
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 dependencies, starting with 'mu1'}}
5023 Mutex mu3 ACQUIRED_AFTER(mu2); // expected-warning {{Cycle in acquired_before/after dependencies, starting with 'mu3'}}
5055 mu3.Lock();
5056 mu3.Unlock();
