50 lines · cpp
1// RUN: %clang_cc1 -fsyntax-only -verify -std=c++98 %s2// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s3 4template<typename T> void f0(T); // expected-note{{here}}5template void f0(int); // expected-error{{explicit instantiation of undefined function template}}6 7template<typename T>8struct X0 {9 struct Inner;10 11 void f1(); // expected-note{{here}}12 13 static T value; // expected-note{{here}}14};15 16template void X0<int>::f1(); // expected-error{{explicit instantiation of undefined member function}}17 18template int X0<int>::value; // expected-error{{explicit instantiation of undefined static data member}}19 20template<> void f0(long); // expected-note{{previous template specialization is here}}21template void f0(long); // expected-warning{{explicit instantiation of 'f0<long>' that occurs after an explicit specialization has no effect}}22 23template<> void X0<long>::f1(); // expected-note{{previous template specialization is here}}24template void X0<long>::f1(); // expected-warning{{explicit instantiation of 'f1' that occurs after an explicit specialization has no effect}}25 26template<> struct X0<long>::Inner; // expected-note{{previous template specialization is here}}27template struct X0<long>::Inner; // expected-warning{{explicit instantiation of 'Inner' that occurs after an explicit specialization has no effect}}28 29template<> long X0<long>::value; // expected-note{{previous template specialization is here}}30template long X0<long>::value; // expected-warning{{explicit instantiation of 'value' that occurs after an explicit specialization has no effect}}31 32template<> struct X0<double>; // expected-note{{previous template specialization is here}}33template struct X0<double>; // expected-warning{{explicit instantiation of 'X0<double>' that occurs after an explicit specialization has no effect}}34 35// PR 645836namespace test0 {37 template <class T> class foo {38 int compare(T x, T y);39 };40 41 template <> int foo<char>::compare(char x, char y);42 template <class T> int foo<T>::compare(T x, T y) {43 // invalid at T=char; if we get a diagnostic here, we're44 // inappropriately instantiating this template.45 void *ptr = x;46 }47 extern template class foo<char>; // expected-warning 0-1{{extern templates are a C++11 extension}}48 template class foo<char>;49}50