bootloader: Mark jump_to_application() as noreturn.

diff --git a/src/bootloader/main.rs b/src/bootloader/main.rs
index a5fe9832d30a7cf6d18ed9ca3e130e5477818163..321166c55a55f9bde891b5ec32db1ae804d3f8ce 100644 (file)
--- 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 0a5507ac9a0524264d062447b3d9047693fc2501..256863ff213709d42ed8526f87fb2b796e2d2d8b 100644 (file)
--- 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)
 {