+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)
+ to g++, as GCC 3.3 complains if you do it.
+ * configure.ac (WARNING_CXXFLAGS): New subst. Set it to
+ everything that WARNING_CFLAGS has, except omit warnings
+ not suitable for C++.
+ (AC_PROG_CXX): Use this instead of AC_CHECK_PROGS([CXX], [g++]).
+ * tests/atlocal.in (CXXFLAGS): New var.
+ * tests/local.at (AT_COMPILE_CXX): Use it instead of CFLAGS.
+
+ Fix a GLR parser bug I reported in February; see
+ <http://mail.gnu.org/archive/html/bison-patches/2003-02/msg00008.html>.
+ The problem was that GLR parsers did not conform to the C standard,
+ because actions like { $1 = $2 + $3; } expanded to expressions
+ that invoked YYFILL in separate subexpressions, and YYFILL assigned
+ to a local variable. The C standard says that expressions
+ like (var = f ()) + (var = f ()) have undefined behavior.
+ Another problem was that GCC sometimes issues warnings that
+ yyfill and its parameters are unused.
+
+ * data/glr.c (yyfillin): Renamed from the old yyfill. Mark
+ as possibly unused.
+ (yyfill): New function.
+ (YYFILL): Use it.
+ (yyuserAction): Change type of yynormal to bool, so that it matches
+ the new yyfill signature. Mark it as possibly unused.
+
+
+ Follow up on a bug I reported in February, where a Bison-generated
+ parser can loop. Provide a test case and a fix for yacc.c. I
+ don't have a fix for lalr1.cc or for glr.c, unfortunately.
+ The original bug report is in:
+ <http://mail.gnu.org/archive/html/bison-patches/2003-02/msg00044.html>
+
+ * data/yacc.c (YYERROR): Now just 'goto yyerrorlab', since the
+ macro's size was becoming unwieldy.
+ (yyerrlab): Do not discard an empty lookahead symbol, as this
+ might destroy garbage.
+ (yyerrorlab): New label, with the old contents of YYERROR,
+ plus the following change: pop the stack of rhs corresponding
+ to the production that invoked YYERROR. That is how Yacc
+ behaves, and POSIX requires this behavior.
+ (yyerrlab1): Use YYPOPSTACK instead of its definiens.
+ * tests/calc.at (_AT_DATA_CALC_Y): Include unistd.h if available.
+ Define 'alarm' to do nothing if unistd.h is not available.
+ Add a new rule "exp: '-' error;" to test the above change to
+ data/yacc.c. Use 'alarm' to abort any test taking longer than
+ 10 seconds, as it's probably looping.
+ (AT_CHECK_CALC): Test recovery from error in new grammar rule.
+ Also, the new yacc.c generates two fewer diagnostics for an
+ existing test.
+
+2003-05-24 Paul Eggert <eggert@twinsun.com>
+
+ * data/glr.c (YYSTACKEXPANDABLE): Do not evaluate
+ YYSTYPE_IS_TRIVIAL or YYSTYPE_IS_TRIVIAL unless they are defined.
+ This fixes a problem reported by John Bowman when the Compaq/HP
+ Alpha cxx compiler happy (e.g. using cxx -D__USE_STD_IOSTREAM
+ -ansi -Wall -gall).
+ * data/yacc.c (union yyalloc): Likewise.
+ (YYCOPY): Do not evaluate __GNUC__ unless it is defined.
+
+ Switch from 'int' to 'bool' where that makes sense.
+
+ * lib/abitset.c (abitset_test, abitset_empty_p, abitset_equal_p,
+ abitset_subset_p, abitset_disjoint_p, abitset_and_cmp,
+ abitset_andn_cmp, abitset_or_cmp, abitset_xor_cmp, abitset_and_or,
+ abitset_and_or_cmp, abitset_andn_or_cmp, abitset_or_and_cmp):
+ Return or accept bool, not int. All callers changed.
+ * lib/bbitset.h: (bitset_toggle_, bitset_copy_, bitset_and_or_cmp_,
+ bitset_andn_or_cmp_, bitset_or_and_cmp_): Likewise.
+ * lib/bitset.c (bitset_only_set_p, bitset_print, bitset_toggle_,
+ bitset_copy_, bitset_op4_cmp, bitset_and_or_cmp_, bitset_andn_or_cmp_,
+ bitset_or_and_cmp_): Likewise.
+ * lib/bitset.h (bitset_test, bitset_only_set_p): Likewise.
+ * lib/bitset_stats.c (bitset_stats_print, bitset_stats_toggle,
+ bitset_stats_test, bitset_stats_empty_p, bitset_stats_disjoint_p,
+ bitset_stats_equal_p, bitset_stats_subset_p, bitset_stats_and_cmp,
+ bitset_stats_andn_cmp, bitset_stats_or_cmp, bitset_stats_xor_cmp,
+ bitset_stats_and_or_cmp, bitset_stats_andn_or_cmp,
+ bitset_stats_or_and_cmp): Likewise.
+ * lib/ebitset.c (ebitset_elt_zero_p, ebitset_equal_p, ebitset_copy_cmp,
+ ebitset_test, ebitset_empty_p, ebitset_subset_p, ebitset_disjoint_p,
+ ebitset_op3_cmp, ebitset_and_cmp, ebitset_andn_cmp, ebitset_or_cmp,
+ ebitset_xor_cmp): Likewise.
+ * lib/lbitset.c (lbitset_elt_zero_p, lbitset_equal_p, lbitset_copy_cmp,
+ lbitset_test, lbitset_empty_p, lbitset_subset_p, lbitset_disjoint_p,
+ lbitset_op3_cmp, lbitset_and_cmp, lbitset_andn_cmp, lbitset_or_cmp,
+ lbitset_xor_cmp): Likewise.
+ * lib/bbitset.h: Include <stdbool.h>.
+ (struct bitset_vtable): The following members now return bool, not
+ int: toggle, test, empty_p, disjoint_p, equal_p, subset_p,
+ and_cmp, andn_cmp, or_cmp, xor_cmp, and_or_cmp, andn_or_cmp,
+ or_and_cmp).
+ * src/conflicts.c (count_rr_conflicts): Likewise.
+ * lib/bitset_stats.h (bitset_stats_enabled): Now bool, not int.
+ All uses changed.
+ * lib/ebitset.c (ebitset_obstack_init): Likewise.
+ * lib/lbitset.c (lbitset_obstack_init): Likewise.
+ * src/getargs.c (debug_flag, defines_flag, locations_flag,
+ no_lines_flag, no_parser_flag, token_table_flag, yacc_flag,
+ graph_flag): Likewise.
+ * src/getargs.h (debug_flag, defines_flag, locations_flag,
+ no_lines_flag, no_parser_flag, token_table_flag, yacc_flag,
+ graph_flag): Likewise.
+ * src/output.c (error_verbose): Likewise.
+ * src/output.h (error_verbose): Likewise.
+ * src/reader.c (start_flag, typed): Likewise.
+ * src/reader.h (typed): Likewise.
+ * src/getargs.c (LOCATIONS_OPTION): New constant.
+ (long_options, getargs): Use it.
+ * src/lalr.c (build_relations): Use bool, not int.
+ * src/nullable.c (nullable_compute): Likewise.
+ * src/print.c (print_reductions): Likewise.
+ * src/tables.c (action_row, pack_vector): Likewise.
+ * src/muscle_tab.h (MUSCLE_INSERT_BOOL): New macro.
+ * src/output.c (prepare): Use it.
+ * src/output.c (token_definitions_output,
+ symbol_destructors_output, symbol_destructors_output): Use string,
+ not boolean integer, to keep track of whether to output separator.
+ * src/print_graph.c (print_core): Likewise.
+ * src/state.c (state_rule_lookaheads_print): Likewise.
+
+ * config/install-sh: Sync from automake 1.7.5.
+
2003-05-14 Paul Eggert <eggert@twinsun.com>
* src/parse-gram.y (rules_or_grammar_declaration): Require a
projects / bison.git / blobdiff