Lines Matching defs:mu3

1499   Mutex mu1, mu2, mu3;
1503   void f2() LOCKS_EXCLUDED(mu1) LOCKS_EXCLUDED(mu2) LOCKS_EXCLUDED(mu3) {
1562 Mutex mu3;
1566   int method1(int i) SHARED_LOCKS_REQUIRED(mu1, mu, mu2, mu3);
1582     // expected-warning {{calling function 'method1' requires holding mutex 'mu3'}}
6108   Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
6110   Mutex mu3;
6115     mu3.Lock();
6117     mu3.Unlock();
6130     mu3.Lock();
6131     mu1.Lock();     // expected-warning {{mutex 'mu1' must be acquired before 'mu3'}}
6133     mu3.Unlock();
6150   void test7() EXCLUSIVE_LOCKS_REQUIRED(mu1, mu2, mu3) { }
6152   void test8() EXCLUSIVE_LOCKS_REQUIRED(mu3, mu2, mu1) { }
6159   Mutex mu3 ACQUIRED_AFTER(mu1);
6164     mu3.Lock();
6166     mu3.Unlock();
6179     mu3.Lock();
6180     mu1.Lock();     // expected-warning {{mutex 'mu1' must be acquired before 'mu3'}}
6182     mu3.Unlock();
6190   Mutex mu3 ACQUIRED_AFTER(mu2) ACQUIRED_BEFORE(mu4);
6196     mu3.Lock();
6200     mu3.Unlock();
6222     mu3.Lock();
6223     mu1.Lock();     // expected-warning {{mutex 'mu1' must be acquired before 'mu3'}}
6226     mu3.Unlock();
6235   Mutex mu3 ACQUIRED_AFTER(mu1);
6236   Mutex mu4 ACQUIRED_AFTER(mu2, mu3);
6253   Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
6255   Mutex mu3 ACQUIRED_BEFORE(mu4);
6272   Mutex mu1 ACQUIRED_AFTER(mu3);     // expected-warning {{cycle in acquired_before/after dependencies, starting with 'mu1'}}
6274   Mutex mu3 ACQUIRED_AFTER(mu2);     // expected-warning {{cycle in acquired_before/after dependencies, starting with 'mu3'}}
6306     mu3.Lock();
6307     mu3.Unlock();