'realloc' can fail when shrinking a block

According to ISO C, 'realloc' can fail when shrinking a block. If that
happens, 'l_alloc' simply ignores the fail and returns the original
block.

1 files changed, 7 insertions, 2 deletions

diff --git a/lauxlib.c b/lauxlib.c
index 8bdada50..097c3cf3 100644
--- a/lauxlib.c
+++ b/lauxlib.c
@@ -1011,8 +1011,13 @@ static void *l_alloc (void *ud, void *ptr, size_t osize, size_t nsize) {
     free(ptr);
     return NULL;
   }
-  else
-    return realloc(ptr, nsize);
+  else {  /* cannot fail when shrinking a block */
+    void *newptr = realloc(ptr, nsize);
+   if (newptr == NULL && ptr != NULL && nsize <= osize)
+     return ptr;  /* keep the original block */
+   else  /* no fail or not shrinking */
+    return newptr;  /* use the new block */
+  }
 }