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