//===-- Libc specific custom operator new and delete ------------*- C++ -*-===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// #ifndef LLVM_LIBC_SRC_SUPPORT_CPP_NEW_H #define LLVM_LIBC_SRC_SUPPORT_CPP_NEW_H #include "src/__support/common.h" #include // For size_t #include // For malloc, free etc. // Defining members in the std namespace is not preferred. But, we do it here // so that we can use it to define the operator new which takes std::align_val_t // argument. namespace std { enum class align_val_t : size_t {}; } // namespace std namespace __llvm_libc { class AllocChecker { bool success = false; AllocChecker &operator=(bool status) { success = status; return *this; } public: AllocChecker() = default; operator bool() const { return success; } LIBC_INLINE static void *alloc(size_t s, AllocChecker &ac) { void *mem = ::malloc(s); ac = (mem != nullptr); return mem; } LIBC_INLINE static void *aligned_alloc(size_t s, std::align_val_t align, AllocChecker &ac) { void *mem = ::aligned_alloc(static_cast(align), s); ac = (mem != nullptr); return mem; } }; } // namespace __llvm_libc LIBC_INLINE void *operator new(size_t size, __llvm_libc::AllocChecker &ac) noexcept { return __llvm_libc::AllocChecker::alloc(size, ac); } LIBC_INLINE void *operator new(size_t size, std::align_val_t align, __llvm_libc::AllocChecker &ac) noexcept { return __llvm_libc::AllocChecker::aligned_alloc(size, align, ac); } LIBC_INLINE void *operator new[](size_t size, __llvm_libc::AllocChecker &ac) noexcept { return __llvm_libc::AllocChecker::alloc(size, ac); } LIBC_INLINE void *operator new[](size_t size, std::align_val_t align, __llvm_libc::AllocChecker &ac) noexcept { return __llvm_libc::AllocChecker::aligned_alloc(size, align, ac); } // The ideal situation would be to define the various flavors of operator delete // inlinelike we do with operator new above. However, since we need operator // delete prototypes to match those specified by the C++ standard, we cannot // define them inline as the C++ standard does not allow inline definitions of // replacement operator delete implementations. Note also that we assign a // special linkage name to each of these replacement operator delete functions. // This is because, if we do not give them a special libc internal linkage name, // they will replace operator delete for the entire application. Including this // header file in all libc source files where operator delete is called ensures // that only libc call sites use these replacement operator delete functions. void operator delete(void *) noexcept __asm__("__llvm_libc_delete"); void operator delete(void *, std::align_val_t) noexcept __asm__("__llvm_libc_delete_aligned"); void operator delete(void *, size_t) noexcept __asm__("__llvm_libc_delete_sized"); void operator delete(void *, size_t, std::align_val_t) noexcept __asm__("__llvm_libc_delete_sized_aligned"); void operator delete[](void *) noexcept __asm__("__llvm_libc_delete_array"); void operator delete[](void *, std::align_val_t) noexcept __asm__("__llvm_libc_delete_array_aligned"); void operator delete[](void *, size_t) noexcept __asm__("__llvm_libc_delete_array_sized"); void operator delete[](void *, size_t, std::align_val_t) noexcept __asm__("__llvm_libc_delete_array_sized_aligned"); #endif // LLVM_LIBC_SRC_SUPPORT_CPP_NEW_H