yychar cannot be empty in yyerrlab.

[bison.git] / TODO

diff --git a/TODO b/TODO
index 7b473094cf7d7450ea66b48e618f7ead857d6465..918ca350589676dd9ff0dff7a67fb1c91d2d564a 100644 (file)
--- a/TODO
+++ b/TODO
@@ -54,6 +54,22 @@ what it should look like.  For instance what follows crashes.
     return yyparse ();
   }
 
+** yychar == yyempty_
+The code in yyerrlab reads:
+
+      if (yychar <= YYEOF)
+       {
+         /* Return failure if at end of input.  */
+         if (yychar == YYEOF)
+           YYABORT;
+       }
+
+There are only two yychar that can be <= YYEOF: YYEMPTY and YYEOF.
+But I can't produce the situation where yychar is YYEMPTY here, is it
+really possible?  The test suite does not exercise this case.
+
+This shows that it would be interesting to manage to install skeleton
+coverage analysis to the test suite.
 
 * Header guards