diff options
| author | Patrick Georgi <patrick.georgi@coresystems.de> | 2009-04-21 20:14:31 +0000 |
|---|---|---|
| committer | Patrick Georgi <patrick.georgi@coresystems.de> | 2009-04-21 20:14:31 +0000 |
| commit | 16cdbb244cded6f3d8df719b7a0217fdf6bf327d (patch) | |
| tree | 7bfdc4f7a31c5500d34d57a267249fe994eb9362 /src/include | |
| parent | 5cda45d5ec2dc2b112cb7ec1a95b861f1fa9fd2b (diff) | |
| download | coreboot-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')
| -rw-r--r-- | src/include/console/console.h | 2 |
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); |