Lines Matching refs:mu1_
519 int a_ __attribute__((guarded_by(mu1_)));
522 Mutex mu1_;
559 b1.mu1_.Lock();
563 b1.mu1_.Unlock();
832 static int func1() EXCLUSIVE_LOCKS_REQUIRED(mu1_);
833 static int b_ GUARDED_BY(mu1_);
834 static Mutex mu1_;
835 static int a_ GUARDED_BY(mu1_);
857 int a_ GUARDED_BY(mu1_);
860 Mutex mu1_ ACQUIRED_AFTER(mu);
871 b1.mu1_.Lock();
876 b1.mu1_.Unlock();
1245 bool MyLock() EXCLUSIVE_LOCK_FUNCTION(mu1_);
1246 void MyUnlock() UNLOCK_FUNCTION(mu1_);
1247 int a_ GUARDED_BY(mu1_);
1250 Mutex mu1_;
1260 // expected-warning {{writing variable 'a_' requires locking 'b2->mu1_' exclusively}} \
1261 // expected-note {{found near match 'b1->mu1_'}}
1275 int a_ GUARDED_BY(mu1_);
1278 Mutex mu1_ ACQUIRED_AFTER(mu);
1289 b3->mu1_.Lock();
1290 res = b1.a_ + b3->b_; // expected-warning {{reading variable 'a_' requires locking 'b1.mu1_'}} \
1292 // expected-note {{found near match 'b3->mu1_'}}
1296 // expected-warning {{writing variable 'a_' requires locking 'b1.mu1_' exclusively}} \
1297 // expected-note {{found near match 'b3->mu1_'}}
1299 b3->mu1_.Unlock();
2504 Mutex mu1_;
2508 bool lockBoth() EXCLUSIVE_TRYLOCK_FUNCTION(true, mu1_, mu2_);
2512 if (!mu1_.TryLock())
2517 mu1_.Unlock();
2831 Mutex mu1_;
2834 int a GUARDED_BY(mu1_);
2841 void lock1() EXCLUSIVE_LOCK_FUNCTION(mu1_);
2842 void slock1() SHARED_LOCK_FUNCTION(mu1_);
2843 void lock3() EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_);
2845 EXCLUSIVE_LOCK_FUNCTION(mu1_)
2847 EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_);
2849 void unlock1() UNLOCK_FUNCTION(mu1_);
2850 void unlock3() UNLOCK_FUNCTION(mu1_, mu2_, mu3_);
2852 UNLOCK_FUNCTION(mu1_)
2854 UNLOCK_FUNCTION(mu1_, mu2_, mu3_);
2861 void Foo::lock1() EXCLUSIVE_LOCK_FUNCTION(mu1_) {
2862 mu1_.Lock();
2865 void Foo::slock1() SHARED_LOCK_FUNCTION(mu1_) {
2866 mu1_.ReaderLock();
2869 void Foo::lock3() EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_, mu3_) {
2870 mu1_.Lock();
2876 EXCLUSIVE_LOCK_FUNCTION(mu1_, mu2_)
2878 mu1_.Lock();
2883 void Foo::unlock1() UNLOCK_FUNCTION(mu1_) {
2884 mu1_.Unlock();
2887 void Foo::unlock3() UNLOCK_FUNCTION(mu1_, mu2_, mu3_) {
2888 mu1_.Unlock();
2894 UNLOCK_FUNCTION(mu1_, mu2_)
2896 mu1_.Unlock();
2921 foo.lock1(); // expected-warning {{locking 'foo.mu1_' that is already locked}}
2924 foo.unlock1(); // expected-warning {{unlocking 'foo.mu1_' that was not locked}}
2935 foo.slock1(); // expected-warning {{locking 'foo.mu1_' that is already locked}}
2938 foo.unlock1(); // expected-warning {{unlocking 'foo.mu1_' that was not locked}}
2953 // expected-warning {{locking 'foo.mu1_' that is already locked}} \
2961 // expected-warning {{unlocking 'foo.mu1_' that was not locked}} \
2977 // expected-warning {{locking 'foo.mu1_' that is already locked}} \
2985 // expected-warning {{unlocking 'foo.mu1_' that was not locked}} \
3633 Mutex mu1_;
3635 int a GUARDED_BY(mu1_);
3637 int c GUARDED_BY(mu1_) GUARDED_BY(mu2_);
3638 int* d PT_GUARDED_BY(mu1_) PT_GUARDED_BY(mu2_);
3640 void foo1() EXCLUSIVE_LOCKS_REQUIRED(mu1_)
3642 void foo2() SHARED_LOCKS_REQUIRED(mu1_)
3644 void foo3() LOCKS_EXCLUDED(mu1_)
3646 void lock() EXCLUSIVE_LOCK_FUNCTION(mu1_)
3648 void readerlock() SHARED_LOCK_FUNCTION(mu1_)
3650 void unlock() UNLOCK_FUNCTION(mu1_)
3652 bool trylock() EXCLUSIVE_TRYLOCK_FUNCTION(true, mu1_)
3654 bool readertrylock() SHARED_TRYLOCK_FUNCTION(true, mu1_)
3671 void Foo::lock() { mu1_.Lock(); mu2_.Lock(); }
3672 void Foo::readerlock() { mu1_.ReaderLock(); mu2_.ReaderLock(); }
3673 void Foo::unlock() { mu1_.Unlock(); mu2_.Unlock(); }
3679 mu1_.Lock();
3683 mu1_.Unlock();
3685 mu1_.ReaderLock();
3689 mu1_.Unlock();
