17 	pthread_mutex_lock(&mtx1); // no-warning  in ok1()
29 	pthread_mutex_lock(&mtx1);	// no-warning  in ok3()
31 	pthread_mutex_lock(&mtx1);	// no-warning  in ok3()
38 	pthread_mutex_lock(&mtx1);	// no-warning  in ok4()
40 	pthread_mutex_lock(&mtx2);	// no-warning  in ok4()
67 	pthread_mutex_lock(&mtx1);	// no-warning  in ok8()
68 	pthread_mutex_lock(&mtx2);	// no-warning  in ok8()
85 		pthread_mutex_lock(&mtx1);	// no-warning  in ok10()
121 	pthread_mutex_lock(&mtx1);	// no-warning  in ok15()
167   pthread_mutex_lock(pmtx);    // no-warning  in ok21()
173   pthread_mutex_lock(pmtx);    // no-warning  in ok22()
175   pthread_mutex_lock(pmtx);    // no-warning  in ok22()
183 	pthread_mutex_lock(&mtx1);	// no-warning  in bad1()
184 	pthread_mutex_lock(&mtx1);	// expected-warning{{This lock has already been acquired}}  in bad1()
190 	pthread_mutex_lock(&mtx1);	// no-warning  in bad2()
192 	pthread_mutex_lock(&mtx1);	// no-warning  in bad2()
193 	pthread_mutex_lock(&mtx1);	// expected-warning{{This lock has already been acquired}}  in bad2()
199 	pthread_mutex_lock(&mtx1);	// no-warning  in bad3()
200 	pthread_mutex_lock(&mtx2);	// no-warning  in bad3()
210 	pthread_mutex_lock(&mtx2);	// no-warning  in bad4()
281 	pthread_mutex_lock(&mtx1);	// no-warning  in bad12()
283 	pthread_mutex_lock(&mtx1);	// no-warning  in bad12()
291 	pthread_mutex_lock(&mtx1);	// no-warning  in bad13()
293 	pthread_mutex_lock(&mtx2);	// no-warning  in bad13()
301 	pthread_mutex_lock(&mtx1);	// no-warning  in bad14()
302 	pthread_mutex_lock(&mtx2);	// no-warning  in bad14()
311 	pthread_mutex_lock(&mtx1);	// no-warning  in bad15()
312 	pthread_mutex_lock(&mtx2);	// no-warning  in bad15()
315 	pthread_mutex_lock(&mtx1);	// no-warning  in bad15()
323 	pthread_mutex_lock(&mtx1);	// expected-warning{{This lock has already been destroyed}}  in bad16()
343 	pthread_mutex_lock(&mtx1);	// no-warning  in bad19()
385 	pthread_mutex_lock(&mtx1);		// no-warning  in bad25()