Lines Matching full:sls_mu
98 Mutex sls_mu;
100 Mutex sls_mu2 __attribute__((acquired_after(sls_mu)));
102 int sls_guardby_var __attribute__((guarded_by(sls_mu))) = 0;
124 sls_mu.Lock();
126 sls_mu.Unlock();
130 sls_mu.Lock();
132 sls_mu.Unlock();
142 sls_mu.Lock();
144 sls_mu.Unlock();
148 sls_mu.Lock();
150 sls_mu.Unlock();
154 sls_mu.Lock();
157 sls_mu.Unlock();
161 sls_mu.Lock();
163 sls_mu.Unlock();
165 sls_mu.Unlock();
170 sls_mu.Lock();
172 sls_mu.Lock();
173 sls_mu.Unlock();
178 sls_mu.Lock();
185 sls_mu.Lock();
187 sls_mu.Unlock();
191 sls_mu.Lock();
193 sls_mu.Unlock();
196 sls_mu.Lock();
200 sls_mu.Lock();
202 sls_mu.Unlock();
211 sls_mu.Unlock(); // \
212 // expected-warning{{unlocking 'sls_mu' that was not locked}}
216 sls_mu.Lock();
217 sls_mu.Lock(); // \
218 // expected-warning{{locking 'sls_mu' that is already locked}}
219 sls_mu.Unlock();
223 sls_mu.Lock(); // expected-note {{mutex acquired here}}
224 } // expected-warning{{mutex 'sls_mu' is still locked at the end of function}}
228 sls_mu.Lock(); // expected-note{{mutex acquired here}}
231 } // expected-warning{{mutex 'sls_mu' is not locked on every path through here}} \
235 sls_mu.Lock(); // expected-note {{mutex acquired here}}
237 sls_mu.Unlock();
238 } // expected-warning{{mutex 'sls_mu' is not locked on every path through here}}
242 sls_mu.Lock(); // expected-note {{mutex acquired here}}
250 sls_mu.Unlock(); // \
251 expected-warning{{mutex 'sls_mu' is not locked on every path through here}}\
252 expected-warning{{unlocking 'sls_mu' that was not locked}}
256 sls_mu.Lock();
258 sls_mu.Unlock();
262 expected-warning{{expecting mutex 'sls_mu' to be locked at start of each loop}}
265 sls_mu.Lock(); // expected-note {{mutex acquired here}}
267 sls_mu.Unlock();
271 sls_mu.Lock(); // expected-note{{mutex acquired here}}
274 sls_mu.Unlock(); // expected-warning{{expecting mutex 'sls_mu' to be locked at start of each loop}}
280 sls_mu.Lock(); // \
281 // expected-warning{{expecting mutex 'sls_mu' to be locked at start of each loop}} \
284 sls_mu.Unlock();
288 sls_mu.Lock(); // expected-note 2{{mutex acquired here}}
289 while(getBool()) { // expected-warning{{expecting mutex 'sls_mu' to be locked at start of each loop}}
290 sls_mu.Unlock();
292 } // expected-warning{{mutex 'sls_mu' is still locked at the end of function}}
296 expected-warning{{expecting mutex 'sls_mu' to be locked at start of each loop}}
297 sls_mu.Lock(); // expected-note {{mutex acquired here}}
299 sls_mu.Unlock(); // \
300 // expected-warning{{unlocking 'sls_mu' that was not locked}}
304 sls_mu.Lock(); // expected-note {{mutex acquired here}}
306 sls_mu.Unlock();
309 break; // expected-warning{{mutex 'sls_mu' is not locked on every path through here}}
312 sls_mu.Lock();
314 sls_mu.Unlock();
