diff options
author | Damien George <damien.p.george@gmail.com> | 2017-07-04 02:12:36 +1000 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2017-07-04 02:12:36 +1000 |
commit | 2138258feaef3e65be8c85e19aaef57252672a64 (patch) | |
tree | 42a6f0a45a77fec4437110410401046b5ad376ca /py/misc.h | |
parent | 9aeba3e41b70558e3d78f1a19a88e3eafc7bd794 (diff) |
py/runtime: Mark m_malloc_fail() as NORETURN.
Diffstat (limited to 'py/misc.h')
-rw-r--r-- | py/misc.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -92,7 +92,7 @@ void *m_realloc(void *ptr, size_t new_num_bytes); 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); |