Typesafe callback infrastructure.

[ccan] / typesafe_cb / test / compile_fail-typesafe_cb_preargs.c

diff --git a/typesafe_cb/test/compile_fail-typesafe_cb_preargs.c b/typesafe_cb/test/compile_fail-typesafe_cb_preargs.c
new file mode 100644 (file)
index 0000000..ce1ada2
--- /dev/null
+++ b/typesafe_cb/test/compile_fail-typesafe_cb_preargs.c
@@ -0,0 +1,25 @@
+#include "typesafe_cb/typesafe_cb.h"
+#include <stdlib.h>
+
+static void _register_callback(void (*cb)(int x, void *arg), void *arg)
+{
+}
+
+#define register_callback(cb, arg)                             \
+       _register_callback(typesafe_cb_preargs(void, (cb), (arg), int), (arg))
+
+static void my_callback(int x, char *p)
+{
+}
+
+int main(int argc, char *argv[])
+{
+#ifdef FAIL
+       int *p;
+#else
+       char *p;
+#endif
+       p = NULL;
+       register_callback(my_callback, p);
+       return 0;
+}