From: Tilman Sauerbeck <tilman@code-monkey.de>
Date: Sun, 29 Dec 2019 11:51:25 +0000 (+0100)
Subject: bootloader: Mark jump_to_application() as noreturn.
X-Git-Url: http://git.code-monkey.de/?p=gps-watch.git;a=commitdiff_plain;h=4010ab05ac4d3c6c4f3edbff6f2ff3a4b67fd32f

bootloader: Mark jump_to_application() as noreturn.
---

diff --git a/src/bootloader/main.rs b/src/bootloader/main.rs
index a5fe983..321166c 100644
--- a/src/bootloader/main.rs
+++ b/src/bootloader/main.rs
@@ -44,7 +44,7 @@ extern {
     fn enable_interrupts();
     fn disable_interrupts();
 
-    fn jump_to_application(address: u32);
+    fn jump_to_application(address: u32) -> !;
 }
 
 #[cfg(bootloader_type = "intermediate")]
diff --git a/src/common/startup.c b/src/common/startup.c
index 0a5507a..256863f 100644
--- a/src/common/startup.c
+++ b/src/common/startup.c
@@ -151,6 +151,7 @@ Dummy_Handler (void)
 	}
 }
 
+__attribute__ ((noreturn))
 void
 jump_to_application (volatile uint32_t *address)
 {