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