xref: /freebsd/contrib/llvm-project/libcxx/include/new (revision bdd1243df58e60e85101c09001d9812a789b6bc4)
10b57cec5SDimitry Andric// -*- C++ -*-
2349cc55cSDimitry Andric//===----------------------------------------------------------------------===//
30b57cec5SDimitry Andric//
40b57cec5SDimitry Andric// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
50b57cec5SDimitry Andric// See https://llvm.org/LICENSE.txt for license information.
60b57cec5SDimitry Andric// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
70b57cec5SDimitry Andric//
80b57cec5SDimitry Andric//===----------------------------------------------------------------------===//
90b57cec5SDimitry Andric
100b57cec5SDimitry Andric#ifndef _LIBCPP_NEW
110b57cec5SDimitry Andric#define _LIBCPP_NEW
120b57cec5SDimitry Andric
130b57cec5SDimitry Andric/*
140b57cec5SDimitry Andric    new synopsis
150b57cec5SDimitry Andric
160b57cec5SDimitry Andricnamespace std
170b57cec5SDimitry Andric{
180b57cec5SDimitry Andric
190b57cec5SDimitry Andricclass bad_alloc
200b57cec5SDimitry Andric    : public exception
210b57cec5SDimitry Andric{
220b57cec5SDimitry Andricpublic:
230b57cec5SDimitry Andric    bad_alloc() noexcept;
240b57cec5SDimitry Andric    bad_alloc(const bad_alloc&) noexcept;
250b57cec5SDimitry Andric    bad_alloc& operator=(const bad_alloc&) noexcept;
260b57cec5SDimitry Andric    virtual const char* what() const noexcept;
270b57cec5SDimitry Andric};
280b57cec5SDimitry Andric
290b57cec5SDimitry Andricclass bad_array_new_length : public bad_alloc // C++14
300b57cec5SDimitry Andric{
310b57cec5SDimitry Andricpublic:
320b57cec5SDimitry Andric    bad_array_new_length() noexcept;
330b57cec5SDimitry Andric};
340b57cec5SDimitry Andric
350b57cec5SDimitry Andricenum class align_val_t : size_t {}; // C++17
360b57cec5SDimitry Andric
370b57cec5SDimitry Andricstruct destroying_delete_t { // C++20
380b57cec5SDimitry Andric  explicit destroying_delete_t() = default;
390b57cec5SDimitry Andric};
400b57cec5SDimitry Andricinline constexpr destroying_delete_t destroying_delete{}; // C++20
410b57cec5SDimitry Andric
42e40139ffSDimitry Andricstruct nothrow_t { explicit nothrow_t() = default; };
430b57cec5SDimitry Andricextern const nothrow_t nothrow;
440b57cec5SDimitry Andrictypedef void (*new_handler)();
450b57cec5SDimitry Andricnew_handler set_new_handler(new_handler new_p) noexcept;
460b57cec5SDimitry Andricnew_handler get_new_handler() noexcept;
470b57cec5SDimitry Andric
480b57cec5SDimitry Andric// 21.6.4, pointer optimization barrier
490b57cec5SDimitry Andrictemplate <class T> constexpr T* launder(T* p) noexcept; // C++17
500b57cec5SDimitry Andric}  // std
510b57cec5SDimitry Andric
52e8d8bef9SDimitry Andricvoid* operator new(std::size_t size);                                   // replaceable, nodiscard in C++20
53e8d8bef9SDimitry Andricvoid* operator new(std::size_t size, std::align_val_t alignment);       // replaceable, C++17, nodiscard in C++20
54e8d8bef9SDimitry Andricvoid* operator new(std::size_t size, const std::nothrow_t&) noexcept;   // replaceable, nodiscard in C++20
550b57cec5SDimitry Andricvoid* operator new(std::size_t size, std::align_val_t alignment,
56e8d8bef9SDimitry Andric                   const std::nothrow_t&) noexcept;                     // replaceable, C++17, nodiscard in C++20
570b57cec5SDimitry Andricvoid  operator delete(void* ptr) noexcept;                              // replaceable
580b57cec5SDimitry Andricvoid  operator delete(void* ptr, std::size_t size) noexcept;            // replaceable, C++14
590b57cec5SDimitry Andricvoid  operator delete(void* ptr, std::align_val_t alignment) noexcept;  // replaceable, C++17
600b57cec5SDimitry Andricvoid  operator delete(void* ptr, std::size_t size,
610b57cec5SDimitry Andric                      std::align_val_t alignment) noexcept;             // replaceable, C++17
620b57cec5SDimitry Andricvoid  operator delete(void* ptr, const std::nothrow_t&) noexcept;       // replaceable
630b57cec5SDimitry Andricvoid  operator delete(void* ptr, std:align_val_t alignment,
640b57cec5SDimitry Andric                      const std::nothrow_t&) noexcept;                  // replaceable, C++17
650b57cec5SDimitry Andric
66e8d8bef9SDimitry Andricvoid* operator new[](std::size_t size);                                 // replaceable, nodiscard in C++20
670b57cec5SDimitry Andricvoid* operator new[](std::size_t size,
68e8d8bef9SDimitry Andric                     std::align_val_t alignment) noexcept;              // replaceable, C++17, nodiscard in C++20
69e8d8bef9SDimitry Andricvoid* operator new[](std::size_t size, const std::nothrow_t&) noexcept; // replaceable, nodiscard in C++20
700b57cec5SDimitry Andricvoid* operator new[](std::size_t size, std::align_val_t alignment,
71e8d8bef9SDimitry Andric                     const std::nothrow_t&) noexcept;                   // replaceable, C++17, nodiscard in C++20
720b57cec5SDimitry Andricvoid  operator delete[](void* ptr) noexcept;                            // replaceable
730b57cec5SDimitry Andricvoid  operator delete[](void* ptr, std::size_t size) noexcept;          // replaceable, C++14
740b57cec5SDimitry Andricvoid  operator delete[](void* ptr,
750b57cec5SDimitry Andric                        std::align_val_t alignment) noexcept;           // replaceable, C++17
760b57cec5SDimitry Andricvoid  operator delete[](void* ptr, std::size_t size,
770b57cec5SDimitry Andric                        std::align_val_t alignment) noexcept;           // replaceable, C++17
780b57cec5SDimitry Andricvoid  operator delete[](void* ptr, const std::nothrow_t&) noexcept;     // replaceable
790b57cec5SDimitry Andricvoid  operator delete[](void* ptr, std::align_val_t alignment,
800b57cec5SDimitry Andric                        const std::nothrow_t&) noexcept;                // replaceable, C++17
810b57cec5SDimitry Andric
82e8d8bef9SDimitry Andricvoid* operator new  (std::size_t size, void* ptr) noexcept;             // nodiscard in C++20
83e8d8bef9SDimitry Andricvoid* operator new[](std::size_t size, void* ptr) noexcept;             // nodiscard in C++20
840b57cec5SDimitry Andricvoid  operator delete  (void* ptr, void*) noexcept;
850b57cec5SDimitry Andricvoid  operator delete[](void* ptr, void*) noexcept;
860b57cec5SDimitry Andric
870b57cec5SDimitry Andric*/
880b57cec5SDimitry Andric
8981ad6265SDimitry Andric#include <__assert> // all public C++ headers provide the assertion handler
90e8d8bef9SDimitry Andric#include <__availability>
91fe6060f1SDimitry Andric#include <__config>
92*bdd1243dSDimitry Andric#include <__type_traits/is_function.h>
93*bdd1243dSDimitry Andric#include <__type_traits/is_same.h>
94*bdd1243dSDimitry Andric#include <__type_traits/remove_cv.h>
95e8d8bef9SDimitry Andric#include <cstddef>
96e8d8bef9SDimitry Andric#include <cstdlib>
970b57cec5SDimitry Andric#include <exception>
980b57cec5SDimitry Andric#include <version>
990b57cec5SDimitry Andric
1000b57cec5SDimitry Andric#if defined(_LIBCPP_ABI_VCRUNTIME)
1010b57cec5SDimitry Andric#include <new.h>
1020b57cec5SDimitry Andric#endif
1030b57cec5SDimitry Andric
1040b57cec5SDimitry Andric#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
1050b57cec5SDimitry Andric#  pragma GCC system_header
1060b57cec5SDimitry Andric#endif
1070b57cec5SDimitry Andric
1080b57cec5SDimitry Andric#if !defined(__cpp_sized_deallocation) || __cpp_sized_deallocation  < 201309L
1090b57cec5SDimitry Andric#define _LIBCPP_HAS_NO_LANGUAGE_SIZED_DEALLOCATION
1100b57cec5SDimitry Andric#endif
1110b57cec5SDimitry Andric
1120b57cec5SDimitry Andric#if !defined(_LIBCPP_BUILDING_LIBRARY) && _LIBCPP_STD_VER < 14 && \
1130b57cec5SDimitry Andric    defined(_LIBCPP_HAS_NO_LANGUAGE_SIZED_DEALLOCATION)
1140b57cec5SDimitry Andric# define _LIBCPP_HAS_NO_LIBRARY_SIZED_DEALLOCATION
1150b57cec5SDimitry Andric#endif
1160b57cec5SDimitry Andric
1170b57cec5SDimitry Andric#if defined(_LIBCPP_HAS_NO_LIBRARY_SIZED_DEALLOCATION) || \
1180b57cec5SDimitry Andric    defined(_LIBCPP_HAS_NO_LANGUAGE_SIZED_DEALLOCATION)
1190b57cec5SDimitry Andric# define _LIBCPP_HAS_NO_SIZED_DEALLOCATION
1200b57cec5SDimitry Andric#endif
1210b57cec5SDimitry Andric
1220b57cec5SDimitry Andricnamespace std  // purposefully not using versioning namespace
1230b57cec5SDimitry Andric{
1240b57cec5SDimitry Andric
1250b57cec5SDimitry Andric#if !defined(_LIBCPP_ABI_VCRUNTIME)
126e40139ffSDimitry Andricstruct _LIBCPP_TYPE_VIS nothrow_t { explicit nothrow_t() = default; };
1270b57cec5SDimitry Andricextern _LIBCPP_FUNC_VIS const nothrow_t nothrow;
1280b57cec5SDimitry Andric
1290b57cec5SDimitry Andricclass _LIBCPP_EXCEPTION_ABI bad_alloc
1300b57cec5SDimitry Andric    : public exception
1310b57cec5SDimitry Andric{
1320b57cec5SDimitry Andricpublic:
1330b57cec5SDimitry Andric    bad_alloc() _NOEXCEPT;
134*bdd1243dSDimitry Andric    ~bad_alloc() _NOEXCEPT override;
135*bdd1243dSDimitry Andric    const char* what() const _NOEXCEPT override;
1360b57cec5SDimitry Andric};
1370b57cec5SDimitry Andric
1380b57cec5SDimitry Andricclass _LIBCPP_EXCEPTION_ABI bad_array_new_length
1390b57cec5SDimitry Andric    : public bad_alloc
1400b57cec5SDimitry Andric{
1410b57cec5SDimitry Andricpublic:
1420b57cec5SDimitry Andric    bad_array_new_length() _NOEXCEPT;
143*bdd1243dSDimitry Andric    ~bad_array_new_length() _NOEXCEPT override;
144*bdd1243dSDimitry Andric    const char* what() const _NOEXCEPT override;
1450b57cec5SDimitry Andric};
1460b57cec5SDimitry Andric
1470b57cec5SDimitry Andrictypedef void (*new_handler)();
1480b57cec5SDimitry Andric_LIBCPP_FUNC_VIS new_handler set_new_handler(new_handler) _NOEXCEPT;
1490b57cec5SDimitry Andric_LIBCPP_FUNC_VIS new_handler get_new_handler() _NOEXCEPT;
1500b57cec5SDimitry Andric
151*bdd1243dSDimitry Andric#elif defined(_HAS_EXCEPTIONS) && _HAS_EXCEPTIONS == 0 // !_LIBCPP_ABI_VCRUNTIME
152*bdd1243dSDimitry Andric
153*bdd1243dSDimitry Andric// When _HAS_EXCEPTIONS == 0, these complete definitions are needed,
154*bdd1243dSDimitry Andric// since they would normally be provided in vcruntime_exception.h
155*bdd1243dSDimitry Andricclass bad_alloc : public exception {
156*bdd1243dSDimitry Andricpublic:
157*bdd1243dSDimitry Andric  bad_alloc() noexcept : exception("bad allocation") {}
158*bdd1243dSDimitry Andric
159*bdd1243dSDimitry Andricprivate:
160*bdd1243dSDimitry Andric  friend class bad_array_new_length;
161*bdd1243dSDimitry Andric
162*bdd1243dSDimitry Andric  bad_alloc(char const* const __message) noexcept : exception(__message) {}
163*bdd1243dSDimitry Andric};
164*bdd1243dSDimitry Andric
165*bdd1243dSDimitry Andricclass bad_array_new_length : public bad_alloc {
166*bdd1243dSDimitry Andricpublic:
167*bdd1243dSDimitry Andric  bad_array_new_length() noexcept : bad_alloc("bad array new length") {}
168*bdd1243dSDimitry Andric};
169*bdd1243dSDimitry Andric#endif // defined(_LIBCPP_ABI_VCRUNTIME) && defined(_HAS_EXCEPTIONS) && _HAS_EXCEPTIONS == 0
1700b57cec5SDimitry Andric
1710b57cec5SDimitry Andric_LIBCPP_NORETURN _LIBCPP_FUNC_VIS void __throw_bad_alloc();  // not in C++ spec
1720b57cec5SDimitry Andric
173349cc55cSDimitry Andric_LIBCPP_NORETURN inline _LIBCPP_INLINE_VISIBILITY
174349cc55cSDimitry Andricvoid __throw_bad_array_new_length()
175349cc55cSDimitry Andric{
176349cc55cSDimitry Andric#ifndef _LIBCPP_NO_EXCEPTIONS
177349cc55cSDimitry Andric    throw bad_array_new_length();
178349cc55cSDimitry Andric#else
179349cc55cSDimitry Andric    _VSTD::abort();
180349cc55cSDimitry Andric#endif
181349cc55cSDimitry Andric}
182349cc55cSDimitry Andric
1830b57cec5SDimitry Andric#if !defined(_LIBCPP_HAS_NO_LIBRARY_ALIGNED_ALLOCATION) && \
1840b57cec5SDimitry Andric    !defined(_LIBCPP_ABI_VCRUNTIME)
1850b57cec5SDimitry Andric#ifndef _LIBCPP_CXX03_LANG
1860b57cec5SDimitry Andricenum class _LIBCPP_ENUM_VIS align_val_t : size_t { };
1870b57cec5SDimitry Andric#else
1880b57cec5SDimitry Andricenum align_val_t { __zero = 0, __max = (size_t)-1 };
1890b57cec5SDimitry Andric#endif
1900b57cec5SDimitry Andric#endif
1910b57cec5SDimitry Andric
1920b57cec5SDimitry Andric#if _LIBCPP_STD_VER > 17
1930b57cec5SDimitry Andric// Enable the declaration even if the compiler doesn't support the language
1940b57cec5SDimitry Andric// feature.
1950b57cec5SDimitry Andricstruct destroying_delete_t {
1960b57cec5SDimitry Andric  explicit destroying_delete_t() = default;
1970b57cec5SDimitry Andric};
198349cc55cSDimitry Andricinline constexpr destroying_delete_t destroying_delete{};
1990b57cec5SDimitry Andric#endif // _LIBCPP_STD_VER > 17
2000b57cec5SDimitry Andric
2010eae32dcSDimitry Andric} // namespace std
2020b57cec5SDimitry Andric
2030b57cec5SDimitry Andric#if defined(_LIBCPP_CXX03_LANG)
2040b57cec5SDimitry Andric#define _THROW_BAD_ALLOC throw(std::bad_alloc)
2050b57cec5SDimitry Andric#else
2060b57cec5SDimitry Andric#define _THROW_BAD_ALLOC
2070b57cec5SDimitry Andric#endif
2080b57cec5SDimitry Andric
2090b57cec5SDimitry Andric#if !defined(_LIBCPP_ABI_VCRUNTIME)
2100b57cec5SDimitry Andric
2110b57cec5SDimitry Andric_LIBCPP_NODISCARD_AFTER_CXX17 _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new(std::size_t __sz) _THROW_BAD_ALLOC;
2120b57cec5SDimitry Andric_LIBCPP_NODISCARD_AFTER_CXX17 _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new(std::size_t __sz, const std::nothrow_t&) _NOEXCEPT _LIBCPP_NOALIAS;
2130b57cec5SDimitry Andric_LIBCPP_OVERRIDABLE_FUNC_VIS void  operator delete(void* __p) _NOEXCEPT;
2140b57cec5SDimitry Andric_LIBCPP_OVERRIDABLE_FUNC_VIS void  operator delete(void* __p, const std::nothrow_t&) _NOEXCEPT;
2150b57cec5SDimitry Andric#ifndef _LIBCPP_HAS_NO_LIBRARY_SIZED_DEALLOCATION
2160b57cec5SDimitry Andric_LIBCPP_OVERRIDABLE_FUNC_VIS _LIBCPP_AVAILABILITY_SIZED_NEW_DELETE void  operator delete(void* __p, std::size_t __sz) _NOEXCEPT;
2170b57cec5SDimitry Andric#endif
2180b57cec5SDimitry Andric
2190b57cec5SDimitry Andric_LIBCPP_NODISCARD_AFTER_CXX17 _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new[](std::size_t __sz) _THROW_BAD_ALLOC;
2200b57cec5SDimitry Andric_LIBCPP_NODISCARD_AFTER_CXX17 _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new[](std::size_t __sz, const std::nothrow_t&) _NOEXCEPT _LIBCPP_NOALIAS;
2210b57cec5SDimitry Andric_LIBCPP_OVERRIDABLE_FUNC_VIS void  operator delete[](void* __p) _NOEXCEPT;
2220b57cec5SDimitry Andric_LIBCPP_OVERRIDABLE_FUNC_VIS void  operator delete[](void* __p, const std::nothrow_t&) _NOEXCEPT;
2230b57cec5SDimitry Andric#ifndef _LIBCPP_HAS_NO_LIBRARY_SIZED_DEALLOCATION
2240b57cec5SDimitry Andric_LIBCPP_OVERRIDABLE_FUNC_VIS _LIBCPP_AVAILABILITY_SIZED_NEW_DELETE void  operator delete[](void* __p, std::size_t __sz) _NOEXCEPT;
2250b57cec5SDimitry Andric#endif
2260b57cec5SDimitry Andric
2270b57cec5SDimitry Andric#ifndef _LIBCPP_HAS_NO_LIBRARY_ALIGNED_ALLOCATION
2280b57cec5SDimitry Andric_LIBCPP_NODISCARD_AFTER_CXX17 _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new(std::size_t __sz, std::align_val_t) _THROW_BAD_ALLOC;
2290b57cec5SDimitry Andric_LIBCPP_NODISCARD_AFTER_CXX17 _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new(std::size_t __sz, std::align_val_t, const std::nothrow_t&) _NOEXCEPT _LIBCPP_NOALIAS;
2300b57cec5SDimitry Andric_LIBCPP_OVERRIDABLE_FUNC_VIS void  operator delete(void* __p, std::align_val_t) _NOEXCEPT;
2310b57cec5SDimitry Andric_LIBCPP_OVERRIDABLE_FUNC_VIS void  operator delete(void* __p, std::align_val_t, const std::nothrow_t&) _NOEXCEPT;
2320b57cec5SDimitry Andric#ifndef _LIBCPP_HAS_NO_LIBRARY_SIZED_DEALLOCATION
2330b57cec5SDimitry Andric_LIBCPP_OVERRIDABLE_FUNC_VIS _LIBCPP_AVAILABILITY_SIZED_NEW_DELETE void  operator delete(void* __p, std::size_t __sz, std::align_val_t) _NOEXCEPT;
2340b57cec5SDimitry Andric#endif
2350b57cec5SDimitry Andric
2360b57cec5SDimitry Andric_LIBCPP_NODISCARD_AFTER_CXX17 _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new[](std::size_t __sz, std::align_val_t) _THROW_BAD_ALLOC;
2370b57cec5SDimitry Andric_LIBCPP_NODISCARD_AFTER_CXX17 _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new[](std::size_t __sz, std::align_val_t, const std::nothrow_t&) _NOEXCEPT _LIBCPP_NOALIAS;
2380b57cec5SDimitry Andric_LIBCPP_OVERRIDABLE_FUNC_VIS void  operator delete[](void* __p, std::align_val_t) _NOEXCEPT;
2390b57cec5SDimitry Andric_LIBCPP_OVERRIDABLE_FUNC_VIS void  operator delete[](void* __p, std::align_val_t, const std::nothrow_t&) _NOEXCEPT;
2400b57cec5SDimitry Andric#ifndef _LIBCPP_HAS_NO_LIBRARY_SIZED_DEALLOCATION
2410b57cec5SDimitry Andric_LIBCPP_OVERRIDABLE_FUNC_VIS _LIBCPP_AVAILABILITY_SIZED_NEW_DELETE void  operator delete[](void* __p, std::size_t __sz, std::align_val_t) _NOEXCEPT;
2420b57cec5SDimitry Andric#endif
2430b57cec5SDimitry Andric#endif
2440b57cec5SDimitry Andric
2450b57cec5SDimitry Andric_LIBCPP_NODISCARD_AFTER_CXX17 inline _LIBCPP_INLINE_VISIBILITY void* operator new  (std::size_t, void* __p) _NOEXCEPT {return __p;}
2460b57cec5SDimitry Andric_LIBCPP_NODISCARD_AFTER_CXX17 inline _LIBCPP_INLINE_VISIBILITY void* operator new[](std::size_t, void* __p) _NOEXCEPT {return __p;}
2470b57cec5SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY void  operator delete  (void*, void*) _NOEXCEPT {}
2480b57cec5SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY void  operator delete[](void*, void*) _NOEXCEPT {}
2490b57cec5SDimitry Andric
2500b57cec5SDimitry Andric#endif // !_LIBCPP_ABI_VCRUNTIME
2510b57cec5SDimitry Andric
2520b57cec5SDimitry Andric_LIBCPP_BEGIN_NAMESPACE_STD
2530b57cec5SDimitry Andric
2540b57cec5SDimitry Andric_LIBCPP_CONSTEXPR inline _LIBCPP_INLINE_VISIBILITY bool __is_overaligned_for_new(size_t __align) _NOEXCEPT {
2550b57cec5SDimitry Andric#ifdef __STDCPP_DEFAULT_NEW_ALIGNMENT__
2560b57cec5SDimitry Andric  return __align > __STDCPP_DEFAULT_NEW_ALIGNMENT__;
2570b57cec5SDimitry Andric#else
2580b57cec5SDimitry Andric  return __align > alignment_of<max_align_t>::value;
2590b57cec5SDimitry Andric#endif
2600b57cec5SDimitry Andric}
2610b57cec5SDimitry Andric
262e8d8bef9SDimitry Andrictemplate <class ..._Args>
263e8d8bef9SDimitry Andric_LIBCPP_INLINE_VISIBILITY
264e8d8bef9SDimitry Andricvoid* __libcpp_operator_new(_Args ...__args) {
265e8d8bef9SDimitry Andric#if __has_builtin(__builtin_operator_new) && __has_builtin(__builtin_operator_delete)
266e8d8bef9SDimitry Andric  return __builtin_operator_new(__args...);
2670b57cec5SDimitry Andric#else
268e8d8bef9SDimitry Andric  return ::operator new(__args...);
2690b57cec5SDimitry Andric#endif
2700b57cec5SDimitry Andric}
2710b57cec5SDimitry Andric
272e8d8bef9SDimitry Andrictemplate <class ..._Args>
273e8d8bef9SDimitry Andric_LIBCPP_INLINE_VISIBILITY
274e8d8bef9SDimitry Andricvoid __libcpp_operator_delete(_Args ...__args) {
275e8d8bef9SDimitry Andric#if __has_builtin(__builtin_operator_new) && __has_builtin(__builtin_operator_delete)
276e8d8bef9SDimitry Andric  __builtin_operator_delete(__args...);
277e8d8bef9SDimitry Andric#else
278e8d8bef9SDimitry Andric  ::operator delete(__args...);
279e8d8bef9SDimitry Andric#endif
280e8d8bef9SDimitry Andric}
281e8d8bef9SDimitry Andric
282e8d8bef9SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY
283e8d8bef9SDimitry Andricvoid *__libcpp_allocate(size_t __size, size_t __align) {
284e8d8bef9SDimitry Andric#ifndef _LIBCPP_HAS_NO_ALIGNED_ALLOCATION
285e8d8bef9SDimitry Andric  if (__is_overaligned_for_new(__align)) {
286e8d8bef9SDimitry Andric    const align_val_t __align_val = static_cast<align_val_t>(__align);
287e8d8bef9SDimitry Andric    return __libcpp_operator_new(__size, __align_val);
288e8d8bef9SDimitry Andric  }
289e8d8bef9SDimitry Andric#endif
290e8d8bef9SDimitry Andric
291e8d8bef9SDimitry Andric  (void)__align;
292e8d8bef9SDimitry Andric  return __libcpp_operator_new(__size);
293e8d8bef9SDimitry Andric}
294e8d8bef9SDimitry Andric
295e8d8bef9SDimitry Andrictemplate <class ..._Args>
296e8d8bef9SDimitry Andric_LIBCPP_INLINE_VISIBILITY
297e8d8bef9SDimitry Andricvoid __do_deallocate_handle_size(void *__ptr, size_t __size, _Args ...__args) {
298e8d8bef9SDimitry Andric#ifdef _LIBCPP_HAS_NO_SIZED_DEALLOCATION
299e8d8bef9SDimitry Andric  (void)__size;
300*bdd1243dSDimitry Andric  return std::__libcpp_operator_delete(__ptr, __args...);
301e8d8bef9SDimitry Andric#else
302*bdd1243dSDimitry Andric  return std::__libcpp_operator_delete(__ptr, __size, __args...);
303e8d8bef9SDimitry Andric#endif
304e8d8bef9SDimitry Andric}
305e8d8bef9SDimitry Andric
306e8d8bef9SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY
307e8d8bef9SDimitry Andricvoid __libcpp_deallocate(void* __ptr, size_t __size, size_t __align) {
3080b57cec5SDimitry Andric#if defined(_LIBCPP_HAS_NO_ALIGNED_ALLOCATION)
309e8d8bef9SDimitry Andric    (void)__align;
3100b57cec5SDimitry Andric    return __do_deallocate_handle_size(__ptr, __size);
3110b57cec5SDimitry Andric#else
3120b57cec5SDimitry Andric    if (__is_overaligned_for_new(__align)) {
3130b57cec5SDimitry Andric      const align_val_t __align_val = static_cast<align_val_t>(__align);
3140b57cec5SDimitry Andric      return __do_deallocate_handle_size(__ptr, __size, __align_val);
3150b57cec5SDimitry Andric    } else {
3160b57cec5SDimitry Andric      return __do_deallocate_handle_size(__ptr, __size);
3170b57cec5SDimitry Andric    }
3180b57cec5SDimitry Andric#endif
3190b57cec5SDimitry Andric}
3200b57cec5SDimitry Andric
321e8d8bef9SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY void __libcpp_deallocate_unsized(void* __ptr, size_t __align) {
3220b57cec5SDimitry Andric#if defined(_LIBCPP_HAS_NO_ALIGNED_ALLOCATION)
323e8d8bef9SDimitry Andric    (void)__align;
324e8d8bef9SDimitry Andric    return __libcpp_operator_delete(__ptr);
3250b57cec5SDimitry Andric#else
3260b57cec5SDimitry Andric    if (__is_overaligned_for_new(__align)) {
3270b57cec5SDimitry Andric      const align_val_t __align_val = static_cast<align_val_t>(__align);
328e8d8bef9SDimitry Andric      return __libcpp_operator_delete(__ptr, __align_val);
3290b57cec5SDimitry Andric    } else {
330e8d8bef9SDimitry Andric      return __libcpp_operator_delete(__ptr);
3310b57cec5SDimitry Andric    }
3320b57cec5SDimitry Andric#endif
3330b57cec5SDimitry Andric}
3340b57cec5SDimitry Andric
335e8d8bef9SDimitry Andric#if !defined(_LIBCPP_HAS_NO_LIBRARY_ALIGNED_ALLOCATION)
336e8d8bef9SDimitry Andric// Low-level helpers to call the aligned allocation and deallocation functions
337e8d8bef9SDimitry Andric// on the target platform. This is used to implement libc++'s own memory
338e8d8bef9SDimitry Andric// allocation routines -- if you need to allocate memory inside the library,
339e8d8bef9SDimitry Andric// chances are that you want to use `__libcpp_allocate` instead.
340e8d8bef9SDimitry Andric//
341e8d8bef9SDimitry Andric// Returns the allocated memory, or `nullptr` on failure.
342*bdd1243dSDimitry Andricinline _LIBCPP_INLINE_VISIBILITY void* __libcpp_aligned_alloc(std::size_t __alignment, std::size_t __size) {
343e8d8bef9SDimitry Andric#  if defined(_LIBCPP_MSVCRT_LIKE)
344e8d8bef9SDimitry Andric    return ::_aligned_malloc(__size, __alignment);
345*bdd1243dSDimitry Andric#  elif _LIBCPP_STD_VER > 14 && !defined(_LIBCPP_HAS_NO_C11_ALIGNED_ALLOC)
346*bdd1243dSDimitry Andric    // aligned_alloc() requires that __size is a multiple of __alignment,
347*bdd1243dSDimitry Andric    // but for C++ [new.delete.general], only states "if the value of an
348*bdd1243dSDimitry Andric    // alignment argument passed to any of these functions is not a valid
349*bdd1243dSDimitry Andric    // alignment value, the behavior is undefined".
350*bdd1243dSDimitry Andric    // To handle calls such as ::operator new(1, std::align_val_t(128)), we
351*bdd1243dSDimitry Andric    // round __size up to the next multiple of __alignment.
352*bdd1243dSDimitry Andric    size_t __rounded_size = (__size + __alignment - 1) & ~(__alignment - 1);
353*bdd1243dSDimitry Andric    // Rounding up could have wrapped around to zero, so we have to add another
354*bdd1243dSDimitry Andric    // max() ternary to the actual call site to avoid succeeded in that case.
355*bdd1243dSDimitry Andric    return ::aligned_alloc(__alignment, __size > __rounded_size ? __size : __rounded_size);
3560b57cec5SDimitry Andric#  else
357e8d8bef9SDimitry Andric    void* __result = nullptr;
358fe6060f1SDimitry Andric    (void)::posix_memalign(&__result, __alignment, __size);
359e8d8bef9SDimitry Andric    // If posix_memalign fails, __result is unmodified so we still return `nullptr`.
360e8d8bef9SDimitry Andric    return __result;
3610b57cec5SDimitry Andric#  endif
3620b57cec5SDimitry Andric}
3630b57cec5SDimitry Andric
364e8d8bef9SDimitry Andricinline _LIBCPP_INLINE_VISIBILITY
365e8d8bef9SDimitry Andricvoid __libcpp_aligned_free(void* __ptr) {
366e8d8bef9SDimitry Andric#if defined(_LIBCPP_MSVCRT_LIKE)
367e8d8bef9SDimitry Andric  ::_aligned_free(__ptr);
3680b57cec5SDimitry Andric#else
369e8d8bef9SDimitry Andric  ::free(__ptr);
3700b57cec5SDimitry Andric#endif
3710b57cec5SDimitry Andric}
372e8d8bef9SDimitry Andric#endif // !_LIBCPP_HAS_NO_ALIGNED_ALLOCATION
3730b57cec5SDimitry Andric
3740b57cec5SDimitry Andric
3750b57cec5SDimitry Andrictemplate <class _Tp>
376349cc55cSDimitry Andric_LIBCPP_NODISCARD_AFTER_CXX17 inline _LIBCPP_HIDE_FROM_ABI
3770b57cec5SDimitry Andric_LIBCPP_CONSTEXPR _Tp* __launder(_Tp* __p) _NOEXCEPT
3780b57cec5SDimitry Andric{
3790b57cec5SDimitry Andric    static_assert (!(is_function<_Tp>::value), "can't launder functions" );
380*bdd1243dSDimitry Andric    static_assert (!(is_same<void, __remove_cv_t<_Tp> >::value), "can't launder cv-void" );
3810b57cec5SDimitry Andric    return __builtin_launder(__p);
3820b57cec5SDimitry Andric}
3830b57cec5SDimitry Andric
3840b57cec5SDimitry Andric#if _LIBCPP_STD_VER > 14
3850b57cec5SDimitry Andrictemplate <class _Tp>
386349cc55cSDimitry Andric_LIBCPP_NODISCARD_AFTER_CXX17 inline _LIBCPP_HIDE_FROM_ABI
3870b57cec5SDimitry Andricconstexpr _Tp* launder(_Tp* __p) noexcept
3880b57cec5SDimitry Andric{
3890b57cec5SDimitry Andric    return _VSTD::__launder(__p);
3900b57cec5SDimitry Andric}
3910b57cec5SDimitry Andric#endif
3920b57cec5SDimitry Andric
39381ad6265SDimitry Andric#if _LIBCPP_STD_VER > 14
39481ad6265SDimitry Andric
39581ad6265SDimitry Andric#if defined(__GCC_DESTRUCTIVE_SIZE) && defined(__GCC_CONSTRUCTIVE_SIZE)
39681ad6265SDimitry Andric
39781ad6265SDimitry Andricinline constexpr size_t hardware_destructive_interference_size = __GCC_DESTRUCTIVE_SIZE;
39881ad6265SDimitry Andricinline constexpr size_t hardware_constructive_interference_size = __GCC_CONSTRUCTIVE_SIZE;
39981ad6265SDimitry Andric
40081ad6265SDimitry Andric#endif // defined(__GCC_DESTRUCTIVE_SIZE) && defined(__GCC_CONSTRUCTIVE_SIZE)
40181ad6265SDimitry Andric
40281ad6265SDimitry Andric#endif // _LIBCPP_STD_VER > 14
40381ad6265SDimitry Andric
4040b57cec5SDimitry Andric_LIBCPP_END_NAMESPACE_STD
4050b57cec5SDimitry Andric
406*bdd1243dSDimitry Andric#if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20
407*bdd1243dSDimitry Andric#  include <type_traits>
408*bdd1243dSDimitry Andric#endif
409*bdd1243dSDimitry Andric
4100b57cec5SDimitry Andric#endif // _LIBCPP_NEW
411