18 pthread_mutex_t mtx1, mtx2;  variable
24 	pthread_mutex_lock(&mtx1); // no-warning  in ok1()
30 	pthread_mutex_unlock(&mtx1); // no-warning  in ok2()
36 	pthread_mutex_lock(&mtx1);	// no-warning  in ok3()
37 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok3()
38 	pthread_mutex_lock(&mtx1);	// no-warning  in ok3()
39 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok3()
45 	pthread_mutex_lock(&mtx1);	// no-warning  in ok4()
46 	pthread_mutex_unlock(&mtx1);	// no-warning  in ok4()
54 	if (pthread_mutex_trylock(&mtx1) == 0)	// no-warning  in ok5()
55 		pthread_mutex_unlock(&mtx1);	// no-warning  in ok5()
74 	pthread_mutex_lock(&mtx1);	// no-warning  in bad1()
75 	pthread_mutex_lock(&mtx1);	// expected-warning{{This lock has already been acquired}}  in bad1()
81 	pthread_mutex_lock(&mtx1);	// no-warning  in bad2()
82 	pthread_mutex_unlock(&mtx1);	// no-warning  in bad2()
83 	pthread_mutex_lock(&mtx1);	// no-warning  in bad2()
84 	pthread_mutex_lock(&mtx1);	// expected-warning{{This lock has already been acquired}}  in bad2()
90 	pthread_mutex_lock(&mtx1);	// no-warning  in bad3()
92 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This was not the most recently acquired lock}}  in bad3()
99 	if (pthread_mutex_trylock(&mtx1)) // no-warning  in bad4()
102 	pthread_mutex_unlock(&mtx1);	// expected-warning{{This was not the most recently acquired lock}}  in bad4()