1// SPDX-License-Identifier: GPL-2.0
 2#include <liblockdep/mutex.h>
 3#include "common.h"
 4
 5void main(void)
 6{
 7	pthread_mutex_t a, b, c, d;
 8
 9	pthread_mutex_init(&a, NULL);
10	pthread_mutex_init(&b, NULL);
11	pthread_mutex_init(&c, NULL);
12	pthread_mutex_init(&d, NULL);
13
14	LOCK_UNLOCK_2(a, b);
15	LOCK_UNLOCK_2(c, d);
16	LOCK_UNLOCK_2(b, c);
17	LOCK_UNLOCK_2(d, a);
18
19	pthread_mutex_destroy(&d);
20	pthread_mutex_destroy(&c);
21	pthread_mutex_destroy(&b);
22	pthread_mutex_destroy(&a);
23}