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