diff --git a/compiler-rt/lib/lsan/lsan_allocator.cpp b/compiler-rt/lib/lsan/lsan_allocator.cpp --- a/compiler-rt/lib/lsan/lsan_allocator.cpp +++ b/compiler-rt/lib/lsan/lsan_allocator.cpp @@ -123,14 +123,18 @@ void *Reallocate(const StackTrace &stack, void *p, uptr new_size, uptr alignment) { - RegisterDeallocation(p); if (new_size > max_malloc_size) { - allocator.Deallocate(GetAllocatorCache(), p); - return ReportAllocationSizeTooBig(new_size, stack); + ReportAllocationSizeTooBig(new_size, stack); + return nullptr; } - p = allocator.Reallocate(GetAllocatorCache(), p, new_size, alignment); - RegisterAllocation(stack, p, new_size); - return p; + RegisterDeallocation(p); + void *new_p = + allocator.Reallocate(GetAllocatorCache(), p, new_size, alignment); + if (new_p) + RegisterAllocation(stack, new_p, new_size); + else if (new_size != 0) + RegisterAllocation(stack, p, new_size); + return new_p; } void GetAllocatorCacheRange(uptr *begin, uptr *end) { diff --git a/compiler-rt/test/lsan/TestCases/realloc_oom.c b/compiler-rt/test/lsan/TestCases/realloc_oom.c new file mode 100644 --- /dev/null +++ b/compiler-rt/test/lsan/TestCases/realloc_oom.c @@ -0,0 +1,22 @@ +// RUN: %clang_lsan %s -o %t +// RUN: %env_lsan_opts=allocator_may_return_null=1 not %run %t 2>&1 | FileCheck %s + +// UNSUPPORTED: i386-linux,arm-linux + +#include +#include +#include + +// CHECK: {{Leak|Address}}Sanitizer failed to allocate 0xffffffff{{(ffffffff)?}} bytes + +// CHECK: {{Leak|Address}}Sanitizer: detected memory leaks +// CHECK: {{Leak|Address}}Sanitizer: 10 byte(s) leaked in 2 allocation(s). + +int main() { + // The behavior of malloc(0) is implementation-defined. + char *zero = malloc(0); + char *nine = malloc(9); + fprintf(stderr, "zero: %p\n", zero); + fprintf(stderr, "nine: %p\n", nine); + assert(realloc(nine, (size_t)-1) == NULL); +} diff --git a/compiler-rt/test/lsan/TestCases/realloc_zero.c b/compiler-rt/test/lsan/TestCases/realloc_zero.c new file mode 100644 --- /dev/null +++ b/compiler-rt/test/lsan/TestCases/realloc_zero.c @@ -0,0 +1,12 @@ +// RUN: %clang_lsan %s -o %t +// RUN: %run %t + +#include +#include + +int main() { + char *p = malloc(1); + // The behavior of realloc(p, 0) is implementation-defined. + // We free the allocation. + assert(realloc(p, 0) == NULL); +}