[gcc.git] / gcc / testsuite / g++.dg / cpp0x / decltype21.C

// PR c++/6709 (DR 743)
// PR c++/42603 (DR 950)
// { dg-do compile { target c++11 } }

template <class T>
T make();

struct p { typedef int t; };
struct c : decltype(make<p>()) {};

decltype(make<p>())::t t;

// PR c++/49823

template < typename T >
auto f( const T &x )
  -> typename decltype( x )::type; // ICE on here

template < typename T >
typename decltype( T{} )::type // ICE on here
f( T );

template < typename T >
void f( T x )
{ typename decltype( x )::type t; } // ICE on here

// Negative tests

int f();
decltype(f())::t t2;		// { dg-error "not a class" }

struct D: decltype(f()) { };	// { dg-error "not a class" }

// { dg-prune-output "expected initializer" }
Commit	Line	Data
34429675 JM	1	// PR c++/6709 (DR 743)
34429675 JM	2	// PR c++/42603 (DR 950)
4b2e63de	3	// { dg-do compile { target c++11 } }
34429675 JM	4
	5	template <class T>
	6	T make();
	7
	8	struct p { typedef int t; };
	9	struct c : decltype(make<p>()) {};
	10
	11	decltype(make<p>())::t t;
	12
3bb4eb1c JM	13	// PR c++/49823
	14
	15	template < typename T >
	16	auto f( const T &x )
	17	-> typename decltype( x )::type; // ICE on here
	18
	19	template < typename T >
	20	typename decltype( T{} )::type // ICE on here
	21	f( T );
	22
	23	template < typename T >
	24	void f( T x )
	25	{ typename decltype( x )::type t; } // ICE on here
	26
	27	// Negative tests
	28
34429675 JM	29	int f();
	30	decltype(f())::t t2; // { dg-error "not a class" }
	31
	32	struct D: decltype(f()) { }; // { dg-error "not a class" }
	33
	34	// { dg-prune-output "expected initializer" }