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, d); 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} 24