7 pthread_mutex_t mtx1, mtx2;  variable
40 	pthread_mutex_lock(&mtx2);	// no-warning  in ok4()
41 	pthread_mutex_unlock(&mtx2);	// no-warning  in ok4()
68 	pthread_mutex_lock(&mtx2);	// no-warning  in ok8()
69 	pthread_mutex_unlock(&mtx2);	// no-warning  in ok8()
99 	pthread_mutex_destroy(&mtx2);	// no-warning  in ok12()
114 	pthread_mutex_unlock(&mtx2);	// no-warning  in ok14()
115 	pthread_mutex_destroy(&mtx2);	// no-warning  in ok14()
136 	pthread_mutex_init(&mtx2, NULL);	// no-warning  in ok17()
151 	pthread_mutex_destroy(&mtx2);		// no-warning  in ok19()
152 	pthread_mutex_init(&mtx2, NULL);	// no-warning  in ok19()
200 	pthread_mutex_lock(&mtx2);	// no-warning  in bad3()
202 	pthread_mutex_unlock(&mtx2);  in bad3()
210 	pthread_mutex_lock(&mtx2);	// no-warning  in bad4()
293 	pthread_mutex_lock(&mtx2);	// no-warning  in bad13()
294 	pthread_mutex_unlock(&mtx2);	// no-warning  in bad13()
302 	pthread_mutex_lock(&mtx2);	// no-warning  in bad14()
303 	pthread_mutex_unlock(&mtx2);	// no-warning  in bad14()
305 	pthread_mutex_unlock(&mtx2);	// expected-warning{{This lock has already been unlocked}}  in bad14()
312 	pthread_mutex_lock(&mtx2);	// no-warning  in bad15()
313 	pthread_mutex_unlock(&mtx2);	// no-warning  in bad15()
316 	pthread_mutex_unlock(&mtx2);	// expected-warning{{This lock has already been unlocked}}  in bad15()