7 pthread_mutex_t mtx1, mtx2;  variable
17 	pthread_mutex_lock(&mtx1); // no-warning  in ok1()
23 	pthread_mutex_unlock(&mtx1); // no-warning  in ok2()
29 	pthread_mutex_lock(&mtx1);	// no-warning  in ok3()
30 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok3()
31 	pthread_mutex_lock(&mtx1);	// no-warning  in ok3()
32 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok3()
38 	pthread_mutex_lock(&mtx1);	// no-warning  in ok4()
39 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok4()
47 	if (pthread_mutex_trylock(&mtx1) == 0)	// no-warning  in ok5()
48 		pthread_mutex_unlock(&mtx1);	// no-warning  in ok5()
67 	pthread_mutex_lock(&mtx1);	// no-warning  in ok8()
70 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok8()
76 	pthread_mutex_unlock(&mtx1);		// no-warning  in ok9()
77 	if (pthread_mutex_trylock(&mtx1) == 0)	// no-warning  in ok9()
78 		pthread_mutex_unlock(&mtx1);	// no-warning  in ok9()
84 	if (pthread_mutex_trylock(&mtx1) != 0)	// no-warning  in ok10()
85 		pthread_mutex_lock(&mtx1);	// no-warning  in ok10()
86 	pthread_mutex_unlock(&mtx1);		// no-warning  in ok10()
92 	pthread_mutex_destroy(&mtx1);	// no-warning  in ok11()
98 	pthread_mutex_destroy(&mtx1);	// no-warning  in ok12()
105 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok13()
106 	pthread_mutex_destroy(&mtx1);	// no-warning  in ok13()
112 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok14()
113 	pthread_mutex_destroy(&mtx1);	// no-warning  in ok14()
121 	pthread_mutex_lock(&mtx1);	// no-warning  in ok15()
122 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok15()
123 	pthread_mutex_destroy(&mtx1);	// no-warning  in ok15()
129 	pthread_mutex_init(&mtx1, NULL);	// no-warning  in ok16()
135 	pthread_mutex_init(&mtx1, NULL);	// no-warning  in ok17()
142 	pthread_mutex_destroy(&mtx1);		// no-warning  in ok18()
143 	pthread_mutex_init(&mtx1, NULL);	// no-warning  in ok18()
149 	pthread_mutex_destroy(&mtx1);		// no-warning  in ok19()
150 	pthread_mutex_init(&mtx1, NULL);	// no-warning  in ok19()
158 	pthread_mutex_unlock(&mtx1);		// no-warning  in ok20()
159 	pthread_mutex_destroy(&mtx1);		// no-warning  in ok20()
160 	pthread_mutex_init(&mtx1, NULL);	// no-warning  in ok20()
161 	pthread_mutex_destroy(&mtx1);		// no-warning  in ok20()
162 	pthread_mutex_init(&mtx1, NULL);	// no-warning  in ok20()
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()
191 	pthread_mutex_unlock(&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()
201 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This was not the most recently acquired lock}}  in bad3()
208 	if (pthread_mutex_trylock(&mtx1)) // no-warning  in bad4()
211 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This was not the most recently acquired lock}}  in bad4()
281 	pthread_mutex_lock(&mtx1);	// no-warning  in bad12()
282 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad12()
283 	pthread_mutex_lock(&mtx1);	// no-warning  in bad12()
284 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad12()
285 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This lock has already been unlocked}}  in bad12()
291 	pthread_mutex_lock(&mtx1);	// no-warning  in bad13()
292 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad13()
295 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This lock has already been unlocked}}  in bad13()
301 	pthread_mutex_lock(&mtx1);	// no-warning  in bad14()
304 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad14()
311 	pthread_mutex_lock(&mtx1);	// no-warning  in bad15()
314 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad15()
315 	pthread_mutex_lock(&mtx1);	// no-warning  in bad15()
322 	pthread_mutex_destroy(&mtx1);	// no-warning  in bad16()
323 	pthread_mutex_lock(&mtx1);	// expected-warning{{This lock has already been destroyed}}  in bad16()
329 	pthread_mutex_destroy(&mtx1);	// no-warning  in bad17()
330 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This lock has already been destroyed}}  in bad17()
336 	pthread_mutex_destroy(&mtx1);	// no-warning  in bad18()
337 	pthread_mutex_destroy(&mtx1);	// expected-warning{{This lock has already been destroyed}}  in bad18()
343 	pthread_mutex_lock(&mtx1);	// no-warning  in bad19()
344 	pthread_mutex_destroy(&mtx1);	// expected-warning{{This lock is still locked}}  in bad19()
350 	lck_mtx_destroy(&mtx1, &grp1);	// no-warning  in bad20()
351 	lck_mtx_lock(&mtx1);		// expected-warning{{This lock has already been destroyed}}  in bad20()
357 	lck_mtx_destroy(&mtx1, &grp1);	// no-warning  in bad21()
358 	lck_mtx_unlock(&mtx1);		// expected-warning{{This lock has already been destroyed}}  in bad21()
364 	lck_mtx_destroy(&mtx1, &grp1);	// no-warning  in bad22()
365 	lck_mtx_destroy(&mtx1, &grp1);	// expected-warning{{This lock has already been destroyed}}  in bad22()
371 	lck_mtx_lock(&mtx1);		// no-warning  in bad23()
372 	lck_mtx_destroy(&mtx1, &grp1);	// expected-warning{{This lock is still locked}}  in bad23()
378 	pthread_mutex_init(&mtx1, NULL);	// no-warning  in bad24()
379 	pthread_mutex_init(&mtx1, NULL);	// expected-warning{{This lock has already been initialized}}  in bad24()
385 	pthread_mutex_lock(&mtx1);		// no-warning  in bad25()
386 	pthread_mutex_init(&mtx1, NULL);	// expected-warning{{This lock is still being held}}  in bad25()
392 	pthread_mutex_unlock(&mtx1);		// no-warning  in bad26()
393 	pthread_mutex_init(&mtx1, NULL);	// expected-warning{{This lock has already been initialized}}  in bad26()