xref: /llvm-project-15.0.7/libcxx/src/new.cpp (revision 57b08b09)
13e519524SHoward Hinnant //===--------------------------- new.cpp ----------------------------------===//
23e519524SHoward Hinnant //
3*57b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*57b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
5*57b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
63e519524SHoward Hinnant //
73e519524SHoward Hinnant //===----------------------------------------------------------------------===//
83e519524SHoward Hinnant 
9111e0cbeSNick Kledzik #include <stdlib.h>
10111e0cbeSNick Kledzik 
113e519524SHoward Hinnant #include "new"
12fbfaec70SWeiming Zhao #include "include/atomic_support.h"
133e519524SHoward Hinnant 
14d22c9dc4SEric Fiselier #if defined(_LIBCPP_ABI_MICROSOFT)
15492d7134SShoaib Meenai #if defined(_LIBCPP_NO_VCRUNTIME)
16492d7134SShoaib Meenai #include "support/runtime/new_handler_fallback.ipp"
17492d7134SShoaib Meenai #endif
18d22c9dc4SEric Fiselier #elif defined(LIBCXX_BUILDING_LIBCXXABI)
19128ba719SHoward Hinnant #include <cxxabi.h>
20d22c9dc4SEric Fiselier #elif defined(LIBCXXRT)
21d22c9dc4SEric Fiselier #include <cxxabi.h>
22d22c9dc4SEric Fiselier #include "support/runtime/new_handler_fallback.ipp"
23d22c9dc4SEric Fiselier #elif defined(__GLIBCXX__)
24d22c9dc4SEric Fiselier // nothing todo
25d22c9dc4SEric Fiselier #else
26637160c5SEric Fiselier # if defined(__APPLE__) && !defined(_LIBCPP_BUILDING_HAS_NO_ABI_LIBRARY)
27637160c5SEric Fiselier #   include <cxxabi.h> // FIXME: remove this once buildit is gone.
28637160c5SEric Fiselier # else
29d22c9dc4SEric Fiselier #   include "support/runtime/new_handler_fallback.ipp"
30d22c9dc4SEric Fiselier # endif
31637160c5SEric Fiselier #endif
322c9c6a57SHoward Hinnant 
33d22c9dc4SEric Fiselier namespace std
34d22c9dc4SEric Fiselier {
35111e0cbeSNick Kledzik 
36926aa5f4SPeter Collingbourne #ifndef __GLIBCXX__
37d22c9dc4SEric Fiselier const nothrow_t nothrow = {};
38d22c9dc4SEric Fiselier #endif
39d22c9dc4SEric Fiselier 
40d22c9dc4SEric Fiselier #ifndef LIBSTDCXX
41d22c9dc4SEric Fiselier 
42d22c9dc4SEric Fiselier void
43d22c9dc4SEric Fiselier __throw_bad_alloc()
44d22c9dc4SEric Fiselier {
45d22c9dc4SEric Fiselier #ifndef _LIBCPP_NO_EXCEPTIONS
46d22c9dc4SEric Fiselier     throw bad_alloc();
47d22c9dc4SEric Fiselier #else
48d22c9dc4SEric Fiselier     _VSTD::abort();
49d22c9dc4SEric Fiselier #endif
50d22c9dc4SEric Fiselier }
51d22c9dc4SEric Fiselier 
52d22c9dc4SEric Fiselier #endif // !LIBSTDCXX
53d22c9dc4SEric Fiselier 
54d22c9dc4SEric Fiselier }  // std
55d22c9dc4SEric Fiselier 
56492d7134SShoaib Meenai #if !defined(__GLIBCXX__) &&                                                   \
5742f9868cSEric Fiselier     !defined(_LIBCPP_DEFER_NEW_TO_VCRUNTIME) &&      \
583499263cSEric Fiselier     !defined(_LIBCPP_DISABLE_NEW_DELETE_DEFINITIONS)
59926aa5f4SPeter Collingbourne 
60111e0cbeSNick Kledzik // Implement all new and delete operators as weak definitions
6110fe4209SEric Fiselier // in this shared library, so that they can be overridden by programs
62111e0cbeSNick Kledzik // that define non-weak copies of the functions.
63111e0cbeSNick Kledzik 
64dce4218dSShoaib Meenai _LIBCPP_WEAK
65111e0cbeSNick Kledzik void *
660ae4f23fSEric Fiselier operator new(std::size_t size) _THROW_BAD_ALLOC
67111e0cbeSNick Kledzik {
68111e0cbeSNick Kledzik     if (size == 0)
69111e0cbeSNick Kledzik         size = 1;
70111e0cbeSNick Kledzik     void* p;
71111e0cbeSNick Kledzik     while ((p = ::malloc(size)) == 0)
72111e0cbeSNick Kledzik     {
73111e0cbeSNick Kledzik         // If malloc fails and there is a new_handler,
74111e0cbeSNick Kledzik         // call it to try free up memory.
7575357bcdSHoward Hinnant         std::new_handler nh = std::get_new_handler();
76816cb897SHoward Hinnant         if (nh)
77816cb897SHoward Hinnant             nh();
78111e0cbeSNick Kledzik         else
7954b409fdSHoward Hinnant #ifndef _LIBCPP_NO_EXCEPTIONS
80111e0cbeSNick Kledzik             throw std::bad_alloc();
8154b409fdSHoward Hinnant #else
8254b409fdSHoward Hinnant             break;
8354b409fdSHoward Hinnant #endif
84111e0cbeSNick Kledzik     }
85111e0cbeSNick Kledzik     return p;
86111e0cbeSNick Kledzik }
87111e0cbeSNick Kledzik 
88dce4218dSShoaib Meenai _LIBCPP_WEAK
89111e0cbeSNick Kledzik void*
9024a2ebe6SEric Fiselier operator new(size_t size, const std::nothrow_t&) _NOEXCEPT
9124a2ebe6SEric Fiselier {
9224a2ebe6SEric Fiselier     void* p = 0;
9324a2ebe6SEric Fiselier #ifndef _LIBCPP_NO_EXCEPTIONS
9424a2ebe6SEric Fiselier     try
9524a2ebe6SEric Fiselier     {
9624a2ebe6SEric Fiselier #endif  // _LIBCPP_NO_EXCEPTIONS
9724a2ebe6SEric Fiselier         p = ::operator new(size);
9824a2ebe6SEric Fiselier #ifndef _LIBCPP_NO_EXCEPTIONS
9924a2ebe6SEric Fiselier     }
10024a2ebe6SEric Fiselier     catch (...)
10124a2ebe6SEric Fiselier     {
10224a2ebe6SEric Fiselier     }
10324a2ebe6SEric Fiselier #endif  // _LIBCPP_NO_EXCEPTIONS
10424a2ebe6SEric Fiselier     return p;
10524a2ebe6SEric Fiselier }
10624a2ebe6SEric Fiselier 
10724a2ebe6SEric Fiselier _LIBCPP_WEAK
10824a2ebe6SEric Fiselier void*
10924a2ebe6SEric Fiselier operator new[](size_t size) _THROW_BAD_ALLOC
11024a2ebe6SEric Fiselier {
11124a2ebe6SEric Fiselier     return ::operator new(size);
11224a2ebe6SEric Fiselier }
11324a2ebe6SEric Fiselier 
11424a2ebe6SEric Fiselier _LIBCPP_WEAK
11524a2ebe6SEric Fiselier void*
11624a2ebe6SEric Fiselier operator new[](size_t size, const std::nothrow_t&) _NOEXCEPT
11724a2ebe6SEric Fiselier {
11824a2ebe6SEric Fiselier     void* p = 0;
11924a2ebe6SEric Fiselier #ifndef _LIBCPP_NO_EXCEPTIONS
12024a2ebe6SEric Fiselier     try
12124a2ebe6SEric Fiselier     {
12224a2ebe6SEric Fiselier #endif  // _LIBCPP_NO_EXCEPTIONS
12324a2ebe6SEric Fiselier         p = ::operator new[](size);
12424a2ebe6SEric Fiselier #ifndef _LIBCPP_NO_EXCEPTIONS
12524a2ebe6SEric Fiselier     }
12624a2ebe6SEric Fiselier     catch (...)
12724a2ebe6SEric Fiselier     {
12824a2ebe6SEric Fiselier     }
12924a2ebe6SEric Fiselier #endif  // _LIBCPP_NO_EXCEPTIONS
13024a2ebe6SEric Fiselier     return p;
13124a2ebe6SEric Fiselier }
13224a2ebe6SEric Fiselier 
13324a2ebe6SEric Fiselier _LIBCPP_WEAK
13424a2ebe6SEric Fiselier void
13524a2ebe6SEric Fiselier operator delete(void* ptr) _NOEXCEPT
13624a2ebe6SEric Fiselier {
13724a2ebe6SEric Fiselier     ::free(ptr);
13824a2ebe6SEric Fiselier }
13924a2ebe6SEric Fiselier 
14024a2ebe6SEric Fiselier _LIBCPP_WEAK
14124a2ebe6SEric Fiselier void
14224a2ebe6SEric Fiselier operator delete(void* ptr, const std::nothrow_t&) _NOEXCEPT
14324a2ebe6SEric Fiselier {
14424a2ebe6SEric Fiselier     ::operator delete(ptr);
14524a2ebe6SEric Fiselier }
14624a2ebe6SEric Fiselier 
14724a2ebe6SEric Fiselier _LIBCPP_WEAK
14824a2ebe6SEric Fiselier void
14924a2ebe6SEric Fiselier operator delete(void* ptr, size_t) _NOEXCEPT
15024a2ebe6SEric Fiselier {
15124a2ebe6SEric Fiselier     ::operator delete(ptr);
15224a2ebe6SEric Fiselier }
15324a2ebe6SEric Fiselier 
15424a2ebe6SEric Fiselier _LIBCPP_WEAK
15524a2ebe6SEric Fiselier void
15624a2ebe6SEric Fiselier operator delete[] (void* ptr) _NOEXCEPT
15724a2ebe6SEric Fiselier {
15824a2ebe6SEric Fiselier     ::operator delete(ptr);
15924a2ebe6SEric Fiselier }
16024a2ebe6SEric Fiselier 
16124a2ebe6SEric Fiselier _LIBCPP_WEAK
16224a2ebe6SEric Fiselier void
16324a2ebe6SEric Fiselier operator delete[] (void* ptr, const std::nothrow_t&) _NOEXCEPT
16424a2ebe6SEric Fiselier {
16524a2ebe6SEric Fiselier     ::operator delete[](ptr);
16624a2ebe6SEric Fiselier }
16724a2ebe6SEric Fiselier 
16824a2ebe6SEric Fiselier _LIBCPP_WEAK
16924a2ebe6SEric Fiselier void
17024a2ebe6SEric Fiselier operator delete[] (void* ptr, size_t) _NOEXCEPT
17124a2ebe6SEric Fiselier {
17224a2ebe6SEric Fiselier     ::operator delete[](ptr);
17324a2ebe6SEric Fiselier }
17424a2ebe6SEric Fiselier 
17542f9868cSEric Fiselier #if !defined(_LIBCPP_HAS_NO_LIBRARY_ALIGNED_ALLOCATION)
176efea0451SEric Fiselier 
17724a2ebe6SEric Fiselier _LIBCPP_WEAK
17824a2ebe6SEric Fiselier void *
1790ae4f23fSEric Fiselier operator new(std::size_t size, std::align_val_t alignment) _THROW_BAD_ALLOC
1800ae4f23fSEric Fiselier {
1810ae4f23fSEric Fiselier     if (size == 0)
1820ae4f23fSEric Fiselier         size = 1;
1830ae4f23fSEric Fiselier     if (static_cast<size_t>(alignment) < sizeof(void*))
1840ae4f23fSEric Fiselier       alignment = std::align_val_t(sizeof(void*));
1850ae4f23fSEric Fiselier     void* p;
1861ec02625SEric Fiselier #if defined(_LIBCPP_MSVCRT_LIKE)
1873e835372SEric Fiselier     while ((p = _aligned_malloc(size, static_cast<size_t>(alignment))) == nullptr)
1883e835372SEric Fiselier #else
1890ae4f23fSEric Fiselier     while (::posix_memalign(&p, static_cast<size_t>(alignment), size) != 0)
1903e835372SEric Fiselier #endif
1910ae4f23fSEric Fiselier     {
1920ae4f23fSEric Fiselier         // If posix_memalign fails and there is a new_handler,
1930ae4f23fSEric Fiselier         // call it to try free up memory.
1940ae4f23fSEric Fiselier         std::new_handler nh = std::get_new_handler();
1950ae4f23fSEric Fiselier         if (nh)
1960ae4f23fSEric Fiselier             nh();
1970ae4f23fSEric Fiselier         else {
1980ae4f23fSEric Fiselier #ifndef _LIBCPP_NO_EXCEPTIONS
1990ae4f23fSEric Fiselier             throw std::bad_alloc();
2000ae4f23fSEric Fiselier #else
2010ae4f23fSEric Fiselier             p = nullptr; // posix_memalign doesn't initialize 'p' on failure
2020ae4f23fSEric Fiselier             break;
2030ae4f23fSEric Fiselier #endif
2040ae4f23fSEric Fiselier         }
2050ae4f23fSEric Fiselier     }
2060ae4f23fSEric Fiselier     return p;
2070ae4f23fSEric Fiselier }
2080ae4f23fSEric Fiselier 
209dce4218dSShoaib Meenai _LIBCPP_WEAK
2100ae4f23fSEric Fiselier void*
2110ae4f23fSEric Fiselier operator new(size_t size, std::align_val_t alignment, const std::nothrow_t&) _NOEXCEPT
2120ae4f23fSEric Fiselier {
2130ae4f23fSEric Fiselier     void* p = 0;
2140ae4f23fSEric Fiselier #ifndef _LIBCPP_NO_EXCEPTIONS
2150ae4f23fSEric Fiselier     try
2160ae4f23fSEric Fiselier     {
2170ae4f23fSEric Fiselier #endif  // _LIBCPP_NO_EXCEPTIONS
2180ae4f23fSEric Fiselier         p = ::operator new(size, alignment);
2190ae4f23fSEric Fiselier #ifndef _LIBCPP_NO_EXCEPTIONS
2200ae4f23fSEric Fiselier     }
2210ae4f23fSEric Fiselier     catch (...)
2220ae4f23fSEric Fiselier     {
2230ae4f23fSEric Fiselier     }
2240ae4f23fSEric Fiselier #endif  // _LIBCPP_NO_EXCEPTIONS
2250ae4f23fSEric Fiselier     return p;
2260ae4f23fSEric Fiselier }
2270ae4f23fSEric Fiselier 
228dce4218dSShoaib Meenai _LIBCPP_WEAK
2290ae4f23fSEric Fiselier void*
2300ae4f23fSEric Fiselier operator new[](size_t size, std::align_val_t alignment) _THROW_BAD_ALLOC
2310ae4f23fSEric Fiselier {
2320ae4f23fSEric Fiselier     return ::operator new(size, alignment);
2330ae4f23fSEric Fiselier }
2340ae4f23fSEric Fiselier 
235dce4218dSShoaib Meenai _LIBCPP_WEAK
2360ae4f23fSEric Fiselier void*
2370ae4f23fSEric Fiselier operator new[](size_t size, std::align_val_t alignment, const std::nothrow_t&) _NOEXCEPT
2380ae4f23fSEric Fiselier {
2390ae4f23fSEric Fiselier     void* p = 0;
2400ae4f23fSEric Fiselier #ifndef _LIBCPP_NO_EXCEPTIONS
2410ae4f23fSEric Fiselier     try
2420ae4f23fSEric Fiselier     {
2430ae4f23fSEric Fiselier #endif  // _LIBCPP_NO_EXCEPTIONS
2440ae4f23fSEric Fiselier         p = ::operator new[](size, alignment);
2450ae4f23fSEric Fiselier #ifndef _LIBCPP_NO_EXCEPTIONS
2460ae4f23fSEric Fiselier     }
2470ae4f23fSEric Fiselier     catch (...)
2480ae4f23fSEric Fiselier     {
2490ae4f23fSEric Fiselier     }
2500ae4f23fSEric Fiselier #endif  // _LIBCPP_NO_EXCEPTIONS
2510ae4f23fSEric Fiselier     return p;
2520ae4f23fSEric Fiselier }
2530ae4f23fSEric Fiselier 
254dce4218dSShoaib Meenai _LIBCPP_WEAK
255111e0cbeSNick Kledzik void
2560ae4f23fSEric Fiselier operator delete(void* ptr, std::align_val_t) _NOEXCEPT
2570ae4f23fSEric Fiselier {
2581ec02625SEric Fiselier #if defined(_LIBCPP_MSVCRT_LIKE)
2597ce92f73SShoaib Meenai     ::_aligned_free(ptr);
2607ce92f73SShoaib Meenai #else
2610ae4f23fSEric Fiselier     ::free(ptr);
2627ce92f73SShoaib Meenai #endif
2630ae4f23fSEric Fiselier }
2640ae4f23fSEric Fiselier 
265dce4218dSShoaib Meenai _LIBCPP_WEAK
2660ae4f23fSEric Fiselier void
2670ae4f23fSEric Fiselier operator delete(void* ptr, std::align_val_t alignment, const std::nothrow_t&) _NOEXCEPT
2680ae4f23fSEric Fiselier {
2690ae4f23fSEric Fiselier     ::operator delete(ptr, alignment);
2700ae4f23fSEric Fiselier }
2710ae4f23fSEric Fiselier 
272dce4218dSShoaib Meenai _LIBCPP_WEAK
2730ae4f23fSEric Fiselier void
2740ae4f23fSEric Fiselier operator delete(void* ptr, size_t, std::align_val_t alignment) _NOEXCEPT
2750ae4f23fSEric Fiselier {
2760ae4f23fSEric Fiselier     ::operator delete(ptr, alignment);
2770ae4f23fSEric Fiselier }
2780ae4f23fSEric Fiselier 
279dce4218dSShoaib Meenai _LIBCPP_WEAK
2800ae4f23fSEric Fiselier void
2810ae4f23fSEric Fiselier operator delete[] (void* ptr, std::align_val_t alignment) _NOEXCEPT
2820ae4f23fSEric Fiselier {
2830ae4f23fSEric Fiselier     ::operator delete(ptr, alignment);
2840ae4f23fSEric Fiselier }
2850ae4f23fSEric Fiselier 
286dce4218dSShoaib Meenai _LIBCPP_WEAK
2870ae4f23fSEric Fiselier void
2880ae4f23fSEric Fiselier operator delete[] (void* ptr, std::align_val_t alignment, const std::nothrow_t&) _NOEXCEPT
2890ae4f23fSEric Fiselier {
2900ae4f23fSEric Fiselier     ::operator delete[](ptr, alignment);
2910ae4f23fSEric Fiselier }
2920ae4f23fSEric Fiselier 
293dce4218dSShoaib Meenai _LIBCPP_WEAK
2940ae4f23fSEric Fiselier void
2950ae4f23fSEric Fiselier operator delete[] (void* ptr, size_t, std::align_val_t alignment) _NOEXCEPT
2960ae4f23fSEric Fiselier {
2970ae4f23fSEric Fiselier     ::operator delete[](ptr, alignment);
2980ae4f23fSEric Fiselier }
2990ae4f23fSEric Fiselier 
30042f9868cSEric Fiselier #endif // !_LIBCPP_HAS_NO_LIBRARY_ALIGNED_ALLOCATION
301492d7134SShoaib Meenai #endif // !__GLIBCXX__ && (!_LIBCPP_ABI_MICROSOFT || _LIBCPP_NO_VCRUNTIME) && !_LIBCPP_DISABLE_NEW_DELETE_DEFINITIONS
302