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;
8
9	pthread_mutex_init(&a, NULL);
10	pthread_mutex_init(&b, NULL);
11	pthread_mutex_init(&c, NULL);
12
13	LOCK_UNLOCK_2(a, b);
14	LOCK_UNLOCK_2(c, a);
15	LOCK_UNLOCK_2(b, c);
16
17	pthread_mutex_destroy(&c);
18	pthread_mutex_destroy(&b);
19	pthread_mutex_destroy(&a);
20}
21