Lines Matching refs:sls_mu2
100 Mutex sls_mu2 __attribute__((acquired_after(sls_mu)));
134 sls_mu2.Lock();
136 sls_mu2.Unlock();
153 sls_mu2.Lock();
154 sls_mu2.Unlock();
228 sls_mu2.Lock(); // expected-note{{mutex acquired here}}
230 // expected-warning{{mutex 'sls_mu2' is not locked on every path through here}}
384 int *pgb_field __attribute__((guarded_by(sls_mu2)))
388 // expected-warning {{writing variable 'pgb_field' requires locking 'sls_mu2' exclusively}}
389 *pgb_field = x; // expected-warning {{reading variable 'pgb_field' requires locking 'sls_mu2'}} \
391 x = *pgb_field; // expected-warning {{reading variable 'pgb_field' requires locking 'sls_mu2'}} \
393 (*pgb_field)++; // expected-warning {{reading variable 'pgb_field' requires locking 'sls_mu2'}} \
691 void testShared() __attribute__((shared_locks_required(sls_mu2)));
725 sls_mu2.Lock();
727 sls_mu2.Unlock();
731 sls_mu2.ReaderLock();
733 sls_mu2.Unlock();
786 // expected-warning {{calling function 'testShared' requires shared lock on 'sls_mu2'}}
