1 // RUN: %clang_cc1 -fsyntax-only -verify %s -pedantic 2 template<typename T> 3 struct S { 4 S() { } 5 }; 6 7 template<typename T> 8 struct vector { 9 void push_back(const T&) { int a[sizeof(T) ? -1: -1]; } // expected-error {{array with a negative size}} 10 }; 11 12 class ExprEngine { 13 public: 14 typedef vector<S<void *> >CheckersOrdered; 15 CheckersOrdered Checkers; 16 17 template <typename CHECKER> 18 void registerCheck(CHECKER *check) { 19 Checkers.push_back(S<void *>()); // expected-note {{in instantiation of member function 'vector<S<void *> >::push_back' requested here}} 20 } 21 }; 22 23 class RetainReleaseChecker { }; 24 25 void f(ExprEngine& Eng) { 26 Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function template specialization 'ExprEngine::registerCheck<RetainReleaseChecker>' requested here}} 27 } 28 29 // PR 5838 30 namespace test1 { 31 template<typename T> struct A { 32 int a; 33 }; 34 35 template<typename T> struct B : A<float>, A<T> { 36 void f() { 37 a = 0; // should not be ambiguous 38 } 39 }; 40 template struct B<int>; 41 42 struct O { 43 int a; 44 template<typename T> struct B : A<T> { 45 void f() { 46 a = 0; // expected-error {{'test1::O::a' is not a member of class 'test1::O::B<int>'}} 47 } 48 }; 49 }; 50 template struct O::B<int>; // expected-note {{in instantiation}} 51 } 52 53 // PR7248 54 namespace test2 { 55 template <class T> struct A { 56 void foo() { 57 T::bar(); // expected-error {{type 'int' cannot}} 58 } 59 }; 60 61 template <class T> class B { 62 void foo(A<T> a) { 63 a.test2::template A<T>::foo(); // expected-note {{in instantiation}} 64 } 65 }; 66 67 template class B<int>; 68 } 69 70 namespace PR14124 { 71 template<typename T> struct S { 72 int value; 73 }; 74 template<typename T> void f() { S<T>::value; } // expected-error {{invalid use of non-static data member 'value'}} 75 template void f<int>(); // expected-note {{in instantiation of}} 76 77 struct List { List *next; }; 78 template<typename T, T *(T::*p) = &T::next> struct A {}; 79 A<List> a; // ok 80 void operator&(struct Whatever); 81 template<typename T, T *(T::*p) = &T::next> struct B {}; 82 B<List> b; // still ok 83 } 84
