184 	pthread_mutex_lock(&mtx1);	// expected-warning{{This lock has already been acquired}}  in bad1()
193 	pthread_mutex_lock(&mtx1);	// expected-warning{{This lock has already been acquired}}  in bad2()
218 	lck_mtx_lock(&lck1);	// expected-warning{{This lock has already been acquired}}  in bad5()
227 	lck_mtx_lock(&lck1);	// expected-warning{{This lock has already been acquired}}  in bad6()
252 	lck_mtx_unlock(&lck1);		// expected-warning{{This lock has already been unlocked}}  in bad9()
260 	lck_mtx_unlock(&lck1);		// expected-warning{{This lock has already been unlocked}}  in bad10()
266 	lck_mtx_unlock(lock);		// expected-warning{{This lock has already been unlocked}}  in bad11_sub()
285 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This lock has already been unlocked}}  in bad12()
295 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This lock has already been unlocked}}  in bad13()
305 	pthread_mutex_unlock(&mtx2);	// expected-warning{{This lock has already been unlocked}}  in bad14()
316 	pthread_mutex_unlock(&mtx2);	// expected-warning{{This lock has already been unlocked}}  in bad15()
323 	pthread_mutex_lock(&mtx1);	// expected-warning{{This lock has already been destroyed}}  in bad16()
330 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This lock has already been destroyed}}  in bad17()
337 	pthread_mutex_destroy(&mtx1);	// expected-warning{{This lock has already been destroyed}}  in bad18()
351 	lck_mtx_lock(&mtx1);		// expected-warning{{This lock has already been destroyed}}  in bad20()
358 	lck_mtx_unlock(&mtx1);		// expected-warning{{This lock has already been destroyed}}  in bad21()
365 	lck_mtx_destroy(&mtx1, &grp1);	// expected-warning{{This lock has already been destroyed}}  in bad22()
379 	pthread_mutex_init(&mtx1, NULL);	// expected-warning{{This lock has already been initialized}}  in bad24()
393 	pthread_mutex_init(&mtx1, NULL);	// expected-warning{{This lock has already been initialized}}  in bad26()