1 files changed, 80 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/c2x-empty-init-1.c b/gcc/testsuite/gcc.dg/c2x-empty-init-1.c
new file mode 100644
index 0000000..1487a2b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/c2x-empty-init-1.c
@@ -0,0 +1,80 @@
+/* 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);
+}