e079dced7a
* constexpr.c (instantiate_cx_fn_r, instantiate_constexpr_fns): New. (cxx_eval_outermost_constant_expr): Call instantiate_constexpr_fns. From-SVN: r261086
14 lines
618 B
C
14 lines
618 B
C
// Testcase from P0859
|
|
// { dg-do compile { target c++14 } }
|
|
|
|
template<typename T> constexpr int f() { return T::value; } // { dg-error "int" }
|
|
template<bool B, typename T> void g(decltype(B ? f<T>() : 0));
|
|
template<bool B, typename T> void g(...);
|
|
template<bool B, typename T> void h(decltype(int{B ? f<T>() : 0}));
|
|
template<bool B, typename T> void h(...);
|
|
void x() {
|
|
g<false, int>(0); // OK, B ? f<T>() : 0 is not potentially constant evaluated
|
|
h<false, int>(0); // error, instantiates f<int> even though B evaluates to false and
|
|
// list-initialization of int from int cannot be narrowing
|
|
}
|