1 // PR c++/67376 - [5/6 regression] Comparison with pointer to past-the-end
2 // of array fails inside constant expression
3 // { dg-do compile { target c++11 } }
4
5 int a [2];
6
7 constexpr const int* pa[] = {
8 a,
9 a + 0,
10 a + 1,
11 a + 2,
12 &a [0],
13 &a [0] + 0,
14 &a [0] + 1,
15 &a [0] + 2,
16 &a [1],
17 &a [1] - 1,
18 &a [1] + 0,
19 &a [1] + 1,
20 &a [2] - 2,
21 &a [2] - 1,
22 &a [2] + 0
23 };
24
25 #define Assert(e) static_assert ((e), #e)
26
27 Assert (!(a == 0));
28 Assert (!(a == (int*)0));
29 Assert (!(a == nullptr));
30
31 Assert (a != 0);
32 Assert (a != (int*)0);
33 Assert (a != nullptr);
34
35 Assert (!(0 == a));
36 Assert (!((int*)0 == a));
37 Assert (!(nullptr == a));
38
39 Assert (0 != a);
40 Assert ((int*)0 != a);
41 Assert (nullptr != a);
42
test_eq(unsigned inx)43 bool constexpr test_eq (unsigned inx)
44 {
45 return inx ? pa [inx - 1] == 0 && 0 == pa [inx - 1]
46 && test_eq (inx - 1) : pa [inx] == 0 && 0 == pa [inx];
47 }
48
49 Assert (!test_eq (sizeof pa / sizeof *pa));
50
test_ne(unsigned inx)51 bool constexpr test_ne (unsigned inx)
52 {
53 return inx ? pa [inx - 1] != 0 && 0 != pa [inx - 1]
54 && test_ne (inx - 1) : pa [inx] != 0 && 0 != pa [inx];
55 }
56
57 Assert (test_ne (sizeof pa / sizeof *pa));
58