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

// PR c++/44175
// { dg-do compile { target c++11 } }

template <bool, class T> struct enable_if { };
template <class T> struct enable_if <true, T> { typedef T type; };

template <class F, int N>
void ft (F f, typename enable_if<N!=0, int>::type) {}

template< class F, int N >
decltype(ft<F, N-1> (F(), 0))	// { dg-error "depth" }
ft (F f, typename enable_if<N==0, int>::type) {}

int main() {
  ft<struct a*, 2> (0, 0);	// { dg-message "from here" }
}

// { dg-prune-output "compilation terminated" }
Commit	Line	Data
4324a55c	1	// PR c++/44175
4b2e63de	2	// { dg-do compile { target c++11 } }
4324a55c JM	3
	4	template <bool, class T> struct enable_if { };
	5	template <class T> struct enable_if <true, T> { typedef T type; };
	6
	7	template <class F, int N>
	8	void ft (F f, typename enable_if<N!=0, int>::type) {}
	9
	10	template< class F, int N >
03b8c9bf JM	11	decltype(ft<F, N-1> (F(), 0)) // { dg-error "depth" }
03b8c9bf JM	12	ft (F f, typename enable_if<N==0, int>::type) {}
4324a55c JM	13
4324a55c JM	14	int main() {
3ff60975	15	ft<struct a*, 2> (0, 0); // { dg-message "from here" }
4324a55c	16	}
75a0d320 PC	17
75a0d320 PC	18	// { dg-prune-output "compilation terminated" }