gcc/testsuite/g++.dg/cpp0x/constexpr-fold1.C

   1 // PR c++/65642
   2 // { dg-do compile { target c++11 } }
   3
   4 // Check we're able to evaluate these.
   5
   6 #define SA(X) static_assert((X),#X)
   7
   8 constexpr char s[] = "abc";
   9 constexpr int t[] = { 'a', 'b', 'c', '\0' };
  10
  11 constexpr char
  12 fn1 (const char *p)
  13 {
  14   return *(p + 1);
  15 }
  16
  17 constexpr char
  18 fn2 (const char *p)
  19 {
  20   return p[1];
  21 }
  22
  23 constexpr int
  24 fn3 (const int *p)
  25 {
  26   return *(p + 1);
  27 }
  28
  29 constexpr int
  30 fn4 (const int *p)
  31 {
  32   return p[1];
  33 }
  34
  35 constexpr auto c1 = fn1 (&s[0]);
  36 constexpr auto c2 = fn1 (&s[1]);
  37 constexpr auto c3 = fn1 (&s[2]);
  38
  39 SA (c1 == 'b');
  40 SA (c2 == 'c');
  41 SA (c3 == '\0');
  42
  43 constexpr auto d1 = fn2 (&s[0]);
  44 constexpr auto d2 = fn2 (&s[1]);
  45 constexpr auto d3 = fn2 (&s[2]);
  46
  47 SA (d1 == 'b');
  48 SA (d2 == 'c');
  49 SA (d3 == '\0');
  50
  51 constexpr auto e1 = fn3 (&t[0]);
  52 constexpr auto e2 = fn3 (&t[1]);
  53 constexpr auto e3 = fn3 (&t[2]);
  54
  55 SA (e1 == 'b');
  56 SA (e2 == 'c');
  57 SA (e3 == '\0');
  58
  59 constexpr auto f1 = fn4 (&t[0]);
  60 constexpr auto f2 = fn4 (&t[1]);
  61 constexpr auto f3 = fn4 (&t[2]);
  62
  63 SA (f1 == 'b');
  64 SA (f2 == 'c');
  65 SA (f3 == '\0');