typesafe_cb: fix promotable types being incorrectly accepted by cast_if_type.

[ccan] / ccan / typesafe_cb / test / compile_ok-typesafe_cb-vars.c

diff --git a/ccan/typesafe_cb/test/compile_ok-typesafe_cb-vars.c b/ccan/typesafe_cb/test/compile_ok-typesafe_cb-vars.c
new file mode 100644 (file)
index 0000000..ce0700b
--- /dev/null
+++ b/ccan/typesafe_cb/test/compile_ok-typesafe_cb-vars.c
@@ -0,0 +1,52 @@
+#include <ccan/typesafe_cb/typesafe_cb.h>
+#include <stdlib.h>
+
+/* const args in callbacks should be OK. */
+
+static void _register_callback(void (*cb)(void *arg), void *arg)
+{
+}
+
+#define register_callback(cb, arg)                             \
+       _register_callback(typesafe_cb(void, (cb), (arg)), (arg))
+
+static void _register_callback_pre(void (*cb)(int x, void *arg), void *arg)
+{
+}
+
+#define register_callback_pre(cb, arg)                                 \
+       _register_callback_pre(typesafe_cb_preargs(void, (cb), (arg), int), (arg))
+
+static void _register_callback_post(void (*cb)(void *arg, int x), void *arg)
+{
+}
+
+#define register_callback_post(cb, arg)                                        \
+       _register_callback_post(typesafe_cb_postargs(void, (cb), (arg), int), (arg))
+
+struct undefined;
+
+static void my_callback(const struct undefined *undef)
+{
+}
+
+static void my_callback_pre(int x, struct undefined *undef)
+{
+}
+
+static void my_callback_post(struct undefined *undef, int x)
+{
+}
+
+int main(int argc, char *argv[])
+{
+       struct undefined *handle = NULL;
+       void (*cb)(const struct undefined *undef) = my_callback;
+       void (*pre)(int x, struct undefined *undef) = my_callback_pre;
+       void (*post)(struct undefined *undef, int x) = my_callback_post;
+
+       register_callback(cb, handle);
+       register_callback_pre(pre, handle);
+       register_callback_post(post, handle);
+       return 0;
+}