Avoid undefined behavior that accessed just before the start of an array.

[bison.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index dea831a3e5e68fd37ff47264b0b8e78e779fd851..4448b67efeed18e376299b788858c30a33c2a5c4 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,55 @@
-2006-01-08
+2006-01-18  Paul Eggert  <eggert@cs.ucla.edu>
+
+       Avoid undefined behavior that accessed just before the start of an
+       array.  Problem reported by twlevo.
+       * src/reader.c (packgram): Prepend a new sentinel before ritem.
+       * src/lalr.c (build_relations): Rely on new sentinel.
+       * src/gram.c (gram_free): Adjust to new sentinel.
+
+2006-01-12  Joel E. Denny  <jdenny@ces.clemson.edu>
+
+       * data/glr.c (yyGLRStateSet): Rename yylookaheadStatuses to
+       yylookaheadNeeds.  All uses updated.
+       (yysplitStack): Rename local yynewLookaheadStatuses to
+       yynewLookaheadNeeds.
+       * data/glr-regression.at (Incorrect lookahead during nondeterministic
+       GLR): In comments, change `lookahead status' to `lookahead need'.
+
+2006-01-11  Paul Hilfinger  <hilfingr@tully.CS.Berkeley.EDU>
+
+       * data/glr.c (yysplitStack): A little stylistic rewrite.
+
+2006-01-11  Paul Hilfinger  <hilfingr@tully.CS.Berkeley.EDU>
+
+       * data/glr.c (yyaddDeferredAction): Flesh out the comment.
+
+2006-01-11  Joel E. Denny  <jdenny@ces.clemson.edu>
+
+       * doc/bison.texinfo: Fix some typos.
+       (GLR Semantic Actions): New subsection discussing special
+       considerations because GLR semantic actions might be deferred.
+       (Actions): Mention look-ahead usage of yylval.
+       (Actions and Locations): Mention look-ahead usage of yylloc.
+       (Special Features for Use in Actions): Add YYEOF entry and mention it
+       in the yychar entry.
+       In the yychar entry, remove mention of the local yychar case (pure
+       parser) since this is irrelevant information when writing semantic
+       actions and since it's already discussed in `Bison Symbols' where
+       yychar is otherwise described as an external variable.
+       In the yychar entry, don't call it the `current' look-ahead since it
+       isn't when semantic actions are deferred.
+       In the yychar and yyclearin entries, add note about deferred semantic
+       actions.
+       Add yylloc and yylval entries discussing look-ahead usage.
+       (Look-Ahead Tokens): When discussing yychar, don't call it the
+       `current' look-ahead, and do mention yylval and yylloc.
+       (Error Recovery): Cross-reference `Action Features' when mentioning
+       yyclearin.
+       (Bison Symbols): In the yychar entry, don't call it the `current'
+       look-ahead.
+       In the yylloc and yylval entries, mention look-ahead usage.
+
+2006-01-08  Joel E. Denny  <jdenny@ces.clemson.edu>
 
        * tests/glr-regression.at: Update copyright year to 2006.
 
@@ -35,7 +86,7 @@
 
 2006-01-06  Joel E. Denny  <jdenny@ces.clemson.edu>
 
-       * data/c.m4 (b4_yy_symbol_print_generate): In yy_symbol_print, accept   
+       * data/c.m4 (b4_yy_symbol_print_generate): In yy_symbol_print, accept
        !yyvaluep as signal that no semantic value is available to print.
        * data/glr.c (yydestroyGLRState): If state is not resolved, don't try
        to print a semantic value.