panicf doesn't return so why not tell GCC and $AVE :

Change-Id: I6096576f539bfb02b340b82fabc5019f6756b722

1 files changed, 2 insertions, 1 deletions

diff --git a/firmware/panic.c b/firmware/panic.c
index 3f01689922..7b2c79a872 100644
--- a/firmware/panic.c
+++ b/firmware/panic.c
@@ -44,12 +44,13 @@ static char panic_buf[128];
 void panicf_f( const char *fmt, ...);
 
 /* we wrap panicf() here with naked function to catch SP value */
-void panicf( const char *fmt, ...)
+void __attribute__((naked)) panicf( const char *fmt, ...)
 {
     (void)fmt;
     asm volatile ("mov r4, sp \n"
                   "b panicf_f \n"
                  );
+    while (1);
 }
 
 /*