1// SPDX-License-Identifier: GPL-2.0
 2#include <liblockdep/mutex.h>
 3
 4void main(void)
 5{
 6	pthread_mutex_t a, b;
 7
 8	pthread_mutex_init(&a, NULL);
 9	pthread_mutex_init(&b, NULL);
10
11	pthread_mutex_lock(&a);
12	pthread_mutex_lock(&b);
13	pthread_mutex_lock(&a);
14}

 
 1#include <liblockdep/mutex.h>
 2
 3void main(void)
 4{
 5	pthread_mutex_t a, b;
 6
 7	pthread_mutex_init(&a, NULL);
 8	pthread_mutex_init(&b, NULL);
 9
10	pthread_mutex_lock(&a);
11	pthread_mutex_lock(&b);
12	pthread_mutex_lock(&a);
13}