+2006-01-06 Joel E. Denny <jdenny@ces.clemson.edu>
+ * tests/glr-regression.at: For consistency with my newer test cases,
+ don't thank myself.
+
+2006-01-05 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ * data/glr.c (yyresolveValue): When merging semantic options, if at
+ least one user action succeeds but a later one cuts the parse, then
+ destroy the semantic value before returning rather than leaking it.
+ (yyresolveStates): If a user action cuts the parse and thus
+ yyresolveValue fails, ignore the (unset) semantic value rather than
+ corrupting the yyGLRState, and empty the semantic options list since
+ the user actions should have called all necessary destructors.
+ Simplify code with YYCHK.
+ * tests/glr-regression.at (Corrupted semantic options if user action
+ cuts parse): New test case.
+ (Undesirable destructors if user action cuts parse): New test case.
+ Before applying any of this patch, this test case never actually failed
+ for me... but only because the corrupted semantic options usually
+ masked this bug.
+ (Leaked merged semantic value if user action cuts parse): New test
+ case.
+
+2006-01-05 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c, src/symlist.h, src/symlist.c: s/mid_rule/midrule/.
+
+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.
+
+2005-12-20 Juan Manuel Guerrero <juan.guerrero@gmx.de>
+
+ * Makefile.am: DJGPP specific files added to EXTRA_DIST.
+ * djgpp/Makefile.maint: Fix PACKAGE variable computation.
+ * djgpp/config.bat: Replace every occurence of the file name
+ scan-gram-c.c with c-scan-gram.c. The same for scan-skel-c.c with
+ c-scan-skel.c to conform with the 8.3 file name restriction on MSDOS.
+ * djgpp/config.sed: Replace every occurence of the file name
+ scan-gram-c.c with c-scan-gram.c. The same for scan-skel-c.c with
+ c-scan-skel.c to conform with the 8.3 file name restriction on MSDOS.
+ * djgpp/djunpack.bat: DJGPP specific file.
+ * djgpp/fnchange.lst: DJGPP specific file.
+ * djgpp/README.in: Add new information about how to unpack the bison
+ source on MSDOS and other systems which have 8.3 file name restrictions
+ using djunpack.bat and fnchange.lst.
+
+2005-12-12 Paul Eggert <eggert@cs.ucla.edu>
+
+ * bootstrap (build_cvs_prefix): Remove; unused.
+ (CVS_PREFIX): Adjust to yesterday's Savannah reorganization
+ when getting gnulib.
+
+2005-12-12 "Joel E. Denny" <jdenny@ces.clemson.edu>
+
+ * data/glr.c: Reorder typedef declarations for structs to match order
+ of struct declarations.
+ Rename yystack everywhere to yystackp except in yyparse where it's not
+ a pointer.
+ (yyglrShift): Change parameter YYSTYPE yysval to YYSTYPE* yyvalp for
+ consistency.
+ (yyis_table_ninf): Change 0 to YYID (0) to pacify lint.
+ (yyreportSyntaxError): Add /*ARGSUSED*/ to pacify lint.
+ (yyparse): Change while (yytrue) to while ( YYID (yytrue)) to pacify
+ lint.
+
+2005-12-09 Paul Eggert <eggert@cs.ucla.edu>
+
+ * tests/sets.at (Accept): Fix typos in regular expression used to
+ sed out the final state number.
+
+ Work around portability problem on Solaris 10: flex-generated
+ files include <stdio.h> before <config.h>, which messes up
+ because the latter defines __EXTENSIONS__. Address the problem
+ by creating two new little files that include <config.h> first,
+ then include the flex-generated files. Rewrite everyone else
+ to include <config.h> first, as well.
+ * lib/timevar.c: Always include "config.h".
+ * src/Makefile.am (bison_SOURCES): Replace scan-gram.l with
+ scan-gram-c.c, and scan-skel.l with scan-skel-c.c.
+ (EXTRA_bison_SOURCES): New macro.
+ * src/scan-gram-c.c, src/scan-skel-c.c: New files.
+ * src/system.h: Don't include config.h.
+ * src/LR0.c: Include <config.h> first.
+ * src/assoc.c: Likewise.
+ * src/closure.c: Likewise.
+ * src/complain.c: Likewise.
+ * src/conflicts.c: Likewise.
+ * src/derives.c: Likewise.
+ * src/files.c: Likewise.
+ * src/getargs.c: Likewise.
+ * src/gram.c: Likewise.
+ * src/lalr.c: Likewise.
+ * src/location.c: Likewise.
+ * src/main.c: Likewise.
+ * src/muscle_tab.c: Likewise.
+ * src/nullable.c: Likewise.
+ * src/output.c: Likewise.
+ * src/parse-gram.y: Likewise.
+ * src/print.c: Likewise.
+ * src/print_graph.c: Likewise.
+ * src/reader.c: Likewise.
+ * src/reduce.c: Likewise.
+ * src/relation.c: Likewise.
+ * src/state.c: Likewise.
+ * src/symlist.c: Likewise.
+ * src/symtab.c: Likewise.
+ * src/tables.c: Likewise.
+ * src/uniqstr.c: Likewise.
+ * src/vcg.c: Likewise.
+
+ * src/parse-gram.y: Fix minor problems uncovered by lint.
+ (current_lhs, current_lhs_location): Now static.
+ (current_assoc): Remove unused variable.
+
+ Cleanups so that Bison-generated parsers have less lint.
+ * data/c.m4 (b4_yydestruct_generate, b4_yysymprint_generate):
+ Prepend /*ARGSUSED*/, for lint's sake.
+ * data/glr.c (YYUSE): Properly parenthesize, and use an alternate
+ definition if 'lint' is defined.
+ (YYID): New macro (or function, if lint).
+ All uses of /*CONSTCOND*/0 replaced by YYID(0).
+ * data/yacc.c: Likewise.
+ * data/glr.c (yyuserAction, yyuserMerge, yy_reduce_print):
+ (yyrecoverSyntaxError): Prepend /*ARGSUSED*/.
+ * data/glr.cc (YYLLOC_DEFAULT): Omit /*CONSTCOND*/ since this code
+ is C++ only.
+ * data/lalr1.cc (YYUSE): Just use a cast, since this code is C++ only.
+ * data/yacc.c (YYSTACK_FREE) [defined YYSTACK_ALLOC]:
+ Use YYID(0) rather than 0, for lint.
+ (yystrlen): Rewrite to avoid lint warning about ptrdiff_t overflow.
+ (yysyntax_error): Rewrite to avoid lint warnings about parenthesization.
+
+2005-12-07 Paul Eggert <eggert@cs.ucla.edu>
+
+ * tests/glr-regression.at
+ (Improper handling of embedded actions and dollar(-N) in GLR parsers):
+ Close memory leak reported by twlevo.
+
+2005-12-06 "Joel E. Denny" <jdenny@ces.clemson.edu>
+
+ * data/glr.c (yyprocessOneStack, yyparse): Synchronize the shift for
+ all stacks.
+ (yyparse): Iterate another stack in order to call user destructors.
+ * tests/glr-regression.at (No users destructors if stack 0 deleted):
+ New test case.
+ (Duplicated user destructor for lookahead): This test now is expected
+ to succeed.
+
+2005-12-01 Paul Eggert <eggert@cs.ucla.edu>
+
+ * NEWS: Document the following change.
+ * data/yacc.c: Say "parser skeleton" rather than "file", since
+ it's no longer just a file.
+ * data/glr.c: Grant a special exception for C GLR parsers, that
+ reads like the already-existing exception for C LALR(1) parsers.
+ * data/glr.cc: Likewise.
+ * data/lalr1.cc: Likewise.
+ * data/location.cc: Likewise.
+ * data/yacc.c: Reword the "written by" statement to clarify that
+ it was the parser skeleton, not the entire output file.
+ * data/glr.c: Written by Paul Hilfinger.
+ * data/glr.cc: Written by Akim Demaille.
+ * data/lalr1.cc: Likewise.
+
+2005-11-18 Paul Eggert <eggert@cs.ucla.edu>
+
+ * data/yacc.c (yy_reduce_print, YY_REDUCE_PRINT):
+ Fix typos in previous change that broke 'make check'.
+ YY_REDUCE_PRINT cannot be a pseudo-varargs macro; that isn't
+ supported in C.
+ * tests/calc.at (_AT_CHECK_CALC,_AT_CHECK_CALC_ERROR):
+ Don't check NUM-STDERR-LINES, since the output format is fluctuating.
+ We can revert this once things settle down.
+
+ * src/conflicts.c (conflicts_print): Don't print file name twice
+ when %expect fails because there were no conflicts.
+ * doc/bison.texinfo (Expect Decl): Tighten up wording in previous
+ change.
+ * tests/conflicts.at (%expect not enough, %expect too much):
+ (%expect with reduce conflicts): Adjust to new behavior.
+
+2005-11-18 Akim Demaille <akim@epita.fr>
+
+ * src/conflicts.c (conflicts_print): Unsatisfied %expectation are
+ errors.
+ * NEWS: Document this.
+ * doc/bison.texinfo (Expect Decl): Likewise.
+
+2005-11-16 Akim Demaille <akim@epita.fr>
+
+ Generalize the display of semantic values and locations in traces.
+ * data/glr.c (yy_reduce_print): Fix indices (again).
+ * data/c++.m4 (b4_rhs_value, b4_rhs_location): Don't expect
+ literal integers.
+ * data/lalr1.cc (yyreduce_print): Rename as...
+ (yy_reduce_print): this.
+ Display values and locations.
+ * data/yacc.c (yy_reduce_print): Likewise.
+ (YY_REDUCE_PRINT): Adjust to pass the required arguments.
+ (yysymprint): Move higher to be visible from yy_reduce_print).
+ (yyparse): Adjust.
+ * tests/calc.at: Adjust the expected length of the traces.
+
2005-11-14 Akim Demaille <akim@epita.fr>
- Have glr.c include its header file when created.
- * data/glr.c (b4_shared_declarations): New.
- Output them verbatim in the parser if !%defines, otherwise
- output then in the header file, and include it instead.
+ * data/glr.c (yy_reduce_print): The loop was quite wrong: type are
+ from 1 to N, while values and location start at 0.
+ (b4_rhs_location, b4_rhs_value): Add parens around $1 and $2.
+
+2005-11-14 Akim Demaille <akim@epita.fr>
+
+ * data/glr.c (yy_reduce_print): Fix the $ number.
+
+2005-11-14 Akim Demaille <akim@epita.fr>
+
+ "Use" parse parameters.
+ * data/c.m4 (b4_parse_param_for, b4_parse_param_use): New.
+ * data/glr.c, data/glr.cc: Use them.
+ * data/glr.c (YYUSE): Have a C++ definition that supports
+ non-pointer types.
+
+2005-11-14 Akim Demaille <akim@epita.fr>
+
+ * data/glr.c (yyexpandGLRStack): Declare only if defined.
+
+2005-11-14 Akim Demaille <akim@epita.fr>
+
+ * data/glr.cc: New.
+ * data/m4sugar/m4sugar.m4 (m4_prepend): New.
2005-11-12 Akim Demaille <akim@epita.fr>
-----
Copyright (C) 1987, 1988, 1991, 1992, 1993, 1994, 1995, 1996,
- 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005 Free Software
- Foundation, Inc.
+ 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free
+ Software Foundation, Inc.
Copying and distribution of this file, with or without
modification, are permitted provided the copyright notice and this
projects / bison.git / blobdiff