die() does never return. Annotate it as such.

[coreboot.git] / src / console / console.c

diff --git a/src/console/console.c b/src/console/console.c
index aeccc14433208f70ce17c9b7cb7cf4cb7757b26c..af790de217b325bbe485fbe95c6f6b50fa588b85 100644 (file)
--- a/src/console/console.c
+++ b/src/console/console.c
@@ -92,7 +92,7 @@ void post_code(uint8_t value)
 }
 
 /* Report a fatal error */
-void die(const char *msg)
+void __attribute__((noreturn)) die(const char *msg)
 {
        printk_emerg("%s", msg);
        post_code(0xff);