37   void Unlock() __attribute__((unlock_function));
120   sls_mw.mu.Unlock();  in sls_fun_0()
126   sls_mu.Unlock();  in sls_fun_2()
132   sls_mu.Unlock();  in sls_fun_3()
138   sls_mu2.Unlock();  in sls_fun_4()
144   sls_mu.Unlock();  in sls_fun_5()
150   sls_mu.Unlock();  in sls_fun_6()
156   sls_mu2.Unlock();  in sls_fun_7()
157   sls_mu.Unlock();  in sls_fun_7()
163     sls_mu.Unlock();  in sls_fun_8()
165     sls_mu.Unlock();  in sls_fun_8()
173   sls_mu.Unlock();  in sls_fun_9()
187   sls_mu.Unlock();  in sls_fun_good_6()
193     sls_mu.Unlock();  in sls_fun_good_7()
202   sls_mu.Unlock();  in sls_fun_good_7()
207   sls_mw.mu.Unlock();  in sls_fun_good_8()
211   sls_mu.Unlock(); // \  in sls_fun_bad_1()
219   sls_mu.Unlock();  in sls_fun_bad_2()
237     sls_mu.Unlock();  in sls_fun_bad_5()
250   sls_mu.Unlock(); // \  in sls_fun_bad_6()
258     sls_mu.Unlock();  in sls_fun_bad_7()
267   sls_mu.Unlock();  in sls_fun_bad_7()
274 …  sls_mu.Unlock(); // expected-warning{{expecting mutex 'sls_mu' to be held at start of each loop}}  in sls_fun_bad_8()
284   sls_mu.Unlock();  in sls_fun_bad_9()
290     sls_mu.Unlock();  in sls_fun_bad_10()
299   sls_mu.Unlock(); // \  in sls_fun_bad_11()
306     sls_mu.Unlock();  in sls_fun_bad_12()
314   sls_mu.Unlock();  in sls_fun_bad_12()