/* The common simulator framework for GDB, the GNU Debugger.
- Copyright 2002, 2007, 2008 Free Software Foundation, Inc.
+ Copyright 2002, 2007, 2008, 2009 Free Software Foundation, Inc.
Contributed by Andrew Cagney and Red Hat.
void sim_io_error (SIM_DESC sd,
const char *fmt,
- ...) __attribute__ ((format (printf, 2, 3)));
+ ...)
+ __attribute__ ((format (printf, 2, 3)))
+ __attribute__ ((__noreturn__));
void sim_io_poll_quit (SIM_DESC sd);