// SPDX-License-Identifier: GPL-2.0
#include <liblockdep/rwlock.h>

void main(void)
{
	pthread_rwlock_t a, b;

	pthread_rwlock_init(&a, NULL);
	pthread_rwlock_init(&b, NULL);

	pthread_rwlock_wrlock(&a);
	pthread_rwlock_rdlock(&b);
	pthread_rwlock_wrlock(&a);
}