Viewing file:  constexpr-array-ptr9.C (1.08 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
// 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));
|
