+2003-06-09 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
+
+ * data/glr.c (YYERROR): Update definition to reset yyerrState to 0
+ first.
+ (yyrecoverSyntaxError): Correct the logic for setting and testing
+ yyerrState.
+ Correct comment on handling EOF.
+ Allow states with only a default reduction, rather than failing
+ (I can't quite reconstruct why these were not allowed before).
+
+ Fixes to avoid problem that $-N rules in GLR parsers can cause
+ buffer overruns, corrupting state.
+
+ * src/output.c (prepare_rules): Output max_left_semantic_context
+ definition.
+ * src/reader.h (max_left_semantic_context): New variable declaration.
+ * src/scan-gram.l (max_left_semantic_context): Define.
+ (handle_action_dollar): Update max_left_semantic_context.
+ * data/glr.c (YYMAXLEFT): New definition.
+ (yydoAction): Increase size of yyrhsVals by YYMAXLEFT.
+ (yyresolveAction): Ditto.
+
+ Fixes to problems with location handling in GLR parsers reported by
+ Frank Heckenbach (2003/06/05).
+
+ * data/glr.c (YYLTYPE): Make trivial if locations not used.
+ (YYRHSLOC): Add parentheses, and define only if locations used.
+ (YYLLOC_DEFAULT): Add parentheses, and give trivial definition if
+ locations not used.
+ (yyuserAction): Use YYLLOC_DEFAULT to set *yylocp.
+ (yydoAction): Remove redundant initialization of *yyvalp and *yylocp.
+
+ * tests/cxx-type.at: Exercise location information; update tests
+ to differentiate output with and without locations.
+ Remove forward declarations of yylex and yyerror---caused errors
+ because default YYLTYPE not yet defined.
+ Change semantic actions to compute strings, rather than printing
+ them directly (to test proper passing of semantics values). Change
+ output to prefix notation and update test data and expected results.
+ (yylex): Track locations.
+ (stmtMerge): Return value rather than printing, and include arguments
+ in value.
+
+2003-06-03 Paul Eggert <eggert@twinsun.com>
+
+ Avoid warnings generated by GCC 2.95.4 when Bison is
+ configured with --enable-gcc-warnings.
+ * data/lalr1.cc (yy::]b4_parser_class_name[::parse,
+ yy::]b4_parser_class_name[::translate_,
+ yy::Stack::operator[] (unsigned),
+ yy::Stack::operator[] (unsigned) const,
+ yy::Slice::operator[] (unsigned),
+ yy::Slice::operator[] (unsigned) const):
+ Rename local vars to avoid warnings.
+ * tests/glr-regression.at (Improper handling of embedded actions
+ and $-N in GLR parsers): Remove unused local variable from yylex.
+ * tests/regression.at (_AT_DATA_DANCER_Y): Declare yylex to take
+ (void) as arg when not pure, since we now assume C89 when building
+ Bison. Pacify GCC by using parameter.
+
+2003-06-02 Paul Eggert <eggert@twinsun.com>
+
+ * data/lalr1.cc (yy::Position::lines, yy::Position::columns,
+ yy::Location::lines, yy::Location::columns): Rename arguments
+ to avoid shadowing; this removes a warning generated by GCC 3.3.
+
2003-06-01 Paul Eggert <eggert@twinsun.com>
Don't pass C-only warning optins (e.g., -Wmissing-declarations)