summaryrefslogtreecommitdiff
path: root/src/include/console/console.h
diff options
context:
space:
mode:
authorPatrick Georgi <patrick.georgi@coresystems.de>2009-04-21 20:14:31 +0000
committerPatrick Georgi <patrick.georgi@coresystems.de>2009-04-21 20:14:31 +0000
commit16cdbb244cded6f3d8df719b7a0217fdf6bf327d (patch)
tree7bfdc4f7a31c5500d34d57a267249fe994eb9362 /src/include/console/console.h
parent5cda45d5ec2dc2b112cb7ec1a95b861f1fa9fd2b (diff)
downloadcoreboot-16cdbb244cded6f3d8df719b7a0217fdf6bf327d.tar.xz
Eliminate various issues brought up by scan-build.
Signed-off-by: Patrick Georgi <patrick.georgi@coresystems.de> Acked-by: Stefan Reinauer <stepan@coresystems.de> Acked-by: Carl-Daniel Hailfinger <c-d.hailfinger.devel.2006@gmx.net> git-svn-id: svn://svn.coreboot.org/coreboot/trunk@4152 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
Diffstat (limited to 'src/include/console/console.h')
-rw-r--r--src/include/console/console.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/console/console.h b/src/include/console/console.h
index 3e1607b2a7..cea174c34e 100644
--- a/src/include/console/console.h
+++ b/src/include/console/console.h
@@ -10,7 +10,7 @@ void console_tx_flush(void);
unsigned char console_rx_byte(void);
int console_tst_byte(void);
void post_code(uint8_t value);
-void die(const char *msg);
+void __attribute__ ((noreturn)) die(const char *msg);
struct console_driver {
void (*init)(void);