1 files changed, 18 insertions, 0 deletions
diff --git a/cmp_rev_intptrp.c b/cmp_rev_intptrp.c
new file mode 100644
index 0000000..6dcd8af
--- /dev/null
+++ b/cmp_rev_intptrp.c
@@ -0,0 +1,18 @@
+/* See LICENSE file for copyright and license details. */
+#include "common.h"
+#ifndef TEST
+
+
+extern inline int libsimple_cmp_rev_intptrp(const intptr_t *, const intptr_t *);
+
+
+#else
+#include "test.h"
+
+int
+main(void)
+{
+	return 0;
+}
+
+#endif