Lines Matching refs:loop
303 expected-warning{{expecting mutex 'sls_mu' to be held at start of each loop}}
315 sls_mu.Unlock(); // expected-warning{{expecting mutex 'sls_mu' to be held at start of each loop}}
322 // expected-warning{{expecting mutex 'sls_mu' to be held at start of each loop}} \
330 while(getBool()) { // expected-warning{{expecting mutex 'sls_mu' to be held at start of each loop}}
337 expected-warning{{expecting mutex 'sls_mu' to be held at start of each loop}}
1787 if (b) { // b is still known, because the loop doesn't alter it
1798 if (b) { // b should be uknown at this point b/c of the loop
2031 continue; // expected-warning {{expecting mutex 'm' to be held at start of each loop}}
