gcc/testsuite/gcc.dg/gnu89-init-1.c

   1 /* Test for GNU extensions to compound literals */
   2 /* Origin: Jakub Jelinek <jakub@redhat.com> */
   3 /* { dg-do run } */
   4 /* { dg-options "-std=gnu89" } */
   5
   6 extern void abort (void);
   7 extern void exit (int);
   8
   9 struct A { int i; int j; int k[4]; };
  10 struct B { };
  11 struct C { int i; };
  12 struct D { int i; struct C j; };
  13
  14 /* As a GNU extension, we allow initialization of objects with static storage
  15    duration by compound literals.  It is handled as if the object
  16    was initialized only with the bracket enclosed list if compound literal's
  17    and object types match.  If the object being initialized has array type
  18    of unknown size, the size is determined by compound literal's initializer
  19    list, not by size of the compound literal.  */
  20
  21 struct A a = (struct A) { .j = 6, .k[2] = 12 };
  22 struct B b = (struct B) { };
  23 int c[] = (int []) { [2] = 6, 7, 8 };
  24 int d[] = (int [3]) { 1 };
  25 int e[2] = (int []) { 1, 2 };
  26 int f[2] = (int [2]) { 1 };
  27 struct C g[3] = { [2] = (struct C) { 13 }, [1] = (const struct C) { 12 } };
  28 struct D h = { .j = (struct C) { 15 }, .i = 14 };
  29 struct D i[2] = { [1].j = (const struct C) { 17 },
  30                   [0] = { 0, (struct C) { 16 } } };
  31 struct C j[2][3] = { [0 ... 1] = { [0 ... 2] = (struct C) { 26 } } };
  32 struct C k[3][2] = { [0 ... 2][0 ... 1] = (const struct C) { 27 } };
  33
  34 int main (void)
  35 {
  36   if (a.i || a.j != 6 || a.k[0] || a.k[1] || a.k[2] != 12 || a.k[3])
  37     abort ();
  38   if (c[0] || c[1] || c[2] != 6 || c[3] != 7 || c[4] != 8)
  39     abort ();
  40   if (sizeof (c) != 5 * sizeof (int))
  41     abort ();
  42   if (d[0] != 1 || d[1] || d[2])
  43     abort ();
  44   if (sizeof (d) != 3 * sizeof (int))
  45     abort ();
  46   if (e[0] != 1 || e[1] != 2)
  47     abort ();
  48   if (sizeof (e) != 2 * sizeof (int))
  49     abort ();
  50   if (f[0] != 1 || f[1])
  51     abort ();
  52   if (sizeof (f) != 2 * sizeof (int))
  53     abort ();
  54   if (g[0].i || g[1].i != 12 || g[2].i != 13)
  55     abort ();
  56   if (h.i != 14 || h.j.i != 15)
  57     abort ();
  58   if (i[0].i || i[0].j.i != 16 || i[1].i || i[1].j.i != 17)
  59     abort ();
  60   if (j[0][0].i != 26 || j[0][1].i != 26 || j[0][2].i != 26)
  61     abort ();
  62   if (j[1][0].i != 26 || j[1][1].i != 26 || j[1][2].i != 26)
  63     abort ();
  64   if (k[0][0].i != 27 || k[0][1].i != 27 || k[1][0].i != 27)
  65     abort ();
  66   if (k[1][1].i != 27 || k[2][0].i != 27 || k[2][1].i != 27)
  67     abort ();
  68   exit (0);
  69 }