From: Tilman Sauerbeck 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/?a=commitdiff_plain;h=4010ab05ac4d3c6c4f3edbff6f2ff3a4b67fd32f;p=gps-watch.git 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) {