From 4010ab05ac4d3c6c4f3edbff6f2ff3a4b67fd32f Mon Sep 17 00:00:00 2001 From: Tilman Sauerbeck Date: Sun, 29 Dec 2019 12:51:25 +0100 Subject: [PATCH] bootloader: Mark jump_to_application() as noreturn. --- src/bootloader/main.rs | 2 +- src/common/startup.c | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) 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) { -- 2.30.2