#define ASSERT_COND_TYPE(E1, E2, T) \
do { \
typedef T type; \
typedef type **typepp; \
typedef __typeof(0 ? (E1) : (E2)) ctype; \
typedef __typeof(0 ? (E2) : (E1)) ctype2; \
typedef ctype **ctypepp; \
typedef ctype2 **ctype2pp; \
typepp x = 0; \
ctypepp y = 0; \
ctype2pp z = 0; \
x = y; \
x = z; \
} while (0)
void
foo (void)
{
const void *c_vp;
void *vp;
const int *c_ip;
volatile int *v_ip;
int *ip;
const char *c_cp;
int *restrict *r_ipp;
typedef void (*fpt)(void);
fpt fp;
signed char sc;
struct s { int p; } st;
union u { int p; } un;
ASSERT_COND_TYPE (sc, sc, int);
ASSERT_COND_TYPE (st, st, struct s);
ASSERT_COND_TYPE (un, un, union u);
ASSERT_COND_TYPE ((void)0, (void)1, void);
ASSERT_COND_TYPE (c_vp, c_ip, const void *);
ASSERT_COND_TYPE (v_ip, 0, volatile int *);
ASSERT_COND_TYPE (c_ip, v_ip, const volatile int *);
ASSERT_COND_TYPE (vp, c_cp, const void *);
ASSERT_COND_TYPE (ip, c_ip, const int *);
ASSERT_COND_TYPE (vp, ip, void *);
ASSERT_COND_TYPE (v_ip, (void *)0, volatile int *);
ASSERT_COND_TYPE (r_ipp, (void *)0, int *restrict *);
ASSERT_COND_TYPE (fp, 0, fpt);
ASSERT_COND_TYPE (fp, (void *)0, fpt);
}