diff options
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 |