gcc/testsuite/g++.dg/cpp1y/constexpr-array2.C

   1 // PR c++/69261
   2 // { dg-do run { target c++14 } }
   3
   4 typedef __SIZE_TYPE__ size_t;
   5
   6 template <size_t N>
   7 struct S
   8 {
   9   constexpr S() = default;
  10
  11   template<size_t M>
  12   constexpr S (char const (&d)[M]) : data { 0 }
  13   {
  14     static_assert (M <= N, "size!");
  15     for (size_t i = 0; i != M; i++)
  16       data[i] = d[i];
  17   }
  18   char data[N];
  19 };
  20
  21 template <int N>
  22 constexpr S<N>
  23 s (char const (&d)[N])
  24 {
  25   S<N> c {};
  26   for (size_t i = 0; i != N; i++)
  27     c.data[i] = d[i];
  28   return c;
  29 }
  30
  31 template <size_t N, size_t M>
  32 constexpr auto
  33 concat (S<N> const& s1, S<M> const& s2)
  34 {
  35   S<N+M-1> s (s1.data);
  36   for (size_t i = 0; i != M; i++)
  37     s.data[N + i - 1] = s2.data[i];
  38   return s;
  39 }
  40
  41 template <size_t N, size_t M>
  42 constexpr auto
  43 concat (char const (&x)[N], char const (&y)[M])
  44 {
  45   S<N+M-1> tmp { x };
  46   for (size_t i = 0; i != M; i++)
  47     tmp.data[N+i-1] = y[i];
  48   return tmp;
  49 }
  50
  51 int
  52 main ()
  53 {
  54   auto constexpr s1 = s ("bla");
  55   auto constexpr s2 = s ("blub");
  56   S<8> constexpr s1s2 = concat (s1, s2);
  57   auto constexpr c = concat ("bla", "blub");
  58   if (__builtin_strcmp (s1.data, "bla")
  59       || __builtin_strcmp (s2.data, "blub")
  60       || __builtin_strcmp (s1s2.data, "blablub")
  61       || __builtin_strcmp (c.data, "blablub"))
  62     __builtin_abort ();
  63 }