diff --git a/platform/mbed_retarget.cpp b/platform/mbed_retarget.cpp index aff7dee861..8a5e35fffc 100644 --- a/platform/mbed_retarget.cpp +++ b/platform/mbed_retarget.cpp @@ -1571,11 +1571,22 @@ void operator delete (void *ptr) { free_wrapper(ptr, MBED_CALLER_ADDR()); } + +void operator delete (void *ptr, std::size_t) +{ + free_wrapper(ptr, MBED_CALLER_ADDR()); +} + void operator delete[](void *ptr) { free_wrapper(ptr, MBED_CALLER_ADDR()); } +void operator delete[](void *ptr, std::size_t) +{ + free_wrapper(ptr, MBED_CALLER_ADDR()); +} + #elif defined(MBED_MEM_TRACING_ENABLED) && defined(__GNUC__) #include @@ -1616,11 +1627,21 @@ void operator delete (void *ptr) free_wrapper(_REENT, ptr, MBED_CALLER_ADDR()); } +void operator delete (void *ptr, std::size_t) +{ + free_wrapper(_REENT, ptr, MBED_CALLER_ADDR()); +} + void operator delete[](void *ptr) { free_wrapper(_REENT, ptr, MBED_CALLER_ADDR()); } +void operator delete[](void *ptr, std::size_t) +{ + free_wrapper(_REENT, ptr, MBED_CALLER_ADDR()); +} + #else void *operator new (std::size_t count) @@ -1655,11 +1676,22 @@ void operator delete (void *ptr) { free(ptr); } + +void operator delete (void *ptr, std::size_t) +{ + free(ptr); +} + void operator delete[](void *ptr) { free(ptr); } +void operator delete[](void *ptr, std::size_t) +{ + free(ptr); +} + #endif /* @brief standard c library clock() function.