Fix infinite loop in menu input due to block_input.

1 files changed, 6 insertions, 1 deletions

diff --git a/src/w32inevt.c b/src/w32inevt.c
index ce36f291b00..3c41bec6bb5 100644
--- a/src/w32inevt.c
+++ b/src/w32inevt.c
@@ -712,12 +712,17 @@ w32_console_read_socket (struct terminal *terminal,
       while (nev > 0)
         {
 	  struct input_event inev;
+	  /* Having a separate variable with this value makes
+	     debugging easier, as otherwise the compiler might
+	     rearrange the switch below in a way that makes it hard to
+	     track the event type.  */
+	  unsigned evtype = queue_ptr->EventType;
 
 	  EVENT_INIT (inev);
 	  inev.kind = NO_EVENT;
 	  inev.arg = Qnil;
 
-	  switch (queue_ptr->EventType)
+	  switch (evtype)
             {
             case KEY_EVENT:
 	      add = key_event (&queue_ptr->Event.KeyEvent, &inev, &isdead);