1// RUN: %clang_cc1 -fsyntax-only -verify %s
2// RUN: %clang_cc1 -fsyntax-only -verify -std=c++98 %s
3// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
4
5namespace N {
6  namespace M {
7    template<typename T> struct Promote;
8
9    template<> struct Promote<short> {
10      typedef int type;
11    };
12
13    template<> struct Promote<int> {
14      typedef int type;
15    };
16
17    template<> struct Promote<float> {
18      typedef double type;
19    };
20
21    Promote<short>::type *ret_intptr(int* ip) { return ip; }
22    Promote<int>::type *ret_intptr2(int* ip) { return ip; }
23  }
24
25  M::Promote<int>::type *ret_intptr3(int* ip) { return ip; }
26  M::template Promote<int>::type *ret_intptr4(int* ip) { return ip; }
27#if __cplusplus <= 199711L
28  // expected-warning@-2 {{'template' keyword outside of a template}}
29#endif
30
31  M::template Promote<int> pi;
32#if __cplusplus <= 199711L
33  // expected-warning@-2 {{'template' keyword outside of a template}}
34#endif
35}
36
37N::M::Promote<int>::type *ret_intptr5(int* ip) { return ip; }
38::N::M::Promote<int>::type *ret_intptr6(int* ip) { return ip; }
39
40
41N::M::template; // expected-error{{expected unqualified-id}}
42N::M::template Promote; // expected-error{{expected unqualified-id}}
43
44namespace N {
45  template<typename T> struct A;
46
47  template<>
48  struct A<int> {
49    struct X;
50  };
51
52  struct B;
53}
54
55struct ::N::A<int>::X {
56  int foo;
57};
58
59template<typename T>
60struct TestA {
61  typedef typename N::template B<T>::type type; // expected-error{{'B' following the 'template' keyword does not refer to a template}} \
62                                                // expected-error{{expected member name}}
63};
64
65// Reduced from a Boost failure.
66namespace test1 {
67  template <class T> struct pair {
68    T x;
69    T y;
70
71    static T pair<T>::* const mem_array[2];
72  };
73
74  template <class T>
75  T pair<T>::* const pair<T>::mem_array[2] = { &pair<T>::x, &pair<T>::y };
76}
77
78typedef int T;
79namespace N1 {
80  template<typename T> T f0();
81}
82
83template<typename T> T N1::f0() { }
84
85namespace PR7385 {
86  template< typename > struct has_xxx0
87  {
88    template< typename > struct has_xxx0_introspect
89    {
90      template< typename > struct has_xxx0_substitute ;
91      template< typename V >
92      int int00( has_xxx0_substitute < typename V::template xxx< > > = 0 );
93    };
94    static const int value = has_xxx0_introspect<int>::value; // expected-error{{no member named 'value'}}
95    typedef int type;
96  };
97
98  has_xxx0<int>::type t; // expected-note{{instantiation of}}
99}
100
101namespace PR7725 {
102  template<class ignored> struct TypedefProvider;
103  template<typename T>
104  struct TemplateClass : public TypedefProvider<T>
105  {
106    void PrintSelf() {
107      TemplateClass::Test::PrintSelf();
108    }
109  };
110}
111
112namespace PR9226 {
113  template<typename a>
114  void nt() // expected-note{{function template 'nt' declared here}}
115  { nt<>:: } // expected-error{{qualified name refers into a specialization of function template 'nt'}} \
116  // expected-error{{expected unqualified-id}}
117
118  template<typename T>
119  void f(T*); // expected-note{{function template 'f' declared here}}
120
121  template<typename T>
122  void f(T*, T*); // expected-note{{function template 'f' declared here}}
123
124  void g() {
125    f<int>:: // expected-error{{qualified name refers into a specialization of function template 'f'}}
126  } // expected-error{{expected unqualified-id}}
127
128  struct X {
129    template<typename T> void f(); // expected-note{{function template 'f' declared here}}
130  };
131
132  template<typename T, typename U>
133  struct Y {
134    typedef typename T::template f<U> type; // expected-error{{template name refers to non-type template 'X::f'}}
135  };
136
137  Y<X, int> yxi; // expected-note{{in instantiation of template class 'PR9226::Y<PR9226::X, int>' requested here}}
138}
139
140namespace PR9449 {
141  template <typename T>
142  struct s; // expected-note{{template is declared here}}
143
144  template <typename T>
145  void f() {
146    int s<T>::template n<T>::* f; // expected-error{{implicit instantiation of undefined template 'PR9449::s<int>'}} \
147    // expected-error{{following the 'template' keyword}}
148  }
149
150  template void f<int>(); // expected-note{{in instantiation of}}
151}
152