1 files changed, 17 insertions, 0 deletions
diff --git a/kernel/tools/lib/lockdep/tests/ABCDBCDA.c b/kernel/tools/lib/lockdep/tests/ABCDBCDA.c
new file mode 100644
index 000000000..427ba562c
--- /dev/null
+++ b/kernel/tools/lib/lockdep/tests/ABCDBCDA.c
@@ -0,0 +1,17 @@
+#include <liblockdep/mutex.h>
+#include "common.h"
+
+void main(void)
+{
+	pthread_mutex_t a, b, c, d;
+
+	pthread_mutex_init(&a, NULL);
+	pthread_mutex_init(&b, NULL);
+	pthread_mutex_init(&c, NULL);
+	pthread_mutex_init(&d, NULL);
+
+	LOCK_UNLOCK_2(a, b);
+	LOCK_UNLOCK_2(c, d);
+	LOCK_UNLOCK_2(b, c);
+	LOCK_UNLOCK_2(d, a);
+}