111
|
1 // PR c++/65398
|
|
2 // { dg-do compile { target c++11 } }
|
|
3
|
|
4 #define SA(X) static_assert((X),#X)
|
|
5
|
|
6 constexpr char s[] = "abc";
|
|
7
|
|
8 SA((&s[0] + 0) == (&s[0] + 0));
|
|
9 SA((&s[0] + 1) == (&s[1] + 0));
|
|
10 SA((&s[0] + 2) == (&s[1] + 1));
|
|
11 SA((&s[0] + 3) == (&s[1] + 2));
|
|
12 SA((&s[0] + 4) == (&s[1] + 3));
|
|
13 SA((&s[2] + 0) == (&s[0] + 2));
|
|
14 SA((&s[2] + 1) == (&s[3] + 0));
|
|
15 SA((&s[2] + 2) == (&s[3] + 1));
|
|
16 SA((&s[4] + 0) == (&s[2] + 2));
|
|
17
|
|
18 SA((&s[0] + 0) != (&s[1] + 0));
|
|
19 SA((&s[0] + 2) != (&s[1] + 0));
|
|
20 SA((&s[2] + 0) != (&s[2] + 1));
|
|
21 SA((&s[1] + 1) != (&s[0] + 1));
|
|
22
|
|
23 constexpr int l[] = { 'c', 'd', 'e', '\0' };
|
|
24
|
|
25 SA((&l[0] + 0) == (&l[0] + 0));
|
|
26 SA((&l[0] + 1) == (&l[1] + 0));
|
|
27 SA((&l[0] + 2) == (&l[1] + 1));
|
|
28 SA((&l[0] + 3) == (&l[1] + 2));
|
|
29 SA((&l[0] + 4) == (&l[1] + 3));
|
|
30 SA((&l[2] + 0) == (&l[0] + 2));
|
|
31 SA((&l[2] + 1) == (&l[3] + 0));
|
|
32 SA((&l[2] + 2) == (&l[3] + 1));
|
|
33 SA((&l[4] + 0) == (&l[2] + 2));
|
|
34
|
|
35 SA((&l[0] + 0) != (&l[1] + 0));
|
|
36 SA((&l[0] + 2) != (&l[1] + 0));
|
|
37 SA((&l[2] + 0) != (&l[2] + 1));
|
|
38 SA((&l[1] + 1) != (&l[0] + 1));
|