diff options
| author | Paul Eggert | 2011-03-09 09:39:28 -0800 |
|---|---|---|
| committer | Paul Eggert | 2011-03-09 09:39:28 -0800 |
| commit | 2a8fade06259290024cd7fe98fdeb8fd9709c90f (patch) | |
| tree | d83dab964434a023231667bca61b397eb5d30d53 /src/xterm.c | |
| parent | 28f1c698135e245c0e09e6c5314b4799aca9378d (diff) | |
| download | emacs-2a8fade06259290024cd7fe98fdeb8fd9709c90f.tar.gz emacs-2a8fade06259290024cd7fe98fdeb8fd9709c90f.zip | |
* xterm.c (x_connection_closed): Tell GCC not to suggest NO_RETURN.
Diffstat (limited to 'src/xterm.c')
| -rw-r--r-- | src/xterm.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/xterm.c b/src/xterm.c index e218eb95285..abedf3b3bce 100644 --- a/src/xterm.c +++ b/src/xterm.c | |||
| @@ -7755,6 +7755,10 @@ For details, see etc/PROBLEMS.\n", | |||
| 7755 | 7755 | ||
| 7756 | unbind_to (idx, Qnil); | 7756 | unbind_to (idx, Qnil); |
| 7757 | clear_waiting_for_input (); | 7757 | clear_waiting_for_input (); |
| 7758 | |||
| 7759 | /* Tell GCC not to suggest attribute 'noreturn' for this function. */ | ||
| 7760 | IF_LINT (if (! terminal_list) return; ) | ||
| 7761 | |||
| 7758 | /* Here, we absolutely have to use a non-local exit (e.g. signal, throw, | 7762 | /* Here, we absolutely have to use a non-local exit (e.g. signal, throw, |
| 7759 | longjmp), because returning from this function would get us back into | 7763 | longjmp), because returning from this function would get us back into |
| 7760 | Xlib's code which will directly call `exit'. */ | 7764 | Xlib's code which will directly call `exit'. */ |