gcc/testsuite/g++.dg/cpp1y/pr70001.C

   1 // PR c++/70001
   2 // { dg-do compile { target c++14 } }
   3
   4 struct B
   5 {
   6   int a;
   7   constexpr B () : a (0) { }
   8   constexpr B (int x) : a (x) { }
   9 };
  10 struct C
  11 {
  12   B c;
  13   constexpr C () : c (0) { }
  14 };
  15 struct A
  16 {
  17   B b[1 << 4];
  18 };
  19 struct D
  20 {
  21   C d[1 << 4];
  22 };
  23
  24 constexpr int
  25 foo (int a, int b)
  26 {
  27   A c;
  28   c.b[a].a += b;
  29   c.b[b].a += a;
  30   return c.b[0].a + c.b[a].a + c.b[b].a;
  31 }
  32
  33 constexpr int
  34 bar (int a, int b)
  35 {
  36   D c;
  37   c.d[a].c.a += b;
  38   c.d[b].c.a += a;
  39   return c.d[0].c.a + c.d[a].c.a + c.d[b].c.a;
  40 }
  41
  42 constexpr int d = foo (1, 2);
  43 constexpr int e = foo (0, 3);
  44 constexpr int f = foo (2, 4);
  45 constexpr int g = bar (1, 2);
  46 constexpr int h = bar (0, 3);
  47 constexpr int i = bar (2, 4);
  48 static_assert (d == 3 && e == 6 && f == 6, "");
  49 static_assert (g == 3 && h == 6 && i == 6, "");