Lines Matching defs:mu1_
582 int a_ __attribute__((guarded_by(mu1_)));
585 Mutex mu1_;
622 b1.mu1_.Lock();
626 b1.mu1_.Unlock();
941 static int func1() EXCLUSIVE_LOCKS_REQUIRED(mu1_);
942 static int b_ GUARDED_BY(mu1_);
943 static Mutex mu1_;
944 static int a_ GUARDED_BY(mu1_);
966 int a_ GUARDED_BY(mu1_);
969 Mutex mu1_ ACQUIRED_AFTER(mu);
980 b1.mu1_.Lock();
985 b1.mu1_.Unlock();
1354 bool MyLock() EXCLUSIVE_LOCK_FUNCTION(mu1_);
1355 void MyUnlock() UNLOCK_FUNCTION(mu1_);
1356 int a_ GUARDED_BY(mu1_);
1359 Mutex mu1_;
1369 // expected-warning {{writing variable 'a_' requires holding mutex 'b2->mu1_' exclusively}} \
1370 // expected-note {{found near match 'b1->mu1_'}}
1384 int a_ GUARDED_BY(mu1_);
1387 Mutex mu1_ ACQUIRED_AFTER(mu);
1398 b3->mu1_.Lock();
1399 res = b1.a_ + b3->b_; // expected-warning {{reading variable 'a_' requires holding mutex 'b1.mu1_'}} \
1401 // expected-note {{found near match 'b3->mu1_'}}
1405 // expected-warning {{writing variable 'a_' requires holding mutex 'b1.mu1_' exclusively}} \
1406 // expected-note {{found near match 'b3->mu1_'}}
1408 b3->mu1_.Unlock();
3576 Mutex mu1_;
3580 bool lockBoth() EXCLUSIVE_TRYLOCK_FUNCTION(true, mu1_, mu2_);
3584 if (!mu1_.TryLock())
3589 mu1_.Unlock();
3917 Mutex mu1_;
3920 int a GUARDED_BY(mu1_);
3927 void lock1() EXCLUSIVE_LOCK_FUNCTION(mu1_);
3928 void slock1() SHARED_LOCK_FUNCTION(mu1_);
3929 void lock3() EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_);
3931 EXCLUSIVE_LOCK_FUNCTION(mu1_)
3933 EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_);
3935 void unlock1() UNLOCK_FUNCTION(mu1_);
3936 void unlock3() UNLOCK_FUNCTION(mu1_, mu2_, mu3_);
3938 UNLOCK_FUNCTION(mu1_)
3940 UNLOCK_FUNCTION(mu1_, mu2_, mu3_);
3947 void Foo::lock1() EXCLUSIVE_LOCK_FUNCTION(mu1_) {
3948 mu1_.Lock();
3951 void Foo::slock1() SHARED_LOCK_FUNCTION(mu1_) {
3952 mu1_.ReaderLock();
3955 void Foo::lock3() EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_) {
3956 mu1_.Lock();
3962 EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_)
3964 mu1_.Lock();
3969 void Foo::unlock1() UNLOCK_FUNCTION(mu1_) {
3970 mu1_.Unlock();
3973 void Foo::unlock3() UNLOCK_FUNCTION(mu1_, mu2_, mu3_) {
3974 mu1_.Unlock();
3980 UNLOCK_FUNCTION(mu1_, mu2_)
3982 mu1_.Unlock();
4007 foo.lock1(); // expected-warning {{acquiring mutex 'foo.mu1_' that is already held}}
4010 foo.unlock1(); // expected-warning {{releasing mutex 'foo.mu1_' that was not held}}
4021 foo.slock1(); // expected-warning {{acquiring mutex 'foo.mu1_' that is already held}}
4024 foo.unlock1(); // expected-warning {{releasing mutex 'foo.mu1_' that was not held}}
4039 // expected-warning {{acquiring mutex 'foo.mu1_' that is already held}} \
4047 // expected-warning {{releasing mutex 'foo.mu1_' that was not held}} \
4063 // expected-warning {{acquiring mutex 'foo.mu1_' that is already held}} \
4071 // expected-warning {{releasing mutex 'foo.mu1_' that was not held}} \
4703 Mutex mu1_;
4705 int a GUARDED_BY(mu1_);
4707 int c GUARDED_BY(mu1_) GUARDED_BY(mu2_);
4708 int* d PT_GUARDED_BY(mu1_) PT_GUARDED_BY(mu2_);
4710 void foo1() EXCLUSIVE_LOCKS_REQUIRED(mu1_)
4712 void foo2() SHARED_LOCKS_REQUIRED(mu1_)
4714 void foo3() LOCKS_EXCLUDED(mu1_)
4716 void lock() EXCLUSIVE_LOCK_FUNCTION(mu1_)
4718 void readerlock() SHARED_LOCK_FUNCTION(mu1_)
4720 void unlock() UNLOCK_FUNCTION(mu1_)
4722 bool trylock() EXCLUSIVE_TRYLOCK_FUNCTION(true, mu1_)
4724 bool readertrylock() SHARED_TRYLOCK_FUNCTION(true, mu1_)
4726 void assertBoth() ASSERT_EXCLUSIVE_LOCK(mu1_)
4729 void alsoAssertBoth() ASSERT_EXCLUSIVE_LOCK(mu1_, mu2_);
4731 void assertShared() ASSERT_SHARED_LOCK(mu1_)
4734 void alsoAssertShared() ASSERT_SHARED_LOCK(mu1_, mu2_);
4752 void Foo::lock() { mu1_.Lock(); mu2_.Lock(); }
4753 void Foo::readerlock() { mu1_.ReaderLock(); mu2_.ReaderLock(); }
4754 void Foo::unlock() { mu1_.Unlock(); mu2_.Unlock(); }
4760 mu1_.Lock();
4764 mu1_.Unlock();
4766 mu1_.ReaderLock();
4770 mu1_.Unlock();