552   int a_ __attribute__((guarded_by(mu1_)));  member in LateBar
593   int res = b1.a_ + b3->b_;  in late_bad_1()
914   static int a_ GUARDED_BY(mu1_);
923   if (a_ == 4)  in func1()
936   int a_ GUARDED_BY(mu1_);
951   res = b1.a_ + b3->b_;  in func()
953   b1.a_ = res + b3->b_;  in func()
1033   int GetA() EXCLUSIVE_LOCKS_REQUIRED(foo_->mu_) { return a_; }  in GetA()
1034   int a_ GUARDED_BY(foo_->mu_);
1273   int a_ GUARDED_BY(mu_);
1282   res = a_ + 5;  in foo()
1291   a_ = x + 1;  in bar()
1326   int a_ GUARDED_BY(mu1_);
1337   b1->a_ = 5;  in func()
1338   b2->a_ = 3; // \  in func()
1354   int a_ GUARDED_BY(mu1_);
1369 …res = b1.a_ + b3->b_; // expected-warning {{reading variable 'a_' requires holding mutex 'b1.mu1_'…  in func()
1374   b1.a_ = res + b3->b_; // expected-warning {{reading variable 'res' requires holding mutex 'mu'}} \  in func()
1391   int a_ GUARDED_BY(lock_);
1404      child->a_ = 5; // \  in Func()
1411     a_ = y;  in bar()
1430   int a_ GUARDED_BY(lock_);
1445   child->a_ = 5;  in Func()
1452   a_ = y;  in bar()