87fbd5347b
[expr.const] specifically rules out mentioning a reference even if its address is never used, because it implies indirection that is similarly non-constant for a pointer variable. PR c++/66477 * constexpr.c (cxx_eval_constant_expression) [PARM_DECL]: Don't defer loading the value of a reference.
19 lines
508 B
C
19 lines
508 B
C
// { dg-do compile { target c++11 } }
|
|
|
|
typedef decltype(sizeof(char)) size_type;
|
|
|
|
template<class T, size_type N>
|
|
constexpr size_type size(T (&)[N]) { return N; }
|
|
|
|
double array_double[] = { 1.0, 2.0, 3.0 };
|
|
|
|
constexpr auto sz_d = size(array_double);
|
|
|
|
static_assert(sz_d == 3, "Array size failure");
|
|
|
|
void f(bool (¶m)[2]) {
|
|
static_assert(size(param) == 2, "Array size failure"); // { dg-error "" }
|
|
short data[] = {-1, 2, -45, 6, 88, 99, -345};
|
|
static_assert(size(data) == 7, "Array size failure");
|
|
}
|