summaryrefslogtreecommitdiff
path: root/lib/ccan/typesafe_cb/test/compile_fail-typesafe_cb_exact.c
blob: 0f61d5decd5d3a45302c617377e56afbf18fef0b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
#include <ccan/typesafe_cb/typesafe_cb.h>
#include <stdlib.h>

static void _register_callback(void (*cb)(void *arg), const void *arg)
{
}

#define register_callback(cb, arg)				\
	_register_callback(typesafe_cb_exact(void, (cb), (arg)), (arg))

static void my_callback(const char *p)
{
}

int main(int argc, char *argv[])
{
#ifdef FAIL
	char *p;
#if !HAVE_TYPEOF||!HAVE_BUILTIN_CHOOSE_EXPR||!HAVE_BUILTIN_TYPES_COMPATIBLE_P
#error "Unfortunately we don't fail if cast_if_type is a noop."
#endif
#else
	const char *p;
#endif
	p = NULL;

	/* This should work always. */
	register_callback(my_callback, (const char *)"hello world");

	/* This will fail with FAIL defined */
	register_callback(my_callback, p);
	return 0;
}