Nick Lewycky | fe71238 | 2010-08-20 20:54:15 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
| 2 | |
Nico Weber | 3c10fb1 | 2012-06-22 16:39:39 +0000 | [diff] [blame] | 3 | // Clang used to crash trying to recover while adding 'this->' before Work(x); |
Nick Lewycky | fe71238 | 2010-08-20 20:54:15 +0000 | [diff] [blame] | 4 | |
| 5 | template <typename> struct A { |
| 6 | static void Work(int); // expected-note{{must qualify identifier}} |
| 7 | }; |
| 8 | |
| 9 | template <typename T> struct B : public A<T> { |
| 10 | template <typename T2> B(T2 x) { |
| 11 | Work(x); // expected-error{{use of undeclared identifier}} |
| 12 | } |
| 13 | }; |
| 14 | |
| 15 | void Test() { |
| 16 | B<int> b(0); // expected-note{{in instantiation of function template}} |
| 17 | } |
| 18 | |
Richard Smith | ccf0151 | 2013-07-22 18:09:32 +0000 | [diff] [blame] | 19 | |
| 20 | // Don't crash here. |
| 21 | namespace PR16134 { |
| 22 | template <class P> struct S // expected-error {{expected ';'}} |
| 23 | template <> static S<Q>::f() // expected-error +{{}} |
| 24 | } |
Serge Pavlov | 074a518 | 2013-08-10 12:00:21 +0000 | [diff] [blame] | 25 | |
| 26 | namespace PR16225 { |
| 27 | template <typename T> void f(); |
| 28 | template<typename C> void g(C*) { |
| 29 | struct LocalStruct : UnknownBase<Mumble, C> { }; // expected-error {{unknown template name 'UnknownBase'}} \ |
| 30 | // expected-error {{use of undeclared identifier 'Mumble'}} |
| 31 | f<LocalStruct>(); // expected-warning {{template argument uses local type 'LocalStruct'}} |
| 32 | } |
| 33 | struct S; |
| 34 | void h() { |
| 35 | g<S>(0); // expected-note {{in instantiation of function template specialization}} |
| 36 | } |
| 37 | } |