* ebrowse.c (parse_qualified_param_ident_or_type): Make it clear

to reader (and to the compiler) that the loop always executes at
least once.  This prevents a warning with recent GCC.

2 files changed, 8 insertions, 1 deletions

diff --git a/lib-src/ChangeLog b/lib-src/ChangeLog
index c57ee2ff98c..578b3e402b0 100644
--- a/lib-src/ChangeLog
+++ b/lib-src/ChangeLog
@@ -1,5 +1,9 @@
 2011-02-26  Paul Eggert  <eggert@cs.ucla.edu>
 
+        * ebrowse.c (parse_qualified_param_ident_or_type): Make it clear
+        to reader (and to the compiler) that the loop always executes at
+        least once.  This prevents a warning with recent GCC.
+
         * fakemail.c: Include <ignore-value.h>.
         (put_line): Explicitly ignore fwrite return value, for benefit of
         recent glibc + gcc.
diff --git a/lib-src/ebrowse.c b/lib-src/ebrowse.c
index 60baf99c511..c2b1fb9f457 100644
--- a/lib-src/ebrowse.c
+++ b/lib-src/ebrowse.c
@@ -2952,7 +2952,9 @@ parse_qualified_param_ident_or_type (char **last_id)
   static char *id = NULL;
   static int id_size = 0;
 
-  while (LOOKING_AT (IDENT))
+  assert (LOOKING_AT (IDENT));
+
+  do
     {
       int len = strlen (yytext) + 1;
       if (len > id_size)
@@ -2975,6 +2977,7 @@ parse_qualified_param_ident_or_type (char **last_id)
       else
         break;
     }
+  while (LOOKING_AT (IDENT));
 }