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