Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 1 | // -*- C++ -*- |
| 2 | //===----------------------------- new ------------------------------------===// |
| 3 | // |
Howard Hinnant | f5256e1 | 2010-05-11 21:36:01 +0000 | [diff] [blame] | 4 | // The LLVM Compiler Infrastructure |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 5 | // |
Howard Hinnant | b64f8b0 | 2010-11-16 22:09:02 +0000 | [diff] [blame] | 6 | // This file is dual licensed under the MIT and the University of Illinois Open |
| 7 | // Source Licenses. See LICENSE.TXT for details. |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 8 | // |
| 9 | //===----------------------------------------------------------------------===// |
| 10 | |
| 11 | #ifndef _LIBCPP_NEW |
| 12 | #define _LIBCPP_NEW |
| 13 | |
| 14 | /* |
| 15 | new synopsis |
| 16 | |
| 17 | namespace std |
| 18 | { |
| 19 | |
| 20 | class bad_alloc |
| 21 | : public exception |
| 22 | { |
| 23 | public: |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 24 | bad_alloc() noexcept; |
| 25 | bad_alloc(const bad_alloc&) noexcept; |
| 26 | bad_alloc& operator=(const bad_alloc&) noexcept; |
| 27 | virtual const char* what() const noexcept; |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 28 | }; |
| 29 | |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 30 | class bad_array_length : public bad_alloc // FIXME: Not part of C++ |
Marshall Clow | 7f9f52e | 2013-09-11 01:38:42 +0000 | [diff] [blame] | 31 | { |
| 32 | public: |
| 33 | bad_array_length() noexcept; |
| 34 | }; |
| 35 | |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 36 | class bad_array_new_length : public bad_alloc // C++14 |
Marshall Clow | 7f9f52e | 2013-09-11 01:38:42 +0000 | [diff] [blame] | 37 | { |
| 38 | public: |
| 39 | bad_array_new_length() noexcept; |
| 40 | }; |
| 41 | |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 42 | enum class align_val_t : size_t {}; // C++17 |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 43 | struct nothrow_t {}; |
| 44 | extern const nothrow_t nothrow; |
| 45 | typedef void (*new_handler)(); |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 46 | new_handler set_new_handler(new_handler new_p) noexcept; |
| 47 | new_handler get_new_handler() noexcept; |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 48 | |
| 49 | } // std |
| 50 | |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 51 | void* operator new(std::size_t size); // replaceable |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 52 | void* operator new(std::size_t size, std::align_val_t alignment); // replaceable, C++17 |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 53 | void* operator new(std::size_t size, const std::nothrow_t&) noexcept; // replaceable |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 54 | void* operator new(std::size_t size, std::align_val_t alignment, |
| 55 | const std::nothrow_t&) noexcept; // replaceable, C++17 |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 56 | void operator delete(void* ptr) noexcept; // replaceable |
Larisse Voufo | 19efe01 | 2015-02-15 05:18:55 +0000 | [diff] [blame] | 57 | void operator delete(void* ptr, std::size_t size) noexcept; // replaceable, C++14 |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 58 | void operator delete(void* ptr, std::align_val_t alignment) noexcept; // replaceable, C++17 |
| 59 | void operator delete(void* ptr, std::size_t size, |
| 60 | std::align_val_t alignment) noexcept; // replaceable, C++17 |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 61 | void operator delete(void* ptr, const std::nothrow_t&) noexcept; // replaceable |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 62 | void operator delete(void* ptr, std:align_val_t alignment, |
| 63 | const std::nothrow_t&) noexcept; // replaceable, C++17 |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 64 | |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 65 | void* operator new[](std::size_t size); // replaceable |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 66 | void* operator new[](std::size_t size, |
| 67 | std::align_val_t alignment) noexcept; // replaceable, C++17 |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 68 | void* operator new[](std::size_t size, const std::nothrow_t&) noexcept; // replaceable |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 69 | void* operator new[](std::size_t size, std::align_val_t alignment, |
| 70 | const std::nothrow_t&) noexcept; // replaceable, C++17 |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 71 | void operator delete[](void* ptr) noexcept; // replaceable |
Larisse Voufo | 19efe01 | 2015-02-15 05:18:55 +0000 | [diff] [blame] | 72 | void operator delete[](void* ptr, std::size_t size) noexcept; // replaceable, C++14 |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 73 | void operator delete[](void* ptr, |
| 74 | std::align_val_t alignment) noexcept; // replaceable, C++17 |
| 75 | void operator delete[](void* ptr, std::size_t size, |
| 76 | std::align_val_t alignment) noexcept; // replaceable, C++17 |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 77 | void operator delete[](void* ptr, const std::nothrow_t&) noexcept; // replaceable |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 78 | void operator delete[](void* ptr, std::align_val_t alignment, |
| 79 | const std::nothrow_t&) noexcept; // replaceable, C++17 |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 80 | |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 81 | void* operator new (std::size_t size, void* ptr) noexcept; |
| 82 | void* operator new[](std::size_t size, void* ptr) noexcept; |
| 83 | void operator delete (void* ptr, void*) noexcept; |
| 84 | void operator delete[](void* ptr, void*) noexcept; |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 85 | |
| 86 | */ |
| 87 | |
| 88 | #include <__config> |
| 89 | #include <exception> |
| 90 | #include <cstddef> |
Eric Fiselier | dbf60fa | 2016-09-06 21:25:27 +0000 | [diff] [blame] | 91 | #ifdef _LIBCPP_NO_EXCEPTIONS |
| 92 | #include <cstdlib> |
| 93 | #endif |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 94 | |
Howard Hinnant | 08e1747 | 2011-10-17 20:05:10 +0000 | [diff] [blame] | 95 | #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 96 | #pragma GCC system_header |
Howard Hinnant | 08e1747 | 2011-10-17 20:05:10 +0000 | [diff] [blame] | 97 | #endif |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 98 | |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 99 | #if !(defined(_LIBCPP_BUILDING_NEW) || _LIBCPP_STD_VER >= 14 || \ |
| 100 | (defined(__cpp_sized_deallocation) && __cpp_sized_deallocation >= 201309)) |
| 101 | # define _LIBCPP_HAS_NO_SIZED_DEALLOCATION |
| 102 | #endif |
| 103 | |
| 104 | #if !(defined(_LIBCPP_BUILDING_NEW) || _LIBCPP_STD_VER > 14 || \ |
| 105 | (defined(__cpp_aligned_new) && __cpp_aligned_new >= 201606)) |
| 106 | # define _LIBCPP_HAS_NO_ALIGNED_ALLOCATION |
| 107 | #endif |
| 108 | |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 109 | namespace std // purposefully not using versioning namespace |
| 110 | { |
| 111 | |
| 112 | class _LIBCPP_EXCEPTION_ABI bad_alloc |
| 113 | : public exception |
| 114 | { |
| 115 | public: |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 116 | bad_alloc() _NOEXCEPT; |
| 117 | virtual ~bad_alloc() _NOEXCEPT; |
| 118 | virtual const char* what() const _NOEXCEPT; |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 119 | }; |
| 120 | |
| 121 | class _LIBCPP_EXCEPTION_ABI bad_array_new_length |
| 122 | : public bad_alloc |
| 123 | { |
| 124 | public: |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 125 | bad_array_new_length() _NOEXCEPT; |
| 126 | virtual ~bad_array_new_length() _NOEXCEPT; |
| 127 | virtual const char* what() const _NOEXCEPT; |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 128 | }; |
| 129 | |
Marshall Clow | 14c09a2 | 2016-08-25 15:09:01 +0000 | [diff] [blame] | 130 | _LIBCPP_NORETURN _LIBCPP_FUNC_VIS void __throw_bad_alloc(); // not in C++ spec |
| 131 | |
Marshall Clow | 7f9f52e | 2013-09-11 01:38:42 +0000 | [diff] [blame] | 132 | #if defined(_LIBCPP_BUILDING_NEW) || (_LIBCPP_STD_VER > 11) |
Howard Hinnant | 29250b7 | 2013-11-07 17:15:51 +0000 | [diff] [blame] | 133 | |
Marshall Clow | 7f9f52e | 2013-09-11 01:38:42 +0000 | [diff] [blame] | 134 | class _LIBCPP_EXCEPTION_ABI bad_array_length |
| 135 | : public bad_alloc |
| 136 | { |
| 137 | public: |
| 138 | bad_array_length() _NOEXCEPT; |
| 139 | virtual ~bad_array_length() _NOEXCEPT; |
| 140 | virtual const char* what() const _NOEXCEPT; |
| 141 | }; |
Howard Hinnant | 29250b7 | 2013-11-07 17:15:51 +0000 | [diff] [blame] | 142 | |
| 143 | #define _LIBCPP_BAD_ARRAY_LENGTH_DEFINED |
| 144 | |
| 145 | #endif // defined(_LIBCPP_BUILDING_NEW) || (_LIBCPP_STD_VER > 11) |
Marshall Clow | 7f9f52e | 2013-09-11 01:38:42 +0000 | [diff] [blame] | 146 | |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 147 | #ifndef _LIBCPP_HAS_NO_ALIGNED_ALLOCATION |
| 148 | #ifndef _LIBCPP_CXX03_LANG |
| 149 | enum class _LIBCPP_ENUM_VIS align_val_t : size_t { }; |
| 150 | #else |
| 151 | enum align_val_t { __zero = 0, __max = (size_t)-1 }; |
| 152 | #endif |
| 153 | #endif |
| 154 | |
Howard Hinnant | 83eade6 | 2013-03-06 23:30:19 +0000 | [diff] [blame] | 155 | struct _LIBCPP_TYPE_VIS nothrow_t {}; |
| 156 | extern _LIBCPP_FUNC_VIS const nothrow_t nothrow; |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 157 | typedef void (*new_handler)(); |
Howard Hinnant | 83eade6 | 2013-03-06 23:30:19 +0000 | [diff] [blame] | 158 | _LIBCPP_FUNC_VIS new_handler set_new_handler(new_handler) _NOEXCEPT; |
| 159 | _LIBCPP_FUNC_VIS new_handler get_new_handler() _NOEXCEPT; |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 160 | |
| 161 | } // std |
| 162 | |
Eric Fiselier | b45121d | 2017-01-02 23:27:42 +0000 | [diff] [blame] | 163 | #if defined(_LIBCPP_CXX03_LANG) |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 164 | #define _THROW_BAD_ALLOC throw(std::bad_alloc) |
| 165 | #else |
| 166 | #define _THROW_BAD_ALLOC |
Howard Hinnant | ed56921 | 2011-05-26 18:23:59 +0000 | [diff] [blame] | 167 | #endif |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 168 | |
Shoaib Meenai | e6479bc | 2016-11-16 22:18:10 +0000 | [diff] [blame] | 169 | _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new(std::size_t __sz) _THROW_BAD_ALLOC; |
| 170 | _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new(std::size_t __sz, const std::nothrow_t&) _NOEXCEPT _NOALIAS; |
| 171 | _LIBCPP_OVERRIDABLE_FUNC_VIS void operator delete(void* __p) _NOEXCEPT; |
| 172 | _LIBCPP_OVERRIDABLE_FUNC_VIS void operator delete(void* __p, const std::nothrow_t&) _NOEXCEPT; |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 173 | #ifndef _LIBCPP_HAS_NO_SIZED_DEALLOCATION |
Shoaib Meenai | e6479bc | 2016-11-16 22:18:10 +0000 | [diff] [blame] | 174 | _LIBCPP_OVERRIDABLE_FUNC_VIS void operator delete(void* __p, std::size_t __sz) _NOEXCEPT; |
Larisse Voufo | 74f95a0 | 2015-02-20 06:13:05 +0000 | [diff] [blame] | 175 | #endif |
Howard Hinnant | 0f678bd | 2013-08-12 18:38:34 +0000 | [diff] [blame] | 176 | |
Shoaib Meenai | e6479bc | 2016-11-16 22:18:10 +0000 | [diff] [blame] | 177 | _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new[](std::size_t __sz) _THROW_BAD_ALLOC; |
| 178 | _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new[](std::size_t __sz, const std::nothrow_t&) _NOEXCEPT _NOALIAS; |
| 179 | _LIBCPP_OVERRIDABLE_FUNC_VIS void operator delete[](void* __p) _NOEXCEPT; |
| 180 | _LIBCPP_OVERRIDABLE_FUNC_VIS void operator delete[](void* __p, const std::nothrow_t&) _NOEXCEPT; |
Shoaib Meenai | f66194b | 2016-11-18 04:31:09 +0000 | [diff] [blame] | 181 | #ifndef _LIBCPP_HAS_NO_SIZED_DEALLOCATION |
Shoaib Meenai | e6479bc | 2016-11-16 22:18:10 +0000 | [diff] [blame] | 182 | _LIBCPP_OVERRIDABLE_FUNC_VIS void operator delete[](void* __p, std::size_t __sz) _NOEXCEPT; |
Larisse Voufo | 74f95a0 | 2015-02-20 06:13:05 +0000 | [diff] [blame] | 183 | #endif |
Howard Hinnant | 0f678bd | 2013-08-12 18:38:34 +0000 | [diff] [blame] | 184 | |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 185 | #ifndef _LIBCPP_HAS_NO_ALIGNED_ALLOCATION |
Shoaib Meenai | e6479bc | 2016-11-16 22:18:10 +0000 | [diff] [blame] | 186 | _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new(std::size_t __sz, std::align_val_t) _THROW_BAD_ALLOC; |
| 187 | _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new(std::size_t __sz, std::align_val_t, const std::nothrow_t&) _NOEXCEPT _NOALIAS; |
| 188 | _LIBCPP_OVERRIDABLE_FUNC_VIS void operator delete(void* __p, std::align_val_t) _NOEXCEPT; |
| 189 | _LIBCPP_OVERRIDABLE_FUNC_VIS void operator delete(void* __p, std::align_val_t, const std::nothrow_t&) _NOEXCEPT; |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 190 | #ifndef _LIBCPP_HAS_NO_SIZED_DEALLOCATION |
Shoaib Meenai | e6479bc | 2016-11-16 22:18:10 +0000 | [diff] [blame] | 191 | _LIBCPP_OVERRIDABLE_FUNC_VIS void operator delete(void* __p, std::size_t __sz, std::align_val_t) _NOEXCEPT; |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 192 | #endif |
| 193 | |
Shoaib Meenai | e6479bc | 2016-11-16 22:18:10 +0000 | [diff] [blame] | 194 | _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new[](std::size_t __sz, std::align_val_t) _THROW_BAD_ALLOC; |
| 195 | _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new[](std::size_t __sz, std::align_val_t, const std::nothrow_t&) _NOEXCEPT _NOALIAS; |
| 196 | _LIBCPP_OVERRIDABLE_FUNC_VIS void operator delete[](void* __p, std::align_val_t) _NOEXCEPT; |
| 197 | _LIBCPP_OVERRIDABLE_FUNC_VIS void operator delete[](void* __p, std::align_val_t, const std::nothrow_t&) _NOEXCEPT; |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 198 | #ifndef _LIBCPP_HAS_NO_SIZED_DEALLOCATION |
Shoaib Meenai | e6479bc | 2016-11-16 22:18:10 +0000 | [diff] [blame] | 199 | _LIBCPP_OVERRIDABLE_FUNC_VIS void operator delete[](void* __p, std::size_t __sz, std::align_val_t) _NOEXCEPT; |
Eric Fiselier | 9acbffa | 2016-10-14 06:46:30 +0000 | [diff] [blame] | 200 | #endif |
| 201 | #endif |
| 202 | |
Howard Hinnant | 1e56424 | 2013-10-04 22:09:00 +0000 | [diff] [blame] | 203 | inline _LIBCPP_INLINE_VISIBILITY void* operator new (std::size_t, void* __p) _NOEXCEPT {return __p;} |
| 204 | inline _LIBCPP_INLINE_VISIBILITY void* operator new[](std::size_t, void* __p) _NOEXCEPT {return __p;} |
| 205 | inline _LIBCPP_INLINE_VISIBILITY void operator delete (void*, void*) _NOEXCEPT {} |
| 206 | inline _LIBCPP_INLINE_VISIBILITY void operator delete[](void*, void*) _NOEXCEPT {} |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 207 | |
Richard Smith | 73c1fce | 2014-06-04 19:54:15 +0000 | [diff] [blame] | 208 | _LIBCPP_BEGIN_NAMESPACE_STD |
| 209 | |
| 210 | inline _LIBCPP_INLINE_VISIBILITY void *__allocate(size_t __size) { |
| 211 | #ifdef _LIBCPP_HAS_NO_BUILTIN_OPERATOR_NEW_DELETE |
| 212 | return ::operator new(__size); |
| 213 | #else |
| 214 | return __builtin_operator_new(__size); |
| 215 | #endif |
| 216 | } |
| 217 | |
Eric Fiselier | 32b19c3 | 2017-01-07 03:01:24 +0000 | [diff] [blame] | 218 | inline _LIBCPP_INLINE_VISIBILITY void __libcpp_deallocate(void *__ptr) { |
Richard Smith | 73c1fce | 2014-06-04 19:54:15 +0000 | [diff] [blame] | 219 | #ifdef _LIBCPP_HAS_NO_BUILTIN_OPERATOR_NEW_DELETE |
| 220 | ::operator delete(__ptr); |
| 221 | #else |
| 222 | __builtin_operator_delete(__ptr); |
| 223 | #endif |
| 224 | } |
| 225 | |
Marshall Clow | 14c09a2 | 2016-08-25 15:09:01 +0000 | [diff] [blame] | 226 | #ifdef _LIBCPP_BAD_ARRAY_LENGTH_DEFINED |
| 227 | _LIBCPP_NORETURN inline _LIBCPP_ALWAYS_INLINE |
| 228 | void __throw_bad_array_length() |
| 229 | { |
| 230 | #ifndef _LIBCPP_NO_EXCEPTIONS |
| 231 | throw bad_array_length(); |
| 232 | #else |
| 233 | _VSTD::abort(); |
| 234 | #endif |
| 235 | } |
| 236 | #endif |
| 237 | |
Richard Smith | 73c1fce | 2014-06-04 19:54:15 +0000 | [diff] [blame] | 238 | _LIBCPP_END_NAMESPACE_STD |
| 239 | |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 240 | #endif // _LIBCPP_NEW |