Bugfix: realloc() with size == 0 works like free() and returns NULL, so don’t die()

diff --git a/src/util.c b/src/util.c
index 1ad43d3f5a431c77ff4e022af479f9b710460d9d..fc0a5ceb312b39dfbca608a661690237ae76c3a4 100644 (file)
--- a/src/util.c
+++ b/src/util.c
@@ -77,7 +77,8 @@ void *scalloc(size_t size) {
 
 void *srealloc(void *ptr, size_t size) {
     void *result = realloc(ptr, size);
-    exit_if_null(result, "Error: out memory (realloc(%zd))\n", size);
+    if (result == NULL && size > 0)
+        die("Error: out memory (realloc(%zd))\n", size);
     return result;
 }