py: Annotate func defs with NORETURN when their corresp decls have it.

dpgeorge · dpgeorge · commit 3990a52c0f07 · 2017-11-29T15:43:40.000+11:00
diff --git a/py/objstr.c b/py/objstr.c
@@ -2084,7 +2084,7 @@ bool mp_obj_str_equal(mp_obj_t s1, mp_obj_t s2) {
     }
 }
 
-STATIC void bad_implicit_conversion(mp_obj_t self_in) {
+STATIC NORETURN void bad_implicit_conversion(mp_obj_t self_in) {
     if (MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE) {
         mp_raise_TypeError("can't convert to str implicitly");
     } else {
diff --git a/py/stackctrl.c b/py/stackctrl.c
@@ -48,7 +48,7 @@ void mp_stack_set_limit(mp_uint_t limit) {
     MP_STATE_THREAD(stack_limit) = limit;
 }
 
-void mp_exc_recursion_depth(void) {
+NORETURN void mp_exc_recursion_depth(void) {
     nlr_raise(mp_obj_new_exception_arg1(&mp_type_RuntimeError,
         MP_OBJ_NEW_QSTR(MP_QSTR_maximum_space_recursion_space_depth_space_exceeded)));
 }

Original file line number	Diff line number	Diff line change
`@@ -2084,7 +2084,7 @@ bool mp_obj_str_equal(mp_obj_t s1, mp_obj_t s2) {`
`2084`	`2084`	`}`
`2085`	`2085`	`}`
`2086`	`2086`
`2087`		`-STATIC void bad_implicit_conversion(mp_obj_t self_in) {`
	`2087`	`+STATIC NORETURN void bad_implicit_conversion(mp_obj_t self_in) {`
`2088`	`2088`	`if (MICROPY_ERROR_REPORTING == MICROPY_ERROR_REPORTING_TERSE) {`
`2089`	`2089`	`mp_raise_TypeError("can't convert to str implicitly");`
`2090`	`2090`	`} else {`
Original file line number	Diff line number	Diff line change
`@@ -48,7 +48,7 @@ void mp_stack_set_limit(mp_uint_t limit) {`
`48`	`48`	`MP_STATE_THREAD(stack_limit) = limit;`
`49`	`49`	`}`
`50`	`50`
`51`		`-void mp_exc_recursion_depth(void) {`
	`51`	`+NORETURN void mp_exc_recursion_depth(void) {`
`52`	`52`	`nlr_raise(mp_obj_new_exception_arg1(&mp_type_RuntimeError,`
`53`	`53`	`MP_OBJ_NEW_QSTR(MP_QSTR_maximum_space_recursion_space_depth_space_exceeded)));`
`54`	`54`	`}`