f2acb8ad43
PR c++/63885 * constexpr.c (cxx_eval_constant_expression) [PARM_DECL]: Don't complain yet about a reference. [TARGET_EXPR]: Handle TARGET_EXPR with addr == true. [ADDR_EXPR]: Make sure we don't take the address of a CONSTRUCTOR. (cxx_bind_parameters_in_call): In the new scheme addr is always false. * typeck.c (build_address): Don't take the address of a CONSTRUCTOR. From-SVN: r217815
62 lines
2.0 KiB
C
62 lines
2.0 KiB
C
// PR c++/63885
|
|
// { dg-do compile { target c++11 } }
|
|
|
|
template<class T> struct remove_reference { typedef T type; };
|
|
template<class T> struct remove_reference<T&> { typedef T type; };
|
|
template<class T> struct remove_reference<T&&> { typedef T type; };
|
|
|
|
template<class T> struct is_lvalue_reference { static const bool value = false; };
|
|
template<class T> struct is_lvalue_reference<T&> { static const bool value = true; };
|
|
|
|
template <bool B, class U, class V> struct conditional;
|
|
template <class U, class V> struct conditional<true, U, V> { typedef U type; };
|
|
template <class U, class V> struct conditional<false, U, V> { typedef V type; };
|
|
|
|
template<typename _Tp> constexpr _Tp&&
|
|
forward(typename remove_reference<_Tp>::type& __t) noexcept
|
|
{ return static_cast<_Tp&&>(__t); }
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
template <typename C> struct member_forward
|
|
{
|
|
typedef typename remove_reference <C>::type::type T;
|
|
typedef typename conditional
|
|
<
|
|
is_lvalue_reference <C &&>::value,
|
|
T&,
|
|
T
|
|
>::type type;
|
|
};
|
|
|
|
template <typename C> using member_forward_t = typename member_forward <C>::type;
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
template <int , typename > struct __get;
|
|
template < typename T> struct __get <0, T>
|
|
{
|
|
constexpr static auto value (T arg)
|
|
-> decltype ((forward <member_forward_t <T>> (arg.t)))
|
|
{
|
|
return forward <member_forward_t <T>> (arg.t);
|
|
}
|
|
};
|
|
|
|
template <int N, typename T> constexpr auto get (T && arg)
|
|
-> decltype (__get <N, T &&>::value (forward <T> (arg)))
|
|
{
|
|
return __get <N, T &&>::value (forward <T> (arg));
|
|
}
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
template <typename T> struct S
|
|
{
|
|
typedef T type;
|
|
T t;
|
|
|
|
template <typename U> constexpr S (U && u) : t (forward <U> (u)) {}
|
|
};
|
|
static_assert (get <0> (S <int &&> (1)) == 1, ""); // g++ 4.9 passes, g++ trunk r217559 fails
|