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 | |
| parent | 9aeba3e41b70558e3d78f1a19a88e3eafc7bd794 (diff) | |
| download | micropython-2138258feaef3e65be8c85e19aaef57252672a64.tar.gz micropython-2138258feaef3e65be8c85e19aaef57252672a64.zip | |
py/runtime: Mark m_malloc_fail() as NORETURN.
Diffstat (limited to 'py')
| -rw-r--r-- | py/misc.h | 2 | ||||
| -rw-r--r-- | py/runtime.c | 2 |
2 files changed, 2 insertions, 2 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); diff --git a/py/runtime.c b/py/runtime.c index bf2bfb8eae..0a3a4b12dc 100644 --- a/py/runtime.c +++ b/py/runtime.c @@ -1408,7 +1408,7 @@ mp_obj_t mp_parse_compile_execute(mp_lexer_t *lex, mp_parse_input_kind_t parse_i #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 |