/* Test for non-lvalue arrays decaying to pointers: in C99 only. */
|
/* Test for non-lvalue arrays decaying to pointers: in C99 only. */
|
/* Origin: Joseph Myers <jsm28@cam.ac.uk> */
|
/* Origin: Joseph Myers <jsm28@cam.ac.uk> */
|
/* { dg-do compile } */
|
/* { dg-do compile } */
|
/* { dg-options "-std=iso9899:1990 -pedantic-errors" } */
|
/* { dg-options "-std=iso9899:1990 -pedantic-errors" } */
|
|
|
struct s { char c[17]; };
|
struct s { char c[17]; };
|
|
|
struct s x;
|
struct s x;
|
|
|
extern struct s foo (void);
|
extern struct s foo (void);
|
|
|
#define ASSERT(v, a) char v[((a) ? 1 : -1)]
|
#define ASSERT(v, a) char v[((a) ? 1 : -1)]
|
|
|
ASSERT (p, sizeof (x.c) == 17);
|
ASSERT (p, sizeof (x.c) == 17);
|
ASSERT (q, sizeof (0, x.c) == sizeof (char *));
|
ASSERT (q, sizeof (0, x.c) == sizeof (char *));
|
ASSERT (r, sizeof ((foo ()).c) == 17);
|
ASSERT (r, sizeof ((foo ()).c) == 17);
|
/* The non-lvalue array does not decay to a pointer, so the comma expression
|
/* The non-lvalue array does not decay to a pointer, so the comma expression
|
has (non-lvalue) array type.
|
has (non-lvalue) array type.
|
*/
|
*/
|
ASSERT (s, sizeof (0, (foo ()).c) == 17); /* { dg-bogus "array" "bad non-lvalue array handling" } */
|
ASSERT (s, sizeof (0, (foo ()).c) == 17); /* { dg-bogus "array" "bad non-lvalue array handling" } */
|
|
|
