py/nlr.h: Mark nlr_jump_fail as NORETURN.

This commit is contained in:
Damien George
2017-02-16 17:23:06 +11:00
parent 05fe66f68a
commit be3d7f91e5
5 changed files with 9 additions and 1 deletions

View File

@@ -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