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 fn1(const char * p)12fn1 (const char *p) 13 { 14 return *(p + 1); 15 } 16 17 constexpr char fn2(const char * p)18fn2 (const char *p) 19 { 20 return p[1]; 21 } 22 23 constexpr int fn3(const int * p)24fn3 (const int *p) 25 { 26 return *(p + 1); 27 } 28 29 constexpr int fn4(const int * p)30fn4 (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'); 66