217 lines · cpp
1// RUN: %clang_cc1 -triple %itanium_abi_triple -fsyntax-only -verify %s2// RUN: %clang_cc1 -triple %itanium_abi_triple -fsyntax-only -verify -std=c++98 %s3// RUN: %clang_cc1 -triple %itanium_abi_triple -fsyntax-only -verify -std=c++11 %s4// RUN: %clang_cc1 -triple %ms_abi_triple -DMSABI -fsyntax-only -verify %s5// RUN: %clang_cc1 -triple %ms_abi_triple -DMSABI -fsyntax-only -std=c++98 -verify %s6// RUN: %clang_cc1 -triple %ms_abi_triple -DMSABI -fsyntax-only -std=c++11 -verify %s7 8namespace PR5557 {9template <class T> struct A {10 A();11 virtual int a(T x);12};13template<class T> A<T>::A() {} // expected-note{{instantiation}}14 15template<class T> int A<T>::a(T x) { 16 return *x; // expected-error{{requires pointer operand}}17}18 19void f() {20 A<int> x; // expected-note{{instantiation}}21}22 23template<typename T>24struct X {25 virtual void f();26};27 28template<>29void X<int>::f() { }30}31 32// Like PR5557, but with a defined destructor instead of a defined constructor.33namespace PR5557_dtor {34template <class T> struct A {35 A(); // Don't have an implicit constructor.36 ~A();37 virtual int a(T x);38};39template<class T> A<T>::~A() {} // expected-note{{instantiation}}40 41template<class T> int A<T>::a(T x) { 42 return *x; // expected-error{{requires pointer operand}}43}44 45void f() {46 A<int> x; // expected-note{{instantiation}}47}48}49 50template<typename T>51struct Base {52 virtual ~Base() { 53 int *ptr = 0;54 T t = ptr; // expected-error{{cannot initialize}}55 }56};57 58template<typename T>59struct Derived : Base<T> {60 virtual void foo() { }61};62 63template struct Derived<int>; // expected-note {{in instantiation of member function 'Base<int>::~Base' requested here}}64 65template<typename T>66struct HasOutOfLineKey {67 HasOutOfLineKey() { } // expected-note{{in instantiation of member function 'HasOutOfLineKey<int>::f' requested here}}68 virtual T *f(float *fp);69};70 71template<typename T>72T *HasOutOfLineKey<T>::f(float *fp) {73 return fp; // expected-error{{cannot initialize return object of type 'int *' with an lvalue of type 'float *'}}74}75 76HasOutOfLineKey<int> out_of_line; // expected-note{{in instantiation of member function 'HasOutOfLineKey<int>::HasOutOfLineKey' requested here}}77 78namespace std {79 class type_info;80}81 82namespace PR7114 {83 class A { virtual ~A(); };84#if __cplusplus <= 199711L85 // expected-note@-2{{declared private here}}86#else87 // expected-note@-4 3 {{overridden virtual function is here}}88#endif89 90 template<typename T>91 class B {92 public:93 class Inner : public A { };94#if __cplusplus <= 199711L95// expected-error@-2{{base class 'A' has private destructor}}96#else97// expected-error@-4 2 {{deleted function '~Inner' cannot override a non-deleted function}}98// expected-note@-5 2 {{destructor of 'Inner' is implicitly deleted because base class 'A' has an inaccessible destructor}}99#ifdef MSABI100// expected-note@-7 1 {{destructor of 'Inner' is implicitly deleted because base class 'A' has an inaccessible destructor}}101#endif102#endif103 104 static Inner i;105 static const unsigned value = sizeof(i) == 4;106#if __cplusplus >= 201103L107// expected-note@-2 {{in instantiation of member class 'PR7114::B<int>::Inner' requested here}}108// expected-note@-3 {{in instantiation of member class 'PR7114::B<float>::Inner' requested here}}109#endif110 };111 112 int f() { return B<int>::value; }113#if __cplusplus >= 201103L114// expected-note@-2 {{in instantiation of template class 'PR7114::B<int>' requested here}}115#endif116 117#ifdef MSABI118 void test_typeid(B<float>::Inner bfi) {119#if __cplusplus <= 199711L120// expected-note@-2 {{implicit destructor}}121#else122// expected-error@-4 {{attempt to use a deleted function}}123// expected-note@-5 {{in instantiation of template class 'PR7114::B<float>' requested here}}124#endif125 126 (void)typeid(bfi);127#else128 void test_typeid(B<float>::Inner bfi) {129#if __cplusplus >= 201103L130// expected-note@-2 {{in instantiation of template class 'PR7114::B<float>' requested here}}131#endif132 (void)typeid(bfi);133#if __cplusplus <= 199711L134// expected-note@-2 {{implicit destructor}}135#endif136#endif137 }138 139 template<typename T>140 struct X : A {141#if __cplusplus >= 201103L142// expected-error@-2 {{deleted function '~X' cannot override a non-deleted function}}143// expected-note@-3 {{destructor of 'X<int>' is implicitly deleted because base class 'A' has an inaccessible destructor}}144#endif145 void f() { }146 };147 148 void test_X(X<int> &xi, X<float> &xf) {149 xi.f();150#if __cplusplus >= 201103L151// expected-note@-2 {{in instantiation of template class 'PR7114::X<int>' requested here}}152#endif153 }154}155 156namespace DynamicCast {157 struct Y {};158 template<typename T> struct X : virtual Y {159 virtual void foo() { T x; }160 };161 template<typename T> struct X2 : virtual Y {162 virtual void foo() { T x; }163 };164 Y* f(X<void>* x) { return dynamic_cast<Y*>(x); }165 Y* f2(X<void>* x) { return dynamic_cast<Y*>(x); }166}167 168namespace avoid_using_vtable {169// We shouldn't emit the vtable for this code, in any ABI. If we emit the170// vtable, we emit an implicit virtual dtor, which calls ~RefPtr, which requires171// a complete type for DeclaredOnly.172//173// Previously we would reference the vtable in the MS C++ ABI, even though we174// don't need to emit either the ctor or the dtor. In the Itanium C++ ABI, the175// 'trace' method is the key function, so even though we use the vtable, we176// don't emit it.177 178template <typename T>179struct RefPtr {180 T *m_ptr;181 ~RefPtr() { m_ptr->deref(); }182};183struct DeclaredOnly;184struct Base {185 virtual ~Base();186};187 188struct AvoidVTable : Base {189 RefPtr<DeclaredOnly> m_insertionStyle;190 virtual void trace();191 AvoidVTable();192};193// Don't call the dtor, because that will emit an implicit dtor, and require a194// complete type for DeclaredOnly.195void foo() { new AvoidVTable; }196}197 198namespace vtable_uses_incomplete {199// Opposite of the previous test that avoids a vtable, this one tests that we200// use the vtable when the ctor is defined inline.201template <typename T>202struct RefPtr {203 T *m_ptr;204 ~RefPtr() { m_ptr->deref(); } // expected-error {{member access into incomplete type 'vtable_uses_incomplete::DeclaredOnly'}}205};206struct DeclaredOnly; // expected-note {{forward declaration of 'vtable_uses_incomplete::DeclaredOnly'}}207struct Base {208 virtual ~Base();209};210 211struct UsesVTable : Base {212 RefPtr<DeclaredOnly> m_insertionStyle;213 virtual void trace();214 UsesVTable() {} // expected-note {{in instantiation of member function 'vtable_uses_incomplete::RefPtr<vtable_uses_incomplete::DeclaredOnly>::~RefPtr' requested here}}215};216}217