commit 2138258feaef3e65be8c85e19aaef57252672a64
author Damien George <damien.p.george@gmail.com> Tue Jul 04 02:12:36 2017 +1000
committer Damien George <damien.p.george@gmail.com> Tue Jul 04 02:12:36 2017 +1000
tree 42a6f0a45a77fec4437110410401046b5ad376ca
parent 9aeba3e41b70558e3d78f1a19a88e3eafc7bd794

py/runtime: Mark m_malloc_fail() as NORETURN.

py/misc.h

diff --git a/py/misc.h b/py/misc.h
index caa5945..5ac0f93 100644
--- a/py/misc.h
+++ b/py/misc.h
@@ -92,7 +92,7 @@
 void *m_realloc_maybe(void *ptr, size_t new_num_bytes, bool allow_move);
 void m_free(void *ptr);
 #endif
-void *m_malloc_fail(size_t num_bytes);
+NORETURN void *m_malloc_fail(size_t num_bytes);
 
 #if MICROPY_MEM_STATS
 size_t m_get_total_bytes_allocated(void);

py/runtime.c

diff --git a/py/runtime.c b/py/runtime.c
index bf2bfb8..0a3a4b1 100644
--- a/py/runtime.c
+++ b/py/runtime.c
@@ -1408,7 +1408,7 @@
 
 #endif // MICROPY_ENABLE_COMPILER
 
-void *m_malloc_fail(size_t num_bytes) {
+NORETURN void *m_malloc_fail(size_t num_bytes) {
     DEBUG_printf("memory allocation failed, allocating %u bytes\n", (uint)num_bytes);
     if (0) {
         // dummy