summaryrefslogtreecommitdiff
path: root/ddb
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-16 00:18:40 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-16 07:43:19 +0100
commit4e639015436ec69fc161da2eb061073701483680 (patch)
tree94193d5b2c8185c860106f59f4c87a4f351ae88f /ddb
parent1e9c1fd4558f7777866ffa58ef5e26552106af0f (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.h2
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 */