blob: 1487a2b23ab98ccd6ebb0dc4ca13891a2d25dd72 [file] [log] [blame]
/* Test C2X support for empty initializers: valid use cases. */
/* { dg-do run } */
/* { dg-options "-std=c2x -pedantic-errors" } */
extern void exit (int);
extern void abort (void);
struct s { int a; };
struct s s = {};
int x = {};
float y = {};
void *p = {};
union u { int a; long b; };
union u z = {};
int aa[2] = {};
void
f (int a)
{
volatile int vla[a] = {};
struct s as = {};
int ax = {};
float ay = {};
void *ap = {};
union u az = {};
int aaa[2] = {};
for (int i = 0; i < a; i++)
if (vla[i] != 0)
abort ();
if (as.a != 0)
abort ();
if (ax != 0)
abort ();
if (ay != 0)
abort ();
if (ap != 0)
abort ();
if (az.a != 0)
abort ();
if (aaa[0] != 0)
abort ();
if (aaa[1] != 0)
abort ();
if ((int) {} != 0)
abort ();
if ((float) {} != 0)
abort ();
if ((struct s) {}.a != 0)
abort ();
if ((union u) {}.a != 0)
abort ();
if ((int [5]) {}[2] != 0)
abort ();
/* Overwrite contents of vla before second call to make it more likely stack
contents are nonzero if proper initialization did not occur. */
for (int i = 0; i < a; i++)
vla[i] = -1;
}
int
main (void)
{
f (100);
f (100);
if (s.a != 0)
abort ();
if (x != 0)
abort ();
if (y != 0)
abort ();
if (p != 0)
abort ();
if (z.a != 0)
abort ();
if (aa[0] != 0)
abort ();
if (aa[1] != 0)
abort ();
exit (0);
}