* ddb/db_command.h (db_error): Mark with attribute noreturn. * i386/i386/setjmp.h (_longjmp): Likewise.
--- ddb/db_command.h | 2 +- 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_ */ -- 1.8.1.4