93 	pthread_mutex_destroy(&mtx1);	// no-warning  in ok11()
99 	pthread_mutex_destroy(&mtx1);	// no-warning  in ok12()
100 	pthread_mutex_destroy(&mtx2);	// no-warning  in ok12()
107 	pthread_mutex_destroy(&mtx1);	// no-warning  in ok13()
114 	pthread_mutex_destroy(&mtx1);	// no-warning  in ok14()
116 	pthread_mutex_destroy(&mtx2);	// no-warning  in ok14()
124 	pthread_mutex_destroy(&mtx1);	// no-warning  in ok15()
143 	pthread_mutex_destroy(&mtx1);		// no-warning  in ok18()
150 	pthread_mutex_destroy(&mtx1);		// no-warning  in ok19()
152 	pthread_mutex_destroy(&mtx2);		// no-warning  in ok19()
160 	pthread_mutex_destroy(&mtx1);		// no-warning  in ok20()
162 	pthread_mutex_destroy(&mtx1);		// no-warning  in ok20()
181   if (pthread_mutex_destroy(&mtx1) != 0) // no-warning  in ok23()
182     pthread_mutex_destroy(&mtx1);        // no-warning  in ok23()
186   if (pthread_mutex_destroy(&mtx1) != 0) // no-warning  in ok24()
191   if (pthread_mutex_destroy(&mtx1) != 0) // no-warning  in ok25()
197   if (pthread_mutex_destroy(&mtx1) != 0) // no-warning  in ok26()
203   if (pthread_mutex_destroy(&mtx1) != 0) // no-warning  in ok27()
210   if (pthread_mutex_destroy(&mtx1) != 0) { // no-warning  in ok28()
213     pthread_mutex_destroy(&mtx1);          // no-warning  in ok28()
232   pthread_mutex_destroy(&local_mtx);  in ok30()
242   pthread_mutex_destroy(&local_mtx);  in ok31()
387 	pthread_mutex_destroy(&mtx1);	// no-warning  in bad16()
394 	pthread_mutex_destroy(&mtx1);	// no-warning  in bad17()
401 	pthread_mutex_destroy(&mtx1);	// no-warning  in bad18()
402 	pthread_mutex_destroy(&mtx1);	// expected-warning{{This lock has already been destroyed}}  in bad18()
409 	pthread_mutex_destroy(&mtx1);	// expected-warning{{This lock is still locked}}  in bad19()
463   int ret = pthread_mutex_destroy(&mtx1); // no-warning  in bad27()
472   int ret = pthread_mutex_destroy(&mtx1); // no-warning  in bad28()
482   if (pthread_mutex_destroy(&mtx1) != 0) // no-warning  in bad29()
491   if (pthread_mutex_destroy(&mtx1) != 0) // no-warning  in bad30()
494     pthread_mutex_destroy(&mtx1); // expected-warning{{This lock has already been destroyed}}  in bad30()
498   int ret = pthread_mutex_destroy(&mtx1); // no-warning  in bad31()