| Anders Carlsson | 1f24032 | 2009-12-22 05:24:09 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
| 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 size is negative}} |
| 10 | }; |
| 11 | |
| 12 | class GRExprEngine { |
| 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<struct S<void *> >::push_back' requested here}} |
| 20 | } |
| 21 | }; |
| 22 | |
| 23 | class RetainReleaseChecker { }; |
| 24 | |
| 25 | void f(GRExprEngine& Eng) { |
| 26 | Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function template specialization 'GRExprEngine::registerCheck<class RetainReleaseChecker>' requested here}} |
| 27 | } |