| //===-- tsan_new_delete.cpp ---------------------------------------------===// |
| // |
| // 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 |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // This file is a part of ThreadSanitizer (TSan), a race detector. |
| // |
| // Interceptors for operators new and delete. |
| //===----------------------------------------------------------------------===// |
| #include "interception/interception.h" |
| #include "sanitizer_common/sanitizer_allocator.h" |
| #include "sanitizer_common/sanitizer_allocator_report.h" |
| #include "sanitizer_common/sanitizer_internal_defs.h" |
| #include "tsan_interceptors.h" |
| #include "tsan_rtl.h" |
| |
| using namespace __tsan; |
| |
| namespace std { |
| struct nothrow_t {}; |
| enum class align_val_t: __sanitizer::uptr {}; |
| } // namespace std |
| |
| DECLARE_REAL(void *, malloc, uptr size) |
| DECLARE_REAL(void, free, void *ptr) |
| |
| // TODO(alekseys): throw std::bad_alloc instead of dying on OOM. |
| #define OPERATOR_NEW_BODY(mangled_name, nothrow) \ |
| if (in_symbolizer()) \ |
| return InternalAlloc(size); \ |
| void *p = 0; \ |
| { \ |
| SCOPED_INTERCEPTOR_RAW(mangled_name, size); \ |
| p = user_alloc(thr, pc, size); \ |
| if (!nothrow && UNLIKELY(!p)) { \ |
| GET_STACK_TRACE_FATAL(thr, pc); \ |
| ReportOutOfMemory(size, &stack); \ |
| } \ |
| } \ |
| invoke_malloc_hook(p, size); \ |
| return p; |
| |
| #define OPERATOR_NEW_BODY_ALIGN(mangled_name, nothrow) \ |
| if (in_symbolizer()) \ |
| return InternalAlloc(size, nullptr, (uptr)align); \ |
| void *p = 0; \ |
| { \ |
| SCOPED_INTERCEPTOR_RAW(mangled_name, size); \ |
| p = user_memalign(thr, pc, (uptr)align, size); \ |
| if (!nothrow && UNLIKELY(!p)) { \ |
| GET_STACK_TRACE_FATAL(thr, pc); \ |
| ReportOutOfMemory(size, &stack); \ |
| } \ |
| } \ |
| invoke_malloc_hook(p, size); \ |
| return p; |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void *operator new(__sanitizer::uptr size); |
| void *operator new(__sanitizer::uptr size) { |
| OPERATOR_NEW_BODY(_Znwm, false /*nothrow*/); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void *operator new[](__sanitizer::uptr size); |
| void *operator new[](__sanitizer::uptr size) { |
| OPERATOR_NEW_BODY(_Znam, false /*nothrow*/); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void *operator new(__sanitizer::uptr size, std::nothrow_t const&); |
| void *operator new(__sanitizer::uptr size, std::nothrow_t const&) { |
| OPERATOR_NEW_BODY(_ZnwmRKSt9nothrow_t, true /*nothrow*/); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void *operator new[](__sanitizer::uptr size, std::nothrow_t const&); |
| void *operator new[](__sanitizer::uptr size, std::nothrow_t const&) { |
| OPERATOR_NEW_BODY(_ZnamRKSt9nothrow_t, true /*nothrow*/); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void *operator new(__sanitizer::uptr size, std::align_val_t align); |
| void *operator new(__sanitizer::uptr size, std::align_val_t align) { |
| OPERATOR_NEW_BODY_ALIGN(_ZnwmSt11align_val_t, false /*nothrow*/); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void *operator new[](__sanitizer::uptr size, std::align_val_t align); |
| void *operator new[](__sanitizer::uptr size, std::align_val_t align) { |
| OPERATOR_NEW_BODY_ALIGN(_ZnamSt11align_val_t, false /*nothrow*/); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void *operator new(__sanitizer::uptr size, std::align_val_t align, |
| std::nothrow_t const&); |
| void *operator new(__sanitizer::uptr size, std::align_val_t align, |
| std::nothrow_t const&) { |
| OPERATOR_NEW_BODY_ALIGN(_ZnwmSt11align_val_tRKSt9nothrow_t, |
| true /*nothrow*/); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void *operator new[](__sanitizer::uptr size, std::align_val_t align, |
| std::nothrow_t const&); |
| void *operator new[](__sanitizer::uptr size, std::align_val_t align, |
| std::nothrow_t const&) { |
| OPERATOR_NEW_BODY_ALIGN(_ZnamSt11align_val_tRKSt9nothrow_t, |
| true /*nothrow*/); |
| } |
| |
| #define OPERATOR_DELETE_BODY(mangled_name) \ |
| if (ptr == 0) return; \ |
| if (in_symbolizer()) \ |
| return InternalFree(ptr); \ |
| invoke_free_hook(ptr); \ |
| SCOPED_INTERCEPTOR_RAW(mangled_name, ptr); \ |
| user_free(thr, pc, ptr); |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void operator delete(void *ptr) NOEXCEPT; |
| void operator delete(void *ptr) NOEXCEPT { |
| OPERATOR_DELETE_BODY(_ZdlPv); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void operator delete[](void *ptr) NOEXCEPT; |
| void operator delete[](void *ptr) NOEXCEPT { |
| OPERATOR_DELETE_BODY(_ZdaPv); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void operator delete(void *ptr, std::nothrow_t const&); |
| void operator delete(void *ptr, std::nothrow_t const&) { |
| OPERATOR_DELETE_BODY(_ZdlPvRKSt9nothrow_t); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void operator delete[](void *ptr, std::nothrow_t const&); |
| void operator delete[](void *ptr, std::nothrow_t const&) { |
| OPERATOR_DELETE_BODY(_ZdaPvRKSt9nothrow_t); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void operator delete(void *ptr, __sanitizer::uptr size) NOEXCEPT; |
| void operator delete(void *ptr, __sanitizer::uptr size) NOEXCEPT { |
| OPERATOR_DELETE_BODY(_ZdlPvm); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void operator delete[](void *ptr, __sanitizer::uptr size) NOEXCEPT; |
| void operator delete[](void *ptr, __sanitizer::uptr size) NOEXCEPT { |
| OPERATOR_DELETE_BODY(_ZdaPvm); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void operator delete(void *ptr, std::align_val_t align) NOEXCEPT; |
| void operator delete(void *ptr, std::align_val_t align) NOEXCEPT { |
| OPERATOR_DELETE_BODY(_ZdlPvSt11align_val_t); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void operator delete[](void *ptr, std::align_val_t align) NOEXCEPT; |
| void operator delete[](void *ptr, std::align_val_t align) NOEXCEPT { |
| OPERATOR_DELETE_BODY(_ZdaPvSt11align_val_t); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void operator delete(void *ptr, std::align_val_t align, std::nothrow_t const&); |
| void operator delete(void *ptr, std::align_val_t align, std::nothrow_t const&) { |
| OPERATOR_DELETE_BODY(_ZdlPvSt11align_val_tRKSt9nothrow_t); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void operator delete[](void *ptr, std::align_val_t align, |
| std::nothrow_t const&); |
| void operator delete[](void *ptr, std::align_val_t align, |
| std::nothrow_t const&) { |
| OPERATOR_DELETE_BODY(_ZdaPvSt11align_val_tRKSt9nothrow_t); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void operator delete(void *ptr, __sanitizer::uptr size, |
| std::align_val_t align) NOEXCEPT; |
| void operator delete(void *ptr, __sanitizer::uptr size, |
| std::align_val_t align) NOEXCEPT { |
| OPERATOR_DELETE_BODY(_ZdlPvmSt11align_val_t); |
| } |
| |
| SANITIZER_INTERFACE_ATTRIBUTE |
| void operator delete[](void *ptr, __sanitizer::uptr size, |
| std::align_val_t align) NOEXCEPT; |
| void operator delete[](void *ptr, __sanitizer::uptr size, |
| std::align_val_t align) NOEXCEPT { |
| OPERATOR_DELETE_BODY(_ZdaPvmSt11align_val_t); |
| } |