From e9d1a94bf099d585d0f8d3b0dddb8e0a397afcff Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Tue, 23 Feb 2016 13:53:38 +0000
Subject: [PATCH] py/malloc: Provide a proper malloc-based implementation of
 realloc_ext.

---
 py/malloc.c | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/py/malloc.c b/py/malloc.c
index 0aecbd71d4..b0493d9341 100644
--- a/py/malloc.c
+++ b/py/malloc.c
@@ -59,7 +59,16 @@
 #define realloc(ptr, n) gc_realloc(ptr, n, true)
 #define realloc_ext(ptr, n, mv) gc_realloc(ptr, n, mv)
 #else
-#define realloc_ext(ptr, n, mv) realloc(ptr, n)
+STATIC void *realloc_ext(void *ptr, size_t n_bytes, bool allow_move) {
+    if (allow_move) {
+        return realloc(ptr, n_bytes);
+    } else {
+        // We are asked to resize, but without moving the memory region pointed to
+        // by ptr.  Unless the underlying memory manager has special provision for
+        // this behaviour there is nothing we can do except fail to resize.
+        return NULL;
+    }
+}
 #endif // MICROPY_ENABLE_GC
 
 void *m_malloc(size_t num_bytes) {