diff options
author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-16 00:18:40 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-16 07:43:19 +0100 |
commit | 4e639015436ec69fc161da2eb061073701483680 (patch) | |
tree | 94193d5b2c8185c860106f59f4c87a4f351ae88f /ddb | |
parent | 1e9c1fd4558f7777866ffa58ef5e26552106af0f (diff) |
Quiet GCC warning about uninitialized variable
* ddb/db_command.h (db_error): Mark with attribute noreturn.
* i386/i386/setjmp.h (_longjmp): Likewise.
Diffstat (limited to 'ddb')
-rw-r--r-- | ddb/db_command.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ddb/db_command.h b/ddb/db_command.h index 5f0236a..634dd9d 100644 --- a/ddb/db_command.h +++ b/ddb/db_command.h @@ -43,7 +43,7 @@ extern void db_command_loop(void); extern boolean_t db_option(const char *, int); -extern void db_error(const char *); /* report error */ +extern void db_error(const char *) __attribute__ ((noreturn)); /* report error */ extern db_addr_t db_dot; /* current location */ extern db_addr_t db_last_addr; /* last explicit address typed */ |