Lines Matching refs:mu2
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();
960 mu2.Unlock();
1093 int method1(int i) SHARED_LOCKS_REQUIRED(mu1, mu, mu2);
1096 Mutex *mu2;
1108 a.mu2->Lock();
1114 a.mu2->Unlock();
1226 Mutex mu2;
1229 int w GUARDED_BY(mu2);
1234 int foo() SHARED_LOCKS_REQUIRED(mu_) EXCLUSIVE_LOCKS_REQUIRED(mu2);
1254 x = foo(); // expected-warning {{calling function 'foo' requires holding mutex 'mu2' exclusively}}
1269 mu2.Lock();
1271 mu2.Unlock();
1276 mu2.Lock();
1278 mu2.Unlock();
1433 Mutex mu1, mu2, mu3;
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) {
1438 mu2.Lock();
1440 mu2.Unlock();
1444 void f1() EXCLUSIVE_LOCKS_REQUIRED(mu2) EXCLUSIVE_LOCKS_REQUIRED(mu1) {
1447 // expected-warning {{cannot call function 'f2' while mutex 'mu2' is held}}
1455 foo->f1(); // expected-warning {{calling function 'f1' requires holding mutex 'foo->mu2' exclusively}} \
1500 int method1(int i) SHARED_LOCKS_REQUIRED(mu1, mu, mu2, mu3);
1503 Mutex *mu2;
1515 // expected-warning {{calling function 'method1' requires holding mutex 'a.mu2'}} \
1639 Mutex mu2;
1641 int b __attribute__((guarded_by(mu2)));
1653 MutexLock mulock2a(&mu2);
1657 MutexLock mulock2b(&mu2);
1669 MutexLock mulock1(&mu1), mulock2(&mu2);
1675 DoubleMutexLock mulock(&mu1, &mu2);
4239 Mutex mu2;
4240 int* a GUARDED_BY(mu1) PT_GUARDED_BY(mu2);
4241 Cell* c GUARDED_BY(mu1) PT_GUARDED_BY(mu2);
4259 if (*a == 0) doSomething(); // expected-warning {{reading the value pointed to by 'a' requires holding mutex 'mu2'}}
4260 *a = 0; // expected-warning {{writing the value pointed to by 'a' requires holding mutex 'mu2' exclusively}}
4262 if (c->a == 0) doSomething(); // expected-warning {{reading the value pointed to by 'c' requires holding mutex 'mu2'}}
4263 c->a = 0; // expected-warning {{writing the value pointed to by 'c' requires holding mutex 'mu2' exclusively}}
4265 if ((*c).a == 0) doSomething(); // expected-warning {{reading the value pointed to by 'c' requires holding mutex 'mu2'}}
4266 (*c).a = 0; // expected-warning {{writing the value pointed to by 'c' requires holding mutex 'mu2' exclusively}}
4268 if (a[0] == 42) doSomething(); // expected-warning {{reading the value pointed to by 'a' requires holding mutex 'mu2'}}
4269 a[0] = 57; // expected-warning {{writing the value pointed to by 'a' requires holding mutex 'mu2' exclusively}}
4270 if (c[0].a == 42) doSomething(); // expected-warning {{reading the value pointed to by 'c' requires holding mutex 'mu2'}}
4271 c[0].a = 57; // expected-warning {{writing the value pointed to by 'c' requires holding mutex 'mu2' exclusively}}
4276 mu2.Lock();
4290 mu2.Unlock();
4309 mu2.Lock();
4318 mu2.Unlock();
4326 Mutex mu2;
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();
4342 mu2.Unlock();
4347 mu2.Lock();
4359 mu2.Unlock();
4366 if (*sp == 0) doSomething(); // expected-warning {{reading the value pointed to by 'sp' requires holding mutex 'mu2'}}
4367 *sp = 0; // expected-warning {{reading the value pointed to by 'sp' requires holding mutex 'mu2'}}
4368 sq->a = 0; // expected-warning {{reading the value pointed to by 'sq' requires holding mutex 'mu2'}}
4370 if (sp[0] == 0) doSomething(); // expected-warning {{reading the value pointed to by 'sp' requires holding mutex 'mu2'}}
4371 sp[0] = 0; // expected-warning {{reading the value pointed to by 'sp' requires holding mutex 'mu2'}}
4372 if (sq[0].a == 0) doSomething(); // expected-warning {{reading the value pointed to by 'sq' requires holding mutex 'mu2'}}
4373 sq[0].a = 0; // expected-warning {{reading the value pointed to by 'sq' requires holding mutex 'mu2'}}
4857 Mutex mu1 ACQUIRED_BEFORE(mu2, mu3);
4858 Mutex mu2;
4863 mu2.Lock();
4867 mu2.Unlock();
4872 mu2.Lock();
4873 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu2'}}
4875 mu2.Unlock();
4886 mu2.Lock();
4887 mu2.Unlock();
4890 void test5() EXCLUSIVE_LOCKS_REQUIRED(mu2) {
4891 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu2'}}
4895 void test6() EXCLUSIVE_LOCKS_REQUIRED(mu2) {
4899 void test7() EXCLUSIVE_LOCKS_REQUIRED(mu1, mu2, mu3) { }
4901 void test8() EXCLUSIVE_LOCKS_REQUIRED(mu3, mu2, mu1) { }
4907 Mutex mu2 ACQUIRED_AFTER(mu1);
4912 mu2.Lock();
4916 mu2.Unlock();
4921 mu2.Lock();
4922 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu2'}}
4924 mu2.Unlock();
4937 Mutex mu1 ACQUIRED_BEFORE(mu2);
4938 Mutex mu2;
4939 Mutex mu3 ACQUIRED_AFTER(mu2) ACQUIRED_BEFORE(mu4);
4944 mu2.Lock();
4950 mu2.Unlock();
4956 mu2.Lock(); // expected-warning {{mutex 'mu2' must be acquired before 'mu4'}}
4958 mu2.Unlock();
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 dependencies, starting with 'mu2'}}
5023 Mutex mu3 ACQUIRED_AFTER(mu2); // expected-warning {{Cycle in acquired_before/after dependencies, starting with 'mu3'}}
5050 mu2.Lock();
5051 mu2.Unlock();
5151 Mutex mu2 ACQUIRED_AFTER(mu1);
5154 mu2.Lock();
5155 mu1.Lock(); // expected-warning {{mutex 'mu1' must be acquired before 'mu2'}}
5157 mu2.Unlock();
