system_reset is MBED_NORETURN

kjbracey · kjbracey · commit e9ccabcadcb0 · 2018-10-30T12:39:03.000+02:00
diff --git a/platform/mbed_power_mgmt.h b/platform/mbed_power_mgmt.h
@@ -261,7 +261,7 @@ us_timestamp_t mbed_uptime(void);
  *
  * @note Does not affect the debug sub-system
  */
-static inline void system_reset(void)
+MBED_NORETURN static inline void system_reset(void)
 {
     NVIC_SystemReset();
 }

Original file line number	Diff line number	Diff line change
`@@ -261,7 +261,7 @@ us_timestamp_t mbed_uptime(void);`
`261`	`261`	`*`
`262`	`262`	`* @note Does not affect the debug sub-system`
`263`	`263`	`*/`
`264`		`-static inline void system_reset(void)`
	`264`	`+MBED_NORETURN static inline void system_reset(void)`
`265`	`265`	`{`
`266`	`266`	`NVIC_SystemReset();`
`267`	`267`	`}`