55 lines · cpp
1// RUN: %clang_cc1 -fsyntax-only -verify %s2// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s3 4template<typename T> class vector2 {};5template<typename T> class vector : vector2<T> {};6 7template<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'}}8template<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 10void 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 15namespace rdar13267210 {16 template < typename T > class A {17 BaseTy; // expected-error{{a type specifier is required 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 33namespace 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 42namespace 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 {{left operand of comma operator has no effect}}53 };54}55