/* Test for types of conditional expressions. */
|
/* Test for types of conditional expressions. */
|
/* Origin: Joseph Myers <jsm28@cam.ac.uk> */
|
/* Origin: Joseph Myers <jsm28@cam.ac.uk> */
|
/* { dg-do compile } */
|
/* { dg-do compile } */
|
/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
|
/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
|
|
|
/* Notes:
|
/* Notes:
|
|
|
(a) The rules are the same in both C standard versions, but C99 also
|
(a) The rules are the same in both C standard versions, but C99 also
|
gives us the "restrict" qualifier to play with.
|
gives us the "restrict" qualifier to play with.
|
|
|
(b) Within the C standard, the value of a conditional expression can't
|
(b) Within the C standard, the value of a conditional expression can't
|
have qualified type - but nor can this be detected. Because of GCC's
|
have qualified type - but nor can this be detected. Because of GCC's
|
extended lvalues, the value may in GCC have qualified type if the
|
extended lvalues, the value may in GCC have qualified type if the
|
arguments do. So don't use the following macro with arguments of
|
arguments do. So don't use the following macro with arguments of
|
qualified type.
|
qualified type.
|
|
|
*/
|
*/
|
|
|
/* Assertion that the type of a conditional expression between E1 and E2
|
/* Assertion that the type of a conditional expression between E1 and E2
|
is T. Checks the expression both ways round. */
|
is T. Checks the expression both ways round. */
|
#define ASSERT_COND_TYPE(E1, E2, T) \
|
#define ASSERT_COND_TYPE(E1, E2, T) \
|
do { \
|
do { \
|
typedef T type; \
|
typedef T type; \
|
typedef type **typepp; \
|
typedef type **typepp; \
|
typedef __typeof(0 ? (E1) : (E2)) ctype; \
|
typedef __typeof(0 ? (E1) : (E2)) ctype; \
|
typedef __typeof(0 ? (E2) : (E1)) ctype2; \
|
typedef __typeof(0 ? (E2) : (E1)) ctype2; \
|
typedef ctype **ctypepp; \
|
typedef ctype **ctypepp; \
|
typedef ctype2 **ctype2pp; \
|
typedef ctype2 **ctype2pp; \
|
typepp x = 0; \
|
typepp x = 0; \
|
ctypepp y = 0; \
|
ctypepp y = 0; \
|
ctype2pp z = 0; \
|
ctype2pp z = 0; \
|
x = y; \
|
x = y; \
|
x = z; \
|
x = z; \
|
} while (0)
|
} while (0)
|
|
|
void
|
void
|
foo (void)
|
foo (void)
|
{
|
{
|
const void *c_vp;
|
const void *c_vp;
|
void *vp;
|
void *vp;
|
const int *c_ip;
|
const int *c_ip;
|
volatile int *v_ip;
|
volatile int *v_ip;
|
int *ip;
|
int *ip;
|
const char *c_cp;
|
const char *c_cp;
|
int *restrict *r_ipp;
|
int *restrict *r_ipp;
|
typedef void (*fpt)(void);
|
typedef void (*fpt)(void);
|
fpt fp;
|
fpt fp;
|
signed char sc;
|
signed char sc;
|
struct s { int p; } st;
|
struct s { int p; } st;
|
union u { int p; } un;
|
union u { int p; } un;
|
/* Arithmetic type. */
|
/* Arithmetic type. */
|
ASSERT_COND_TYPE (sc, sc, int);
|
ASSERT_COND_TYPE (sc, sc, int);
|
/* Structure and union. */
|
/* Structure and union. */
|
ASSERT_COND_TYPE (st, st, struct s);
|
ASSERT_COND_TYPE (st, st, struct s);
|
ASSERT_COND_TYPE (un, un, union u);
|
ASSERT_COND_TYPE (un, un, union u);
|
/* Void. */
|
/* Void. */
|
ASSERT_COND_TYPE ((void)0, (void)1, void);
|
ASSERT_COND_TYPE ((void)0, (void)1, void);
|
/* Pointers: examples from 6.5.15 paragraph 8. */
|
/* Pointers: examples from 6.5.15 paragraph 8. */
|
ASSERT_COND_TYPE (c_vp, c_ip, const void *);
|
ASSERT_COND_TYPE (c_vp, c_ip, const void *);
|
ASSERT_COND_TYPE (v_ip, 0, volatile int *);
|
ASSERT_COND_TYPE (v_ip, 0, volatile int *);
|
ASSERT_COND_TYPE (c_ip, v_ip, const volatile int *);
|
ASSERT_COND_TYPE (c_ip, v_ip, const volatile int *);
|
ASSERT_COND_TYPE (vp, c_cp, const void *);
|
ASSERT_COND_TYPE (vp, c_cp, const void *);
|
ASSERT_COND_TYPE (ip, c_ip, const int *);
|
ASSERT_COND_TYPE (ip, c_ip, const int *);
|
ASSERT_COND_TYPE (vp, ip, void *);
|
ASSERT_COND_TYPE (vp, ip, void *);
|
/* Null pointer constants. */
|
/* Null pointer constants. */
|
ASSERT_COND_TYPE (v_ip, (void *)0, volatile int *);
|
ASSERT_COND_TYPE (v_ip, (void *)0, volatile int *);
|
ASSERT_COND_TYPE (r_ipp, (void *)0, int *restrict *);
|
ASSERT_COND_TYPE (r_ipp, (void *)0, int *restrict *);
|
ASSERT_COND_TYPE (fp, 0, fpt);
|
ASSERT_COND_TYPE (fp, 0, fpt);
|
ASSERT_COND_TYPE (fp, (void *)0, fpt);
|
ASSERT_COND_TYPE (fp, (void *)0, fpt);
|
}
|
}
|
|
|
