Typesafe callback infrastructure.

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

diff --git a/typesafe_cb/test/compile_fail-cast_if_type.c b/typesafe_cb/test/compile_fail-cast_if_type.c
new file mode 100644 (file)
index 0000000..2ab3fa2
--- /dev/null
+++ b/typesafe_cb/test/compile_fail-cast_if_type.c
@@ -0,0 +1,22 @@
+#include "typesafe_cb/typesafe_cb.h"
+
+void _set_some_value(void *val);
+
+void _set_some_value(void *val)
+{
+}
+
+#define set_some_value(expr)                                           \
+       _set_some_value(cast_if_type((expr), unsigned long, void *))
+
+int main(int argc, char *argv[])
+{
+#ifdef FAIL
+       int x = 0;
+       set_some_value(x);
+#else
+       void *p = 0;
+       set_some_value(p);
+#endif
+       return 0;
+}