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 {{candidate template ignored: could not match 'int (int, U)' against 'int (int) 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
