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/runtime.c | |
| parent | 9aeba3e41b70558e3d78f1a19a88e3eafc7bd794 (diff) | |
py/runtime: Mark m_malloc_fail() as NORETURN.
Diffstat (limited to 'py/runtime.c')
| -rw-r--r-- | py/runtime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/py/runtime.c b/py/runtime.c index bf2bfb8ea..0a3a4b12d 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 |