| commit | 2138258feaef3e65be8c85e19aaef57252672a64 | [log] [tgz] |
|---|---|---|
| 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 [diff] [blame] |
py/runtime: Mark m_malloc_fail() as NORETURN.
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);