summaryrefslogtreecommitdiffstatshomepage
path: root/py
diff options
context:
space:
mode:
authorDamien George <damien.p.george@gmail.com>2017-02-16 17:23:06 +1100
committerDamien George <damien.p.george@gmail.com>2017-03-06 17:13:16 +1100
commitbe3d7f91e5c71f3736cd85ce7016f2b5629cd6e9 (patch)
tree8db87603df4dc8e8e08f7df898c86b699a8421b8 /py
parent05fe66f68a1cf1b7587c55149472ab7bca843631 (diff)
downloadmicropython-be3d7f91e5c71f3736cd85ce7016f2b5629cd6e9.tar.gz
micropython-be3d7f91e5c71f3736cd85ce7016f2b5629cd6e9.zip
py/nlr.h: Mark nlr_jump_fail as NORETURN.
Diffstat (limited to 'py')
-rw-r--r--py/nlr.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/py/nlr.h b/py/nlr.h
index 6c86fc26c3..00c1072fef 100644
--- a/py/nlr.h
+++ b/py/nlr.h
@@ -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