diff options
| -rw-r--r-- | sim/common/ChangeLog | 5 | ||||
| -rw-r--r-- | sim/common/hw-device.h | 6 | ||||
| -rw-r--r-- | sim/common/sim-hw.h | 2 |
3 files changed, 9 insertions, 4 deletions
diff --git a/sim/common/ChangeLog b/sim/common/ChangeLog index ea0ce20..04ea93b 100644 --- a/sim/common/ChangeLog +++ b/sim/common/ChangeLog @@ -1,3 +1,8 @@ +2010-01-10 Mike Frysinger <vapier@gentoo.org> + + * hw-device.h (hw_abort, hw_vabort, hw_halt): Add noreturn attribute. + * sim-hw.h (sim_hw_abort): Likewise. + 2011-01-05 Mike Frysinger <vapier@gentoo.org> * sim-load.c (sim_load_file): Change buffer type to unsigned char *. diff --git a/sim/common/hw-device.h b/sim/common/hw-device.h index 4ac61b1..b0f66eb 100644 --- a/sim/common/hw-device.h +++ b/sim/common/hw-device.h @@ -433,17 +433,17 @@ int hw_ioctl void hw_abort (struct hw *me, const char *fmt, - ...) __attribute__ ((format (printf, 2, 3))); + ...) __attribute__ ((format (printf, 2, 3), noreturn)); void hw_vabort (struct hw *me, const char *fmt, - va_list ap); + va_list ap) __attribute__ ((noreturn)); void hw_halt (struct hw *me, int reason, - int status); + int status) __attribute__ ((noreturn)); #define hw_trace_p(hw) ((hw)->trace_of_hw_p + 0) diff --git a/sim/common/sim-hw.h b/sim/common/sim-hw.h index 1e0d3b3..e85cecc 100644 --- a/sim/common/sim-hw.h +++ b/sim/common/sim-hw.h @@ -49,7 +49,7 @@ void sim_hw_abort (SIM_DESC sd, struct hw *hw, const char *fmt, - ...) __attribute__ ((format (printf, 3, 4))); + ...) __attribute__ ((format (printf, 3, 4), noreturn)); |