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