diff --git a/cpu-exec.c b/cpu-exec.c
index 4320f61e1f..4f7f215c01 100644
--- a/cpu-exec.c
+++ b/cpu-exec.c
@@ -710,7 +710,7 @@ int cpu_exec(CPUState *env1)
                     cpu_loop_exit();
                 }
 #endif
-            }
+            } /* for(;;) */
         } else {
             env_to_regs();
         }