diff options
author | Damien George <damien.p.george@gmail.com> | 2017-02-16 17:23:06 +1100 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2017-03-06 17:13:16 +1100 |
commit | be3d7f91e5c71f3736cd85ce7016f2b5629cd6e9 (patch) | |
tree | 8db87603df4dc8e8e08f7df898c86b699a8421b8 /py | |
parent | 05fe66f68a1cf1b7587c55149472ab7bca843631 (diff) | |
download | micropython-be3d7f91e5c71f3736cd85ce7016f2b5629cd6e9.tar.gz micropython-be3d7f91e5c71f3736cd85ce7016f2b5629cd6e9.zip |
py/nlr.h: Mark nlr_jump_fail as NORETURN.
Diffstat (limited to 'py')
-rw-r--r-- | py/nlr.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -82,7 +82,7 @@ NORETURN void nlr_jump(void *val); // This must be implemented by a port. It's called by nlr_jump // if no nlr buf has been pushed. It must not return, but rather // should bail out with a fatal error. -void nlr_jump_fail(void *val); +NORETURN void nlr_jump_fail(void *val); // use nlr_raise instead of nlr_jump so that debugging is easier #ifndef DEBUG |