18 	pthread_mutex_lock(&mtx1); // no-warning  in ok1()
30 	pthread_mutex_lock(&mtx1);	// no-warning  in ok3()
32 	pthread_mutex_lock(&mtx1);	// no-warning  in ok3()
39 	pthread_mutex_lock(&mtx1);	// no-warning  in ok4()
41 	pthread_mutex_lock(&mtx2);	// no-warning  in ok4()
68 	pthread_mutex_lock(&mtx1);	// no-warning  in ok8()
69 	pthread_mutex_lock(&mtx2);	// no-warning  in ok8()
86 		pthread_mutex_lock(&mtx1);	// no-warning  in ok10()
122 	pthread_mutex_lock(&mtx1);	// no-warning  in ok15()
168   pthread_mutex_lock(pmtx);    // no-warning  in ok21()
174   pthread_mutex_lock(pmtx);    // no-warning  in ok22()
176   pthread_mutex_lock(pmtx);    // no-warning  in ok22()
187     pthread_mutex_lock(&mtx1);           // no-warning  in ok24()
198     pthread_mutex_lock(&mtx1);           // no-warning  in ok26()
204     pthread_mutex_lock(&mtx1);           // no-warning  in ok27()
211     pthread_mutex_lock(&mtx1);             // no-warning  in ok28()
228   pthread_mutex_lock(&local_mtx);  in ok30()
230   pthread_mutex_lock(&local_mtx); // no-warning  in ok30()
238   pthread_mutex_lock(&local_mtx);  in ok31()
240   pthread_mutex_lock(&local_mtx); // no-warning  in ok31()
248 	pthread_mutex_lock(&mtx1);	// no-warning  in bad1()
249 	pthread_mutex_lock(&mtx1);	// expected-warning{{This lock has already been acquired}}  in bad1()
255 	pthread_mutex_lock(&mtx1);	// no-warning  in bad2()
257 	pthread_mutex_lock(&mtx1);	// no-warning  in bad2()
258 	pthread_mutex_lock(&mtx1);	// expected-warning{{This lock has already been acquired}}  in bad2()
264 	pthread_mutex_lock(&mtx1);	// no-warning  in bad3()
265 	pthread_mutex_lock(&mtx2);	// no-warning  in bad3()
275 	pthread_mutex_lock(&mtx2);	// no-warning  in bad4()
346 	pthread_mutex_lock(&mtx1);	// no-warning  in bad12()
348 	pthread_mutex_lock(&mtx1);	// no-warning  in bad12()
356 	pthread_mutex_lock(&mtx1);	// no-warning  in bad13()
358 	pthread_mutex_lock(&mtx2);	// no-warning  in bad13()
366 	pthread_mutex_lock(&mtx1);	// no-warning  in bad14()
367 	pthread_mutex_lock(&mtx2);	// no-warning  in bad14()
376 	pthread_mutex_lock(&mtx1);	// no-warning  in bad15()
377 	pthread_mutex_lock(&mtx2);	// no-warning  in bad15()
380 	pthread_mutex_lock(&mtx1);	// no-warning  in bad15()
388 	pthread_mutex_lock(&mtx1);	// expected-warning{{This lock has already been destroyed}}  in bad16()
408 	pthread_mutex_lock(&mtx1);	// no-warning  in bad19()
450 	pthread_mutex_lock(&mtx1);		// no-warning  in bad25()
465     pthread_mutex_lock(&mtx1);            // no-warning  in bad27()
474     pthread_mutex_lock(&mtx1);            // no-warning  in bad28()
476     pthread_mutex_lock(&mtx1); // expected-warning{{This lock has already been destroyed}}  in bad28()
480   pthread_mutex_lock(&mtx1);             // no-warning  in bad29()
489   pthread_mutex_lock(&mtx1);             // no-warning  in bad30()
499 …pthread_mutex_lock(&mtx1);              // expected-warning{{This lock has already been destroyed}}  in bad31()
501     pthread_mutex_lock(&mtx1);  in bad31()
512   pthread_mutex_lock(pmtx);  in bad33()
514   pthread_mutex_lock(pmtx); // expected-warning{{This lock has already been acquired}}  in bad33()