3898   Foo* foop PT_GUARDED_BY(mu_);
3906 …fa = foop->a;        // expected-warning {{reading the value pointed to by 'foop' requires holding…  in test()
3907 …foop->a = fa;        // expected-warning {{writing the value pointed to by 'foop' requires holding…  in test()
3909 …fa = (*foop).a;      // expected-warning {{reading the value pointed to by 'foop' requires holding…  in test()
3910 …(*foop).a = fa;      // expected-warning {{writing the value pointed to by 'foop' requires holding…  in test()
3917 …foop->c  = Cell(0);    // expected-warning {{writing the value pointed to by 'foop' requires holdi…  in test()
3919 …foop->c.cellMethod();  // expected-warning {{reading the value pointed to by 'foop' requires holdi…  in test()
3922 …(*foop).c  = Cell(0);    // expected-warning {{writing the value pointed to by 'foop' requires hol…  in test()
3924 …(*foop).c.cellMethod();  // expected-warning {{reading the value pointed to by 'foop' requires hol…  in test()
4781   Foo*          foop  PT_GUARDED_BY(mu);
4826 …copy(*foop);             // expected-warning {{reading the value pointed to by 'foop' requires hol…  in test1()
4827 …write1(*foop);           // expected-warning {{passing the value that 'foop' points to by referenc…  in test1()
4828 …write2(10, *foop);       // expected-warning {{passing the value that 'foop' points to by referenc…  in test1()
4829 …read1(*foop);            // expected-warning {{passing the value that 'foop' points to by referenc…  in test1()
4830 …read2(10, *foop);        // expected-warning {{passing the value that 'foop' points to by referenc…  in test1()
4831 …destroy(mymove(*foop));  // expected-warning {{passing the value that 'foop' points to by referenc…  in test1()