| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
|---|
| 2 | template<typename T> struct A; // expected-note 4{{template is declared here}} |
|---|
| 3 | |
|---|
| 4 | template<typename T> struct B : A<T*> { }; // expected-error{{implicit instantiation of undefined template}} \ |
|---|
| 5 | // expected-error{{implicit instantiation of undefined template 'A<X *>'}} |
|---|
| 6 | |
|---|
| 7 | template<typename T> struct C : B<T> { } ; // expected-note{{instantiation of template class}} |
|---|
| 8 | |
|---|
| 9 | template<typename T> struct D : C<T> { }; // expected-note{{instantiation of template class}} |
|---|
| 10 | |
|---|
| 11 | template<typename T> struct E : D<T> { }; // expected-note{{instantiation of template class}} |
|---|
| 12 | |
|---|
| 13 | template<typename T> struct F : E<T(T)> { }; // expected-note{{instantiation of template class}} |
|---|
| 14 | |
|---|
| 15 | void f() { |
|---|
| 16 | (void)sizeof(F<int>); // expected-note{{instantiation of template class}} |
|---|
| 17 | } |
|---|
| 18 | |
|---|
| 19 | typedef struct { } X; |
|---|
| 20 | |
|---|
| 21 | void g() { |
|---|
| 22 | (void)sizeof(B<X>); // expected-note{{in instantiation of template class 'B<X>' requested here}} |
|---|
| 23 | } |
|---|
| 24 | |
|---|
| 25 | template<typename T> |
|---|
| 26 | struct G : A<T>, // expected-error{{implicit instantiation of undefined template 'A<int>'}} |
|---|
| 27 | A<T*> // expected-error{{implicit instantiation of undefined template 'A<int *>'}} |
|---|
| 28 | { }; |
|---|
| 29 | |
|---|
| 30 | void h() { |
|---|
| 31 | (void)sizeof(G<int>); // expected-note{{in instantiation of template class 'G<int>' requested here}} |
|---|
| 32 | } |
|---|
| 33 | |
|---|
| 34 | namespace PR13365 { |
|---|
| 35 | template <class T> class ResultTy { // expected-warning {{does not declare any constructor}} |
|---|
| 36 | T t; // expected-note {{reference member 't' will never be initialized}} |
|---|
| 37 | }; |
|---|
| 38 | |
|---|
| 39 | template <class T1, class T2> |
|---|
| 40 | typename ResultTy<T2>::error Deduce( void (T1::*member)(T2) ) {} // \ |
|---|
| 41 | // expected-note {{instantiation of template class 'PR13365::ResultTy<int &>'}} \ |
|---|
| 42 | // expected-note {{substitution failure [with T1 = PR13365::Cls, T2 = int &]}} |
|---|
| 43 | |
|---|
| 44 | struct Cls { |
|---|
| 45 | void method(int&); |
|---|
| 46 | }; |
|---|
| 47 | void test() { |
|---|
| 48 | Deduce(&Cls::method); // expected-error {{no matching function}} \ |
|---|
| 49 | // expected-note {{substituting deduced template arguments into function template 'Deduce' [with T1 = PR13365::Cls, T2 = int &]}} |
|---|
| 50 | } |
|---|
| 51 | } |
|---|
| 52 | |
|---|