clang/test/SemaCXX/extended-usual-deallocation-functions.cpp

   1 // RUN: %clang_cc1 -fexceptions -std=c++2a -fsized-deallocation -fno-aligned-allocation -verify %s
   2 // RUN: %clang_cc1 -fexceptions -std=c++17 -fsized-deallocation -fno-aligned-allocation -verify %s
   3 // RUN: %clang_cc1 -fexceptions -std=c++14 -fsized-deallocation -faligned-allocation -DHAS_ALIGN -verify %s
   4 // RUN: %clang_cc1 -fexceptions -std=c++11 -fsized-deallocation -faligned-allocation -DHAS_ALIGN -verify %s
   5
   6 // Test that we handle aligned deallocation, sized deallocation, and destroying
   7 // delete as usual deallocation functions even if they are used as extensions
   8 // prior to C++17.
   9
  10 namespace std {
  11 using size_t = decltype(sizeof(0));
  12 enum class align_val_t : size_t;
  13
  14 struct destroying_delete_t {
  15   struct __construct { explicit __construct() = default; };
  16   explicit destroying_delete_t(__construct) {}
  17 };
  18
  19 inline constexpr destroying_delete_t destroying_delete(destroying_delete_t::__construct());
  20 }
  21
  22 // FIXME: Should destroying delete really be on in all dialects by default?
  23 struct A {
  24   void operator delete(void*) = delete;
  25   void operator delete(A*, std::destroying_delete_t) = delete; // expected-note {{deleted}}
  26 };
  27 void ATest(A* a) { delete a; } // expected-error {{deleted}}
  28
  29 struct B {
  30   void operator delete(void*) = delete; // expected-note {{deleted}}
  31   void operator delete(void*, std::size_t) = delete;
  32 };
  33 void BTest(B *b) { delete b; }// expected-error {{deleted}}
  34
  35
  36 struct alignas(128) C {
  37 #ifndef HAS_ALIGN
  38   // expected-note@+2 {{deleted}}
  39 #endif
  40   void operator delete(void*) = delete;
  41 #ifdef HAS_ALIGN
  42   // expected-note@+2 {{deleted}}
  43 #endif
  44   void operator delete(void*, std::align_val_t) = delete;
  45 };
  46 void CTest(C *c) { delete c; } // expected-error {{deleted}}
  47
  48 struct D {
  49   void operator delete(void*) = delete;
  50   void operator delete(D*, std::destroying_delete_t) = delete; // expected-note {{deleted}}
  51   void operator delete(D*, std::destroying_delete_t, std::size_t) = delete;
  52   void operator delete(D*, std::destroying_delete_t, std::align_val_t) = delete;
  53   void operator delete(D*, std::destroying_delete_t, std::size_t, std::align_val_t) = delete;
  54 };
  55 void DTest(D *d) { delete d; } // expected-error {{deleted}}
  56
  57 struct alignas(128) E {
  58   void operator delete(void*) = delete;
  59   void operator delete(E*, std::destroying_delete_t) = delete;
  60   void operator delete(E*, std::destroying_delete_t, std::size_t) = delete;
  61   void operator delete(E*, std::destroying_delete_t, std::align_val_t) = delete;
  62   void operator delete(E*, std::destroying_delete_t, std::size_t, std::align_val_t) = delete;
  63 #ifdef HAS_ALIGN
  64   // expected-note@-3 {{deleted}}
  65 #else
  66   // expected-note@-7 {{deleted}}
  67 #endif
  68 };
  69 void ETest(E *e) { delete e; } // expected-error {{deleted}}