* src/getargs.c (flags_argmatch): Don't cause segmentation fault for

[bison.git] / src / getargs.c

diff --git a/src/getargs.c b/src/getargs.c
index 52f97e17346a14aed2ca67026c96415832d1f6c3..94d24329d716cdd0ea167be3135f96f30a20a2ec 100644 (file)
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -91,15 +91,15 @@ flags_argmatch (const char *option,
   if (args)
     {
       args = strtok (args, ",");
-      do
+      while (args)
        {
          int value = XARGMATCH (option, args, keys, values);
          if (value == 0)
            *flags = 0;
          else
            *flags |= value;
+          args = strtok (NULL, ",");
        }
-      while ((args = strtok (NULL, ",")));
     }
   else
     *flags = ~0;