| //===-- tsan_new_delete.cc ----------------------------------------------===// | |
| // | |
| // 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; // NOLINT | |
| 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); | |
| } |