diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2019-07-26 05:59:04 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2019-07-26 05:59:04 +0000 |
commit | 0d08e8ebf50805e543626b4e87157578fbad5d2b (patch) | |
tree | 714d4b9ee031dc9e2d5ca67915299a928666c729 /memory.cc | |
parent | 44f3e9df0cdcbc4875abcd37c5783278c55fece4 (diff) |
Notes
Diffstat (limited to 'memory.cc')
-rw-r--r-- | memory.cc | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/memory.cc b/memory.cc index 9fa9d2a7aec5..5f1aad76961f 100644 --- a/memory.cc +++ b/memory.cc @@ -151,4 +151,21 @@ void operator delete[](void * ptr) NOEXCEPT ::operator delete(ptr); } +// C++14 additional delete operators +#if __cplusplus >= 201402L + +__attribute__((weak)) +void operator delete(void * ptr, size_t) NOEXCEPT +{ + ::operator delete(ptr); +} + + +__attribute__((weak)) +void operator delete[](void * ptr, size_t) NOEXCEPT +{ + ::operator delete(ptr); +} + +#endif |