1// RUN: %clang_cc1 -triple %itanium_abi_triple -fsyntax-only -verify %s 2// RUN: %clang_cc1 -triple %ms_abi_triple -DMSABI -fsyntax-only -verify %s 3 4namespace PR5557 { 5template <class T> struct A { 6 A(); 7 virtual void anchor(); 8 virtual int a(T x); 9}; 10template<class T> A<T>::A() {} 11template<class T> void A<T>::anchor() { } 12 13template<class T> int A<T>::a(T x) { 14 return *x; // expected-error{{requires pointer operand}} 15} 16 17void f(A<int> x) { 18 x.anchor(); // expected-note{{instantiation}} 19} 20 21template<typename T> 22struct X { 23 virtual void f(); 24}; 25 26template<> 27void X<int>::f() { } 28} 29 30template<typename T> 31struct Base { 32 virtual ~Base() { 33 int *ptr = 0; 34 T t = ptr; // expected-error{{cannot initialize}} 35 } 36}; 37 38template<typename T> 39struct Derived : Base<T> { 40 virtual void foo() { } 41}; 42 43template struct Derived<int>; // expected-note {{in instantiation of member function 'Base<int>::~Base' requested here}} 44 45template<typename T> 46struct HasOutOfLineKey { 47 HasOutOfLineKey() { } 48 virtual T *f(float *fp); 49}; 50 51template<typename T> 52T *HasOutOfLineKey<T>::f(float *fp) { 53 return fp; // expected-error{{cannot initialize return object of type 'int *' with an lvalue of type 'float *'}} 54} 55 56HasOutOfLineKey<int> out_of_line; // expected-note{{in instantiation of member function 'HasOutOfLineKey<int>::f' requested here}} 57 58namespace std { 59 class type_info; 60} 61 62namespace PR7114 { 63 class A { virtual ~A(); }; // expected-note{{declared private here}} 64 65 template<typename T> 66 class B { 67 public: 68 class Inner : public A { }; // expected-error{{base class 'PR7114::A' has private destructor}} 69 static Inner i; 70 static const unsigned value = sizeof(i) == 4; 71 }; 72 73 int f() { return B<int>::value; } 74 75#ifdef MSABI 76 void test_typeid(B<float>::Inner bfi) { // expected-note{{implicit destructor}} 77 (void)typeid(bfi); 78#else 79 void test_typeid(B<float>::Inner bfi) { 80 (void)typeid(bfi); // expected-note{{implicit destructor}} 81#endif 82 } 83 84 template<typename T> 85 struct X : A { 86 void f() { } 87 }; 88 89 void test_X(X<int> &xi, X<float> &xf) { 90 xi.f(); 91 } 92} 93 94namespace DynamicCast { 95 struct Y {}; 96 template<typename T> struct X : virtual Y { 97 virtual void foo() { T x; } // expected-error {{variable has incomplete type 'void'}} 98 }; 99 template<typename T> struct X2 : virtual Y { 100 virtual void foo() { T x; } 101 }; 102 Y* f(X<void>* x) { return dynamic_cast<Y*>(x); } // expected-note {{in instantiation of member function 'DynamicCast::X<void>::foo' requested here}} 103 Y* f2(X<void>* x) { return dynamic_cast<Y*>(x); } 104} 105