michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(memory): realloc must behave like malloc when ptr is nullptr

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-11-08 10:31:57 -08:00
parent a10aa0880f
commit c5207489fd
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/memory.cpp
View file

@ -137,6 +137,8 @@ void * malloc(size_t sz) {
} }
void * realloc(void * ptr, size_t sz) { void * realloc(void * ptr, size_t sz) {
if (ptr == nullptr)
return malloc(sz);
size_t old_sz = malloc_size(ptr); size_t old_sz = malloc_size(ptr);
g_global_memory.dec(old_sz); g_global_memory.dec(old_sz);
g_thread_memory.dec(old_sz); g_thread_memory.dec(old_sz);