Lines Matching refs:foo_
47 struct Foo foo_ = {&mu1};
48 int a_ GUARDED_BY(foo_.mu_);
49 int *b_ PT_GUARDED_BY(foo_.mu_) = &a_;
70 void set_value(int *a, int value) EXCLUSIVE_LOCKS_REQUIRED(foo_.mu_) {
74 int get_value(int *p) SHARED_LOCKS_REQUIRED(foo_.mu_){
106 set_value(&a_, 0); // expected-warning{{calling function 'setA' requires exclusive lock on 'foo_.mu_'}}
107 get_value(b_); // expected-warning{{calling function 'getB' requires shared lock on 'foo_.mu_'}}
108 mutex_exclusive_lock(foo_.mu_);
110 mutex_unlock(foo_.mu_);
111 mutex_shared_lock(foo_.mu_);
113 mutex_unlock(foo_.mu_);
117 mutex_exclusive_lock(foo_.mu_);
120 mutex_unlock(foo_.mu_);
