1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 template void *; // expected-error{{expected unqualified-id}} 4 5 template typedef void f0; // expected-error{{explicit instantiation of typedef}} 6 7 int v0; // expected-note{{refers here}} 8 template int v0; // expected-error{{does not refer}} 9 10 template<typename T> 11 struct X0 { 12 static T value; 13 14 T f0(T x) { 15 return x + 1; // expected-error{{invalid operands}} 16 } 17 T* f0(T*, T*) { return T(); } // expected-warning{{expression which evaluates to zero treated as a null pointer constant of type 'int *'}} 18 19 template <typename U> T f0(T, U) { return T(); } // expected-note-re {{candidate template ignored: could not match 'int (int, U){{( __attribute__\(\(thiscall\)\))?}}' against 'int (int){{( __attribute__\(\(thiscall\)\))?}} const'}} \ 20 // expected-note {{candidate template ignored: could not match 'int' against 'int *'}} 21 }; 22 23 template<typename T> 24 T X0<T>::value; // expected-error{{no matching constructor}} 25 26 template int X0<int>::value; 27 28 struct NotDefaultConstructible { // expected-note{{candidate constructor (the implicit copy constructor)}} 29 NotDefaultConstructible(int); // expected-note{{candidate constructor}} 30 }; 31 32 template NotDefaultConstructible X0<NotDefaultConstructible>::value; // expected-note{{instantiation}} 33 34 template int X0<int>::f0(int); 35 template int* X0<int>::f0(int*, int*); // expected-note{{in instantiation of member function 'X0<int>::f0' requested here}} 36 template int X0<int>::f0(int, float); 37 38 template int X0<int>::f0(int) const; // expected-error{{does not refer}} 39 template int* X0<int>::f0(int*, float*); // expected-error{{does not refer}} 40 41 struct X1 { }; 42 typedef int X1::*MemPtr; 43 44 template MemPtr X0<MemPtr>::f0(MemPtr); // expected-note{{requested here}} 45 46 struct X2 { 47 int f0(int); // expected-note{{refers here}} 48 49 template<typename T> T f1(T) { return T(); } 50 template<typename T> T* f1(T*) { return 0; } 51 52 template<typename T, typename U> void f2(T, U*) { } // expected-note{{candidate}} 53 template<typename T, typename U> void f2(T*, U) { } // expected-note{{candidate}} 54 }; 55 56 template int X2::f0(int); // expected-error{{not an instantiation}} 57 58 template int *X2::f1(int *); // okay 59 60 template void X2::f2(int *, int *); // expected-error{{ambiguous}} 61 62 template <typename T> 63 void print_type() {} // expected-note {{candidate template ignored: could not match 'void ()' against 'void (float *)'}} 64 65 template void print_type<int>(); 66 template void print_type<float>(); 67 68 template <typename T> 69 void print_type(T *) {} // expected-note {{candidate template ignored: could not match 'void (int *)' against 'void (float *)'}} 70 71 template void print_type(int*); 72 template void print_type<int>(float*); // expected-error{{does not refer}} 73 74 void print_type(double*); 75 template void print_type<double>(double*); 76 77 // PR5069 78 template<int I> void foo0 (int (&)[I + 1]) { } 79 template void foo0<2> (int (&)[3]); 80 81 namespace explicit_instantiation_after_implicit_instantiation { 82 template <int I> struct X0 { static int x; }; 83 template <int I> int X0<I>::x; 84 void test1() { (void)&X0<1>::x; } 85 template struct X0<1>; 86 } 87 88 template<typename> struct X3 { }; 89 inline template struct X3<int>; // expected-warning{{ignoring 'inline' keyword on explicit template instantiation}} 90 static template struct X3<float>; // expected-warning{{ignoring 'static' keyword on explicit template instantiation}} 91 92 namespace PR7622 { 93 template<typename,typename=int> 94 struct basic_streambuf; 95 96 template<typename,typename> 97 struct basic_streambuf{friend bob<>()}; // expected-error{{unknown type name 'bob'}} \ 98 // expected-error{{expected member name or ';' after declaration specifiers}} 99 template struct basic_streambuf<int>; 100 } 101 102 // Test that we do not crash. 103 class TC1 { 104 class TC2 { 105 template // FIXME: error here. 106 void foo() { } 107 }; 108 }; 109 110 namespace PR8020 { 111 template <typename T> struct X { X() {} }; 112 template<> struct X<int> { X(); }; 113 template X<int>::X() {} // expected-error{{function cannot be defined in an explicit instantiation}} 114 } 115 116 namespace PR10086 { 117 template void foobar(int i) {} // expected-error{{function cannot be defined in an explicit instantiation}} 118 int func() { 119 foobar(5); 120 } 121 } 122 123 namespace undefined_static_data_member { 124 template<typename T> struct A { 125 static int a; // expected-note {{here}} 126 template<typename U> static int b; // expected-note {{here}} expected-warning {{extension}} 127 }; 128 struct B { 129 template<typename U> static int c; // expected-note {{here}} expected-warning {{extension}} 130 }; 131 132 template int A<int>::a; // expected-error {{explicit instantiation of undefined static data member 'a' of class template 'undefined_static_data_member::A<int>'}} 133 template int A<int>::b<int>; // expected-error {{explicit instantiation of undefined variable template 'undefined_static_data_member::A<int>::b<int>'}} 134 template int B::c<int>; // expected-error {{explicit instantiation of undefined variable template 'undefined_static_data_member::B::c<int>'}} 135 136 137 template<typename T> struct C { 138 static int a; 139 template<typename U> static int b; // expected-warning {{extension}} 140 }; 141 struct D { 142 template<typename U> static int c; // expected-warning {{extension}} 143 }; 144 template<typename T> int C<T>::a; 145 template<typename T> template<typename U> int C<T>::b; // expected-warning {{extension}} 146 template<typename U> int D::c; // expected-warning {{extension}} 147 148 template int C<int>::a; 149 template int C<int>::b<int>; 150 template int D::c<int>; 151 } 152
