Richard Smith | 762bb9d | 2011-10-13 22:29:44 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s -std=c++11 |
Anders Carlsson | af017e6 | 2009-06-29 22:58:55 +0000 | [diff] [blame] | 2 | |
Richard Smith | efeeccf | 2012-10-21 03:28:35 +0000 | [diff] [blame] | 3 | void f(); // expected-note{{possible target for call}} |
| 4 | void f(int); // expected-note{{possible target for call}} |
John McCall | 6dbba4f | 2011-10-11 23:14:30 +0000 | [diff] [blame] | 5 | decltype(f) a; // expected-error{{reference to overloaded function could not be resolved; did you mean to call it with no arguments?}} expected-error {{variable has incomplete type 'decltype(f())' (aka 'void')}} |
Anders Carlsson | af017e6 | 2009-06-29 22:58:55 +0000 | [diff] [blame] | 6 | |
| 7 | template<typename T> struct S { |
Richard Smith | efeeccf | 2012-10-21 03:28:35 +0000 | [diff] [blame] | 8 | decltype(T::f) * f; // expected-error {{call to non-static member function without an object argument}} |
Anders Carlsson | af017e6 | 2009-06-29 22:58:55 +0000 | [diff] [blame] | 9 | }; |
| 10 | |
Douglas Gregor | db2eae6 | 2011-03-16 19:16:25 +0000 | [diff] [blame] | 11 | struct K { |
Richard Smith | efeeccf | 2012-10-21 03:28:35 +0000 | [diff] [blame] | 12 | void f(); |
| 13 | void f(int); |
Douglas Gregor | db2eae6 | 2011-03-16 19:16:25 +0000 | [diff] [blame] | 14 | }; |
John McCall | 7c2342d | 2010-03-10 11:27:22 +0000 | [diff] [blame] | 15 | S<K> b; // expected-note{{in instantiation of template class 'S<K>' requested here}} |
Richard Smith | c4a8391 | 2012-10-01 20:35:07 +0000 | [diff] [blame] | 16 | |
| 17 | namespace PR13978 { |
| 18 | template<typename T> struct S { decltype(1) f(); }; |
| 19 | template<typename T> decltype(1) S<T>::f() { return 1; } |
| 20 | |
| 21 | // This case is ill-formed (no diagnostic required) because the decltype |
| 22 | // expressions are functionally equivalent but not equivalent. It would |
| 23 | // be acceptable for us to reject this case. |
| 24 | template<typename T> struct U { struct A {}; decltype(A{}) f(); }; |
| 25 | template<typename T> decltype(typename U<T>::A{}) U<T>::f() {} |
| 26 | |
| 27 | // This case is valid. |
| 28 | template<typename T> struct V { struct A {}; decltype(typename V<T>::A{}) f(); }; |
| 29 | template<typename T> decltype(typename V<T>::A{}) V<T>::f() {} |
| 30 | } |