mimxrt10xx: teach compiler that reset_cpu does not return

jepler · jepler · commit dfdfbc4e01dc · 2020-09-24T17:05:43.000-05:00
diff --git a/ports/mimxrt10xx/supervisor/port.c b/ports/mimxrt10xx/supervisor/port.c
@@ -320,6 +320,8 @@ void reset_to_bootloader(void) {
 
 void reset_cpu(void) {
     reset();
+    for (;;) {
+    }
 }
 
 supervisor_allocation* port_fixed_stack(void) {

Original file line number	Diff line number	Diff line change
`@@ -320,6 +320,8 @@ void reset_to_bootloader(void) {`
`320`	`320`
`321`	`321`	`void reset_cpu(void) {`
`322`	`322`	`reset();`
	`323`	`+ for (;;) {`
	`324`	`+ }`
`323`	`325`	`}`
`324`	`326`
`325`	`327`	`supervisor_allocation* port_fixed_stack(void) {`