|
111
|
1 // PR c++/44175
|
|
|
2 // { dg-do compile { target c++11 } }
|
|
|
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 >
|
|
|
11 decltype(ft<F, N-1> (F(), 0)) // { dg-error "depth" }
|
|
|
12 ft (F f, typename enable_if<N==0, int>::type) {}
|
|
|
13
|
|
|
14 int main() {
|
|
|
15 ft<struct a*, 2> (0, 0); // { dg-message "from here" }
|
|
|
16 }
|
|
|
17
|
|
|
18 // { dg-prune-output "compilation terminated" }
|
