| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
|---|
| 2 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s |
|---|
| 3 | |
|---|
| 4 | template<typename T> class vector2 {}; |
|---|
| 5 | template<typename T> class vector : vector2<T> {}; |
|---|
| 6 | |
|---|
| 7 | template<typename T> void Foo2(vector2<const T*> V) {} // expected-note{{candidate template ignored: cannot deduce a type for 'T' that would make 'const T' equal 'int'}} |
|---|
| 8 | template<typename T> void Foo(vector<const T*> V) {} // expected-note {{candidate template ignored: cannot deduce a type for 'T' that would make 'const T' equal 'int'}} |
|---|
| 9 | |
|---|
| 10 | void test() { |
|---|
| 11 | Foo2(vector2<int*>()); // expected-error{{no matching function for call to 'Foo2'}} |
|---|
| 12 | Foo(vector<int*>()); // expected-error{{no matching function for call to 'Foo'}} |
|---|
| 13 | } |
|---|
| 14 | |
|---|
| 15 | namespace rdar13267210 { |
|---|
| 16 | template < typename T > class A { |
|---|
| 17 | BaseTy; // expected-error{{C++ requires a type specifier for all declarations}} |
|---|
| 18 | }; |
|---|
| 19 | |
|---|
| 20 | template < typename T, int N > class C: A < T > {}; |
|---|
| 21 | |
|---|
| 22 | class B { |
|---|
| 23 | C<long, 16> ExternalDefinitions; |
|---|
| 24 | C<long, 64> &Record; |
|---|
| 25 | |
|---|
| 26 | void AddSourceLocation(A<long> &R); // expected-note{{passing argument to parameter 'R' here}} |
|---|
| 27 | void AddTemplateKWAndArgsInfo() { |
|---|
| 28 | AddSourceLocation(Record); // expected-error{{non-const lvalue reference to type}} |
|---|
| 29 | } |
|---|
| 30 | }; |
|---|
| 31 | } |
|---|
| 32 | |
|---|
| 33 | namespace PR16292 { |
|---|
| 34 | class IncompleteClass; // expected-note{{forward declaration}} |
|---|
| 35 | class BaseClass { |
|---|
| 36 | IncompleteClass Foo; // expected-error{{field has incomplete type}} |
|---|
| 37 | }; |
|---|
| 38 | template<class T> class DerivedClass : public BaseClass {}; |
|---|
| 39 | void* p = new DerivedClass<void>; |
|---|
| 40 | } |
|---|
| 41 | |
|---|
| 42 | namespace rdar14183893 { |
|---|
| 43 | class Typ { // expected-note {{not complete}} |
|---|
| 44 | Typ x; // expected-error {{incomplete type}} |
|---|
| 45 | }; |
|---|
| 46 | |
|---|
| 47 | template <unsigned C> class B : Typ {}; |
|---|
| 48 | typedef B<0> TFP; |
|---|
| 49 | |
|---|
| 50 | class A { |
|---|
| 51 | TFP m_p; |
|---|
| 52 | void Enable() { 0, A(); } // expected-warning {{unused}} |
|---|
| 53 | }; |
|---|
| 54 | } |
|---|
| 55 | |
|---|