23 	pthread_mutex_unlock(&mtx1); // no-warning  in ok2()
30 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok3()
32 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok3()
39 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok4()
41 	pthread_mutex_unlock(&mtx2);	// no-warning  in ok4()
48 		pthread_mutex_unlock(&mtx1);	// no-warning  in ok5()
69 	pthread_mutex_unlock(&mtx2);	// no-warning  in ok8()
70 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok8()
76 	pthread_mutex_unlock(&mtx1);		// no-warning  in ok9()
78 		pthread_mutex_unlock(&mtx1);	// no-warning  in ok9()
86 	pthread_mutex_unlock(&mtx1);		// no-warning  in ok10()
105 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok13()
112 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok14()
114 	pthread_mutex_unlock(&mtx2);	// no-warning  in ok14()
122 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok15()
158 	pthread_mutex_unlock(&mtx1);		// no-warning  in ok20()
168   pthread_mutex_unlock(pmtx);  // no-warning  in ok21()
174   pthread_mutex_unlock(pmtx);  // no-warning  in ok22()
176   pthread_mutex_unlock(pmtx);  // no-warning  in ok22()
191 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad2()
201 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This was not the most recently acquired lock}}  in bad3()
202 	pthread_mutex_unlock(&mtx2);  in bad3()
211 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This was not the most recently acquired lock}}  in bad4()
282 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad12()
284 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad12()
285 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This lock has already been unlocked}}  in bad12()
292 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad13()
294 	pthread_mutex_unlock(&mtx2);	// no-warning  in bad13()
295 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This lock has already been unlocked}}  in bad13()
303 	pthread_mutex_unlock(&mtx2);	// no-warning  in bad14()
304 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad14()
305 	pthread_mutex_unlock(&mtx2);	// expected-warning{{This lock has already been unlocked}}  in bad14()
313 	pthread_mutex_unlock(&mtx2);	// no-warning  in bad15()
314 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad15()
316 	pthread_mutex_unlock(&mtx2);	// expected-warning{{This lock has already been unlocked}}  in bad15()
330 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This lock has already been destroyed}}  in bad17()
392 	pthread_mutex_unlock(&mtx1);		// no-warning  in bad26()