clang/test/CXX/special/class.dtor/p10-0x.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
   2
   3 // PR10127/N3031
   4 struct A { ~A(); };
   5 struct B {};
   6 template<typename T>
   7 void b(const T *x, const A *y) {
   8   x->~decltype(T())();
   9   x->~decltype(*x)(); // expected-error{{the type of object expression ('const int') does not match the type being destroyed ('decltype(*x)' (aka 'const int &')) in pseudo-destructor expression}} \
  10                          expected-error{{no member named '~const A &' in 'A'}}
  11   x->~decltype(int())(); // expected-error{{no member named '~int' in 'A'}}
  12
  13   y->~decltype(*y)(); // expected-error{{destructor type 'decltype(*y)' (aka 'const A &') in object destruction expression does not match the type 'const A' of the object being destroyed}}
  14   y->~decltype(T())(); // expected-error{{destructor type 'decltype(T())' in object destruction expression does not match the type 'const A' of the object being destroyed}}
  15   y->~decltype(A())();
  16 }
  17 template void b(const int*, const A*); // expected-note{{in instantiation of function template specialization 'b<int>' requested here}}
  18 template void b(const A*,const A*); // expected-note{{in instantiation of function template specialization 'b<A>' requested here}}
  19 void a(const A *x, int i, int *pi) {
  20   x->~decltype(A())();
  21   x->~decltype(*x)(); // expected-error{{destructor type 'decltype(*x)' (aka 'const A &') in object destruction expression does not match the type 'const A' of the object being destroyed}}
  22   x->~decltype()(); // expected-error{{expected expression}}
  23   x->~decltype(B())(); // expected-error{{destructor type 'decltype(B())' (aka 'B') in object destruction expression does not match the type 'const A' of the object being destroyed}}
  24   x->~decltype(x)(); // expected-error{{destructor type 'decltype(x)' (aka 'const A *') in object destruction expression does not match the type 'const A' of the object being destroyed}}
  25   // this last one could be better, mentioning that the nested-name-specifier could be removed or a type name after the ~
  26   x->::A::~decltype(*x)(); // expected-error{{expected a class name after '~' to name a destructor}}
  27   y->~decltype(A())(); // expected-error{{use of undeclared identifier 'y'}}
  28
  29   typedef int *intp;
  30   i->~decltype(int())(); // expected-error{{member reference type 'int' is not a pointer; did you mean to use '.'?}}
  31   i.~decltype(int())();
  32   i->~decltype(intp())(); // expected-error{{member reference type 'int' is not a pointer; did you mean to use '.'?}} \
  33                              expected-error{{the type of object expression ('int') does not match the type being destroyed ('decltype(intp())' (aka 'int *')) in pseudo-destructor expression}}
  34   i.~decltype(intp())(); // expected-error{{the type of object expression ('int') does not match the type being destroyed ('decltype(intp())' (aka 'int *')) in pseudo-destructor expression}}
  35   pi->~decltype(int())();
  36   pi.~decltype(int())(); // expected-error{{member reference type 'int *' is a pointer; did you mean to use '->'?}}
  37   pi.~decltype(intp())();
  38   pi->~decltype(intp())(); // expected-error{{the type of object expression ('int') does not match the type being destroyed ('decltype(intp())' (aka 'int *')) in pseudo-destructor expression}}
  39 }