24 	pthread_mutex_unlock(&mtx1); // no-warning  in ok2()
31 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok3()
33 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok3()
40 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok4()
42 	pthread_mutex_unlock(&mtx2);	// no-warning  in ok4()
49 		pthread_mutex_unlock(&mtx1);	// no-warning  in ok5()
70 	pthread_mutex_unlock(&mtx2);	// no-warning  in ok8()
71 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok8()
77 	pthread_mutex_unlock(&mtx1);		// no-warning  in ok9()
79 		pthread_mutex_unlock(&mtx1);	// no-warning  in ok9()
87 	pthread_mutex_unlock(&mtx1);		// no-warning  in ok10()
106 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok13()
113 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok14()
115 	pthread_mutex_unlock(&mtx2);	// no-warning  in ok14()
123 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok15()
159 	pthread_mutex_unlock(&mtx1);		// no-warning  in ok20()
169   pthread_mutex_unlock(pmtx);  // no-warning  in ok21()
175   pthread_mutex_unlock(pmtx);  // no-warning  in ok22()
177   pthread_mutex_unlock(pmtx);  // no-warning  in ok22()
192     pthread_mutex_unlock(&mtx1);         // no-warning  in ok25()
196   pthread_mutex_unlock(&mtx1);           // no-warning  in ok26()
202   pthread_mutex_unlock(&mtx1);           // no-warning  in ok27()
212     pthread_mutex_unlock(&mtx1);           // no-warning  in ok28()
231   pthread_mutex_unlock(&local_mtx);  in ok30()
241   pthread_mutex_unlock(&local_mtx);  in ok31()
256 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad2()
266 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This was not the most recently acquired lock}}  in bad3()
267 	pthread_mutex_unlock(&mtx2);  in bad3()
276 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This was not the most recently acquired lock}}  in bad4()
347 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad12()
349 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad12()
350 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This lock has already been unlocked}}  in bad12()
357 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad13()
359 	pthread_mutex_unlock(&mtx2);	// no-warning  in bad13()
360 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This lock has already been unlocked}}  in bad13()
368 	pthread_mutex_unlock(&mtx2);	// no-warning  in bad14()
369 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad14()
370 	pthread_mutex_unlock(&mtx2);	// expected-warning{{This lock has already been unlocked}}  in bad14()
378 	pthread_mutex_unlock(&mtx2);	// no-warning  in bad15()
379 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad15()
381 	pthread_mutex_unlock(&mtx2);	// expected-warning{{This lock has already been unlocked}}  in bad15()
395 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This lock has already been destroyed}}  in bad17()
457 	pthread_mutex_unlock(&mtx1);		// no-warning  in bad26()
462   pthread_mutex_unlock(&mtx1);            // no-warning  in bad27()
467     pthread_mutex_unlock(&mtx1); // expected-warning{{This lock has already been destroyed}}  in bad27()
471   pthread_mutex_unlock(&mtx1);            // no-warning  in bad28()
481   pthread_mutex_unlock(&mtx1);           // no-warning  in bad29()
490   pthread_mutex_unlock(&mtx1);           // no-warning  in bad30()