diff options
-rw-r--r-- | ddb/db_command.h | 2 | ||||
-rw-r--r-- | i386/i386/setjmp.h | 2 |
2 files changed, 2 insertions, 2 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 */ diff --git a/i386/i386/setjmp.h b/i386/i386/setjmp.h index 80f0f5f..930a9dd 100644 --- a/i386/i386/setjmp.h +++ b/i386/i386/setjmp.h @@ -35,6 +35,6 @@ typedef struct jmp_buf { extern int _setjmp(jmp_buf_t*); -extern void _longjmp(jmp_buf_t*, int); +extern void _longjmp(jmp_buf_t*, int) __attribute__ ((noreturn)); #endif /* _I386_SETJMP_H_ */ |