+2006-01-04 Paul Eggert <eggert@cs.ucla.edu>
+
+ * data/c.m4 (b4_c_modern): New macro, with a new provision for
+ _MSC_VER. Problem reported by Cenzato Marco.
+ (b4_c_function_def): Use it.
+ * data/yacc.c (YYMODERN_C): Remove. All uses replaced by
+ b4_c_modern.
+ (yystrlen, yystpcpy, yyparse): Use b4_c_function... macros rather
+ than rolling our own.
+
+2006-01-04 Akim Demaille <akim@epita.fr>
+
+ Also warn about non-used mid-rule values.
+ * src/symlist.h, src/symlist.c (symbol_list): Add a mid_rule
+ member.
+ (symbol_list_new): Adjust.
+ * src/reader.c (symbol_typed_p): New.
+ (grammar_rule_check): Use it.
+ (grammar_midrule_action): Bind a mid-rule LHS to its rule.
+ Check its rule.
+ * tests/input.at (AT_CHECK_UNUSED_VALUES): New.
+ Use it.
+ * tests/actions.at (Exotic Dollars): Adjust.
+
+2006-01-04 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c (grammar_midrule_action): If $$ is set in a
+ mid-rule, move the `used' bit to its lhs.
+ * tests/input.at (Unused values): New.
+ * tests/actions.at (Exotic Dollars): Adjust: exp is not typed.
+
+2006-01-03 Paul Eggert <eggert@cs.ucla.edu>
+
+ * doc/bison.texinfo (Bison Options): Say more accurately what
+ --yacc does.
+ * src/parse-gram.y (rules_or_grammar_declaration): Don't complain
+ about declarations in the grammar when in Yacc mode, as POSIX does
+ not require a diagnostic when the grammar uses extensions.
+
+ * src/reduce.c (reduce_grammar): Remove unnecessary cast to bool.
+
+ Warn about dubious constructions like "%token T T".
+ Reported by twlevo.
+ * src/symtab.h (struct symbol.declared): New member.
+ * src/symtab.c (symbol_new): Initialize it to false.
+ (symbol_class_set): New arg DECLARING, specifying whether
+ this is a declaration that we want to warn about, if there
+ is more than one of them. All uses changed.
+
+ * data/glr.c, data/glr.cc, data/lalr1.cc, data/yacc.c:
+ Allow multiple %union directives, whose contents concatenate.
+ * src/parse-gram.y (grammar_declaration): Likewise.
+ Use muscle_code_grow, so that we don't need stype_line any more.
+ All uses changed.
+
+ * src/muscle_tab.c (muscle_grow): Fix comment.
+
+ * ChangeLog, data/c.m4, data/glr.c, data/glr.cc, data/location.cc:
+ * data/yacc.c, src/getargs.c, src/output.c, tests/cxx-type.at:
+ Update copyright year to 2006.
+
+2006-01-03 Akim Demaille <akim@epita.fr>
+
+ Have glr.cc pass (some of) the calc.at tests.
+ * data/glr.cc (b4_parse_param_orig): New.
+ (b4_parse_param): Improve its definition, and bound it more
+ clearly in the skeleton.
+ (b4_epilogue): Append, instead of prepending, in order to keep
+ #line consistency.
+ Simplify the generation of auxiliary functions: locations and
+ purity are mandated.
+ (b4_global_tokens_and_yystype): Honor it.
+ * data/location.cc (c++.m4): Don't include it.
+ * tests/local.at (_AT_BISON_OPTION_PUSHDEFS): Define AT_GLR_CC_IF
+ and AT_SKEL_CC_IF.
+ * tests/calc.at (AT_CHECK_CALC): Rely on AT_SKEL_CC_IF instead of
+ AT_LALR1_CC_IF.
+ Be sure to initialize the first position's filename.
+ (AT_CHECK_CALC_LALR1_CC): Add %location and %defines, they are
+ mandated anyway.
+ (AT_CHECK_CALC_GLR_CC): New.
+ Use it to exercise glr.cc as a lalr1.cc drop-in replacement.
+
+2006-01-02 Akim Demaille <akim@epita.fr>
+
+ * src/output.c (output_skeleton): Don't hard wire the inclusion of
+ c.m4.
+ * data/c++.m4, data/glr.c, data/yacc.c: Include c.m4.
+ * data/glr.cc: Do not include stack.hh.
+
+2006-01-02 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ * data/glr.c: Reformat whitespace with tabs.
+ (b4_lpure_formals): Remove this unused m4 macro.
+ * tests/cxx-type.at: Reformat whitespace with tabs.
+ (_AT_TEST_GLR_CXXTYPES): In union Node, rename node_info to nodeInfo
+ since it's a member. Rename type to isNterm for clarity.
+
+2005-12-29 Akim <akim@sulaco.local>
+
+ Let glr.cc catch up with symbol_value_print.
+ * data/glr.cc (b4_yysymprint_generate): Replace by...
+ (b4_yy_symbol_print_generate): this.
+ (yy_symbol_print, yy_symbol_value_print): Declare them.
+
+2005-12-28 Paul Eggert <eggert@cs.ucla.edu>
+
+ * src/location.h (boundary): Note that a line or column equal
+ to INT_MAX indicates an overflow.
+ * src/scan-gram.l: Include verify.h. Don't include get-errno.h.
+ (rule_length_overflow, increment_rule_length, add_column_width):
+ New functions.
+ (<INITIAL>{id}, <SC_ESCAPED_STRING>"\"", <SC_ESCAPED_CHARACTER>"'"):
+ (<SC_BRACED_CODE>"}"):
+ Use increment_rule_length rather than incrementing it by hand.
+ (adjust_location, handle_syncline): Diagnose overflow.
+ (handle_action_dollar, handle_action_at):
+ Fix bug with monstrosities like $-2147483648.
+ Remove now-unnecessary checks.
+ (scan_integer): Verify assumptions and remove now-unnecessary checks.
+ (convert_ucn_to_byte): Verify assumptions.
+ (handle_syncline): New arg LOC. All callers changed.
+ Don't store through a value derived from char const * pointer.
+
+ * src/reader.c (grammar_rule_check): Rewrite slightly to avoid
+ GCC warnings.
+
+2005-12-27 Paul Eggert <eggert@cs.ucla.edu>
+
+ * src/reader.c (grammar_midrule_action, grammar_symbol_append):
+ Remove unnecessary forward static decls.
+
+2005-12-27 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c (grammar_current_rule_check): Also check that $$
+ is used.
+ Take the rule to check as argument, hence rename as...
+ (grammar_rule_check): this.
+ * src/reader.h, src/reader.c (grammar_rule_begin, grammar_rule_end):
+ Rename as...
+ (grammar_rule_begin, grammar_rule_end): these, for consistency.
+ (grammar_midrule_action, grammar_symbol_append): Now static.
+ * tests/torture.at (input): Don't rely on the default action
+ being always performed.
+ * tests/calc.at: "Set" $$ even when the action is "cut" with
+ YYERROR or other.
+ * tests/actions.at (Exotic Dollars): Instead of using unused
+ values, check that the warning is issued.
+
+2005-12-22 Paul Eggert <eggert@cs.ucla.edu>
+
+ * NEWS: Improve wording for unused-value warnings.
+
+2005-12-22 Akim Demaille <akim@epita.fr>
+
+ * data/lalr1.cc, data/yacc.c, data/glr.c, data/c.m4
+ (b4_yysymprint_generate): Rename as...
+ (b4_yy_symbol_print_generate): this.
+ Generate yy_symbol_print instead of yysymprint.
+ Generate also yy_symbol_value_print, and use it.
+
+2005-12-22 Akim Demaille <akim@epita.fr>
+
+ * NEWS: Warn about unused values.
+ * src/symlist.h, src/symlist.c (symbol_list, symbol_list_new): Add
+ a `used' member.
+ (symbol_list_n_get, symbol_list_n_used_set): New.
+ (symbol_list_n_type_name_get): Use symbol_list_n_get.
+ * src/scan-gram.l (handle_action_dollar): Flag used symbols.
+ * src/reader.c (grammar_current_rule_check): Check that values are
+ used.
+ * src/symtab.c (symbol_print): Accept 0.
+ * tests/existing.at: Remove the type information.
+ Empty the actions.
+ Remove useless actions (beware of mid-rule actions: perl -000
+ -pi -e 's/\s*\{\}(?=[\n\s]*[|;])//g').
+ * tests/actions.at (Exotic Dollars): Use unused values.
+ * tests/calc.at: Likewise.
+ * tests/glr-regression.at (No users destructors if stack 0 deleted):
+ Likewise.
+
+ * src/gram.c (rule_useful_p, rule_never_reduced_p): Use
+ rule_useful_p.
+
+2005-12-21 Paul Eggert <eggert@cs.ucla.edu>
+
+ Undo 2005-12-01 tentative license wording change. The wording is
+ still being reviewed by the lawyers, and we don't want to wait for
+ them before publishing a test release. For now, revert to the
+ previous wording.
+ * NEWS: Undo 2005-12-01 change.
+ * data/glr.c: Revert to previous license wording.
+ * data/glr.cc: Likewise.
+ * data/lalr1.cc: Likewise.
+ * data/location.cc: Likewise.
+ * data/yacc.c: Likewise.
+
+ * NEWS: Reword %destructor vs YYABORT etc.
+ * data/glr.c: Use American spacing, for consistency.
+ * data/glr.cc: Likewise.
+ * data/lalr1.cc: Likewise.
+ * data/yacc.c: Likewise.
+ * data/yacc.c: Reformat comments slightly.
+ * doc/bison.texinfo: Replace "non-" with "non" when that makes sense,
+ for consistency. Fix some spelling errors and reword recently-included
+ text slightly.
+ * tests/cxx-type.at: Cast results of malloc, for C++.
+
+2005-12-21 Joel E. Denny <address@hidden>
+
+ * tests/cxx-type.at: Construct a tree, count the parents of shared
+ nodes, and free each node once and only once. Previously, the memory
+ for semantic values was leaked instead.
+
+2005-12-21 Joel E. Denny <address@hidden>
+
+ * data/glr.c (struct yyGLRStack): If pure, add yyval and yyloc members.
+ (yylval, yylloc): If pure, #define to yystackp->yyval and
+ yystackp->yyloc similar to yychar and yynerrs.
+ (yyparse): If pure, remove local yylval and yylloc. Add local
+ yystackp to accommodate pure definitions of yylval and yylloc.
+ (b4_lex_param, b4_lyyerror_args, b4_lpure_args): If pure, change
+ yylvalp and yyllocp to &yylval and &yylloc.
+ (nerrs, char, lval, lloc): If pure, add #define's for b4_prefix[]
+ namespace. Previously, nerrs and char were missing, but lval and lloc
+ weren't necessary.
+ (yyprocessOneStack, yyreportSyntaxError, yyrecoverSyntaxError): Remove
+ yylvalp and yyllocp parameters since, if pure, these are now always
+ accessible through yystackp. If not pure, they are still accessible
+ globally.
+ * data/glr.c, data/yacc.c (YYLLOC_DEFAULT): Change `if (N)' to
+ `if (YYID (N))' to pacify lint.
+
+2005-12-21 Akim Demaille <akim@epita.fr>
+
+ YYACCEPT, YYERROR, and YYABORT, as user actions, should not
+ destroy the RHS symbols of a rule.
+ * data/yacc.c (yylen): Initialize to 0.
+ Keep its value to the number of items to possibly shift.
+ In particular, a regular successful parse that ends on YYFINAL by
+ a (internal) YYACCEPT must not have yylen != 0.
+ (yyerrorlab, yyreturn): Pop the RHS.
+ Reorder a bit to emphasize the `shifting' bits of code.
+ (YYPOPSTACK): Now accept a number of items to pop.
+ * data/lalr1.cc: Likewise.
+ * data/glr.c: Formatting changes.
+ Use goto instead of fall through.
+ * doc/bison.texinfo (Destructor Decl): Complete.
+
projects / bison.git / blobdiff