Prefer "continue" for empty loop bodies.

	* etc/bench.pl.in: Use "continue" instead of {}.

diff --git a/ChangeLog b/ChangeLog
index e222c8c7ea8c300313885103b61351c1708eab81..f562d3a9c5b6b6e0f32f05c0f4a7b65a613304a9 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-10-28  Akim Demaille  <demaille@gostai.com>
+
+       Prefer "continue" for empty loop bodies.
+       * etc/bench.pl.in: Use "continue" instead of {}.
+

 2008-10-28  Akim Demaille  <demaille@gostai.com>
 
        Space and comments changes.
 2008-10-28  Akim Demaille  <demaille@gostai.com>
 
        Space and comments changes.

diff --git a/etc/bench.pl.in b/etc/bench.pl.in
index b008b0bcbc96b039e7d9aa21fac572becdbdb82a..ca4334936b78e3c2f595f0cce6067a72f10519e4 100755 (executable)
--- a/etc/bench.pl.in
+++ b/etc/bench.pl.in
@@ -270,9 +270,7 @@ yylex (void)
 
   /* Skip white space.  */
   while ((c = get_char ()) == ' ' || c == '\t')
 
   /* Skip white space.  */
   while ((c = get_char ()) == ' ' || c == '\t')

-    {
-
-    }
+    continue;

 
   /* process numbers   */
   if (c == '.' || isdigit (c))
 
   /* process numbers   */
   if (c == '.' || isdigit (c))