1 //===----------------------------------------------------------------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 // struct destroying_delete_t {
11 //   explicit destroying_delete_t() = default;
12 // };
13 // inline constexpr destroying_delete_t destroying_delete{};
14 
15 // UNSUPPORTED: c++98, c++03, c++11, c++14, c++17
16 
17 // UNSUPPORTED: apple-clang-9, apple-clang-10
18 
19 #include <new>
20 
21 #include <cassert>
22 #include "test_macros.h"
23 
24 struct A {
25   void *data;
26   A();
27   ~A();
28 
29   static A* New();
30   void operator delete(A*, std::destroying_delete_t);
31 };
32 
33 bool A_constructed = false;
34 bool A_destroyed = false;
35 bool A_destroying_deleted = false;
36 
37 A::A() {
38   A_constructed = true;
39 }
40 
41 A::~A() {
42   A_destroyed = true;
43 }
44 
45 A* A::New() {
46   return new(::operator new(sizeof(A))) A();
47 }
48 
49 void A::operator delete(A* a, std::destroying_delete_t) {
50   A_destroying_deleted = true;
51   ::operator delete(a);
52 }
53 
54 #ifndef __cpp_lib_destroying_delete
55 #error "Expected __cpp_lib_destroying_delete to be defined"
56 #elif __cpp_lib_destroying_delete < 201806L
57 #error "Unexpected value of __cpp_lib_destroying_delete"
58 #endif
59 
60 int main() {
61   // Ensure that we call the destroying delete and not the destructor.
62   A* ap = A::New();
63   assert(A_constructed);
64   delete ap;
65   assert(!A_destroyed);
66   assert(A_destroying_deleted);
67 }
68