2 files changed, 3 insertions, 4 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index d326532ecb7..797a02b8f73 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,8 @@
 2013-02-16  Eli Zaretskii  <eliz@gnu.org>
 
+        * w32term.c <input_signal_count>: Declare 'volatile'
+        unconditionally.  (Bug#9066)
+
         * w32.c (set_errno): Reset h_errno and don't set it to any other
         value.  Set errno instead.
         (check_errno): Reset h_errno.
diff --git a/src/w32term.c b/src/w32term.c
index c83ee31d200..170f33ecd67 100644
--- a/src/w32term.c
+++ b/src/w32term.c
@@ -191,11 +191,7 @@ static Time last_mouse_movement_time;
 
 /* Incremented by w32_read_socket whenever it really tries to read
    events.  */
-#ifdef __STDC__
 static int volatile input_signal_count;
-#else
-static int input_signal_count;
-#endif
 
 #ifdef CYGWIN
 int w32_message_fd = -1;