+2010-04-13 Akim Demaille <demaille@gostai.com>
+
+ tests: calc: simplify location management.
+ * tests/local.at (AT_LOC_PUSHDEF, AT_LOC_POPDEF): New.
+ (_AT_BISON_OPTION_PUSHDEFS, AT_BISON_OPTION_POPDEFS): Use them to
+ define the appropriate AT_LOC accessors.
+ * tests/calc.at: Use AT_LOC accessors.
+
+2010-04-13 Akim Demaille <demaille@gostai.com>
+
+ test location_type.
+ * tests/local.at (_AT_BISON_OPTION_PUSHDEFS):
+ Define AT_LOCATION_TYPE_IF.
+ (_AT_BISON_OPTION_POPDEFS): Undefine AT_LOCATION_TYPE_IF.
+ * tests/calc.at (_AT_DATA_CALC_Y): When %define location_type is
+ used, provide a user location type and use it.
+ (Simple LALR1 C++ Calculator): Add a test case for location_type.
+
+2010-04-13 Akim Demaille <demaille@gostai.com>
+
+ tests: check fclose's return value.
+ * tests/calc.at (_AT_DATA_CALC_Y): Check fclose's return status.
+
+2010-04-13 Akim Demaille <demaille@gostai.com>
+
+ tests: don't depend on the actual location type.
+ * tests/calc.at: Use yy::parser::location_type rather than
+ yy::location, since the former is always right, and might point to
+ another type than the latter.
+
+2010-04-13 Akim Demaille <demaille@gostai.com>
+
+ formatting changes.
+ * tests/calc.at: Formatting changes.
+
+2010-04-13 Akim Demaille <demaille@gostai.com>
+
+ lalr1.cc: remove useless forward declaration.
+ * data/lalr1.cc: Include location.hh before stack.hh.
+ Remove the useless forward declarations of position and location.
+ Reported by Chris Morley.
+ * data/glr.cc: Likewise.
+
+2010-04-11 Joel E. Denny <joeldenny@joeldenny.org>
+
+ * NEWS (2.4.3): Mention fix for Sun Studio C++.
+
+2010-04-10 Joel E. Denny <joeldenny@joeldenny.org>
+
+ tests: fix for newer Sun Studio C++.
+ Reported by Dagobert Michelsen at
+ <http://lists.gnu.org/archive/html/bug-bison/2010-03/msg00023.html>.
+ * THANKS (Dagobert Michelsen): Add.
+ * configure.ac (AC_PREREQ): Set to 2.64 so we get the latest
+ Autoconf macro for handling the restrict keyword.
+ * gnulib: Update to latest, which no longer overrides that macro
+ from Autoconf.
+
+2010-04-03 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ portability: fix pointer arithmetic to conform to C standard.
+ Reported by Tys Lefering at
+ <http://lists.gnu.org/archive/html/bug-bison/2010-03/msg00035.html>.
+ This fix is already implemented in glr.c and does not apply to
+ lalr1.java.
+ * data/lalr1.cc (yy::parser::parse): Increase size of
+ yyerror_range and adjust subscripting so you don't have to
+ subtract one from the beginning of the array.
+ * data/yacc.c (b4_declare_parser_state_variables,
+ yyparse, yypush_parse): Likewise.
+
+2010-04-05 Akim Demaille <demaille@gostai.com>
+
+ remove useless include.
+ * src/graphviz.h: Don't include stdbool.h.
+
+2010-04-05 Akim Demaille <demaille@gostai.com>
+
+ graph: sign the output file.
+ * src/graphviz.c (start_graph): Issue comments about Bison.
+ Suggested by Tys Lefering.
+
+2010-03-31 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ portability: fix test suite for GCC 4.5's new #error message.
+ Reported by Tys Lefering at
+ <http://lists.gnu.org/archive/html/bug-bison/2010-03/msg00030.html>.
+ * NEWS (2.4.3): Mention.
+ * tests/synclines.at (AT_TEST_SYNCLINE): Implement.
+
+2010-03-30 Akim Demaille <demaille@gostai.com>
+
+ fix comments.
+ * src/graphviz.h: Add missing license notice.
+ Document.
+
+2010-03-25 Akim Demaille <demaille@gostai.com>
+
+ tests: fix 250: parse.error=verbose overflow.
+ * tests/regression.at (parse.error=verbose overflow): Avoid the
+ double inclusion of stdlib.h as it triggers hard errors.
+
+2010-03-23 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ portability: fix for BSD make.
+ Reported by Johan van Selst at
+ <http://lists.gnu.org/archive/html/bug-bison/2010-03/msg00016.html>.
+ * tests/local.mk ($(TESTSUITE)): Qualify package.m4 in
+ this dependency list as in package.m4's target rule.
+
+2010-03-23 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ portability: fix spawning on at least FreeBSD 8 and FreeBSD 9.
+ Reported by Johan van Selst at
+ <http://lists.gnu.org/archive/html/bug-bison/2010-03/msg00014.html>.
+ * NEWS (2.4.3): New.
+ * THANKS (Johan van Selst): Add.
+ * etc/prefix-gnulib-mk (prefix): Adjust regex for makefile
+ targets so that gnulib's new c++defs.h is matched.
+ * gnulib: Update to latest.
+
+2010-03-20 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ maint: update for changes to gnulib's announce-gen.
+ * HACKING (Announce): RELEASE_TYPE=major must now be written
+ RELEASE_TYPE=stable.
+
+2010-03-20 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ Version 2.4.2.
+ * NEWS (2.4.2): Set version and date. For the recent test suite
+ portability fixes, don't be so optimistic about their success
+ given the lack of feedback on the affected platforms.
+
+2010-02-22 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ tests: fix maintainer-xml-check for recent changes.
+ * tests/output.at (AT_CHECK_CONFLICTING_OUTPUT): Use
+ AT_BISON_CHECK_NO_XML rather than AT_BISON_CHECK because an
+ output file whose name conflicts with a previous output file
+ is now never generated.
+
+2010-02-22 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ portability: fix several issues with M4 subprocess.
+
+ M4's output pipe was not being drained upon fatal errors during
+ scan_skel. As a result, broken-pipe messages from M4 were seen
+ on at least AIX, HP-UX, Solaris, and RHEL4, and this caused a
+ failure in the test suite. The problem was that, on platforms
+ where the default disposition for SIGPIPE is ignore instead of
+ terminate, M4 sometimes saw fwrite fail with errno=EPIPE and
+ then reported it. However, there's some sort of race condition,
+ because the new test group occasionally succeeded.
+ Reported by Albert Chin at
+ <http://lists.gnu.org/archive/html/bug-bison/2010-02/msg00004.html>.
+
+ There were also problems with the test suite livelocking on
+ Tru64 5.1b. Reported by Didier Godefroy at
+ <http://lists.gnu.org/archive/html/bug-bison/2009-05/msg00005.html>.
+ Switching to create_pipe_bidi suggested by Akim Demaille.
+
+ To attempt to solve both of these problems, switch to gnulib's
+ create_pipe_bidi and register M4 process as a slave. Along the
+ way, clean up file name conflict handling, which was affected by
+ the broken-pipe problem before the switch.
+ * NEWS (2.4.2): Document.
+ * THANKS (Didier Godefroy): Add.
+ * bootstrap.conf (gnulib_modules): Add pipe.
+ * gnulib: Update to latest to make sure we have all the latest
+ fixes.
+ * lib/local.mk (lib_libbison_a_SOURCES): Remove subpipe.h and
+ subpipe.c.
+ * po/POTFILES.in (lib/subpipe.c): Remove.
+ * src/files.c (compute_output_file_names): Update invocations
+ of output_file_name_check.
+ (output_file_name_check): In the case that the grammar file
+ would be overwritten, use complain instead of fatal, but replace
+ the output file name with /dev/null. Use the /dev/null solution
+ for the case of two conflicting output files as well because it
+ seems safer in case Bison one day tries to open both files at
+ the same time.
+ * src/files.h (output_file_name_check): Update prototype.
+ * src/output.c (output_skeleton): Use create_pipe_bidi and
+ wait_subprocess. Assert that scan_skel completely drains the
+ pipe.
+ * src/scan-skel.l (at_directive_perform): Update
+ output_file_name_check invocation.
+ * tests/output.at (AT_CHECK_CONFLICTING_OUTPUT): Check that the
+ grammar file actually isn't overwritten.
+ (Conflicting output files: -o foo.y): Update expected output.
+ * tests/skeletons.at (Fatal errors but M4 continues producing
+ output): New test group.
+
+2010-02-04 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ Update POTFILES.
+ * HACKING (Release Procedure): Add reminder about keeping
+ POTFILES files up-to-date.
+ * po/POTFILES.in (src/muscle-tab.c, src/scan-skel.l): Add.
+
+2010-02-01 Joel E. Denny <jdenny@clemson.edu>
+
+ Code cleanup.
+ * tests/atlocal.in (abs_top_srcdir): Remove shell variable,
+ which is already defined in atconfig.
+
+2010-01-22 Joel E. Denny <jdenny@clemson.edu>
+
+ tests: fix missing include caught by g++ 4.4.1.
+ Reported by Tys Lefering.
+ * HACKING (Release checks): Add note about trying a recent GCC.
+ * tests/regression.at (_AT_DATA_DANCER_Y): For C++, include
+ cstdlib for abort.
+ (_AT_DATA_EXPECT2_Y): Likewise.
+
+2010-01-21 Joel E. Denny <jdenny@clemson.edu>
+
+ * cfg.mk (gnulib_dir): Assume gnulib is a subdirectory.
+
+2010-01-21 Joel E. Denny <jdenny@clemson.edu>
+
+ maint: automate PACKAGE_COPYRIGHT_YEAR update, and update it.
+ * HACKING (Release Procedure): Update notes on copyright years.
+ * Makefile.am (update-package-copyright-year): New target rule.
+ * build-aux/update-package-copyright-year: New file.
+ * cfg.mk (update-copyright): Add update-package-copyright-year
+ as a dependency.
+
+2010-01-19 Joel E. Denny <jdenny@clemson.edu>
+
+ * bootstrap: Import improvements from latest gnulib.
+
+2010-01-19 Joel E. Denny <jdenny@clemson.edu>
+
+ build: require Automake 1.11.1 to avoid a security flaw.
+ * HACKING (Release Procedure): Don't document Automake security
+ flaw here.
+ * configure.ac (AM_INIT_AUTOMAKE): Require 1.11.1, and explain
+ why here.
+
+2010-01-19 Joel E. Denny <jdenny@clemson.edu>
+
+ gnulib: update to latest.
+
+2010-01-19 Joel E. Denny <jdenny@clemson.edu>
+
+ ChangeLog (2006-09-15): add Odd Arild Olsen's role for push.c.
+
+2010-01-15 Joel E. Denny <jdenny@clemson.edu>
+
+ Thank the developer of the initial push parser implementation.
+ This unfortunate oversight is several years old.
+ * THANKS (Odd Arild Olsen): Add.
+
+2010-01-04 Joel E. Denny <jdenny@clemson.edu>
+
+ Fix some comments concerning LR(0) versus LALR(1).
+
+ Stop equating LR(0) with nondeterminism and LALR(1) with
+ determinism. That is, if all states are consistent, then LR(0)
+ tables are deterministic. On the other hand, LALR(1) tables
+ might be nondeterministic before conflict resolution, and GLR
+ permits LALR(1) tables to remain nondeterministic.
+ * src/LR0.c, src/LR0.h: Here.
+ * src/lalr.c, src/lalr.h: Here.
+ * src/main.c (main): Here.
+ * src/state.c, src/state.h: Here.
+
+ * src/ielr.h (ielr): In preconditions, expect LR(0) not LALR(1)
+ parser tables.
+
+2010-01-04 Joel E. Denny <jdenny@clemson.edu>
+
+ maint: run "make update-copyright"
+
+2009-12-30 Joel E. Denny <jdenny@clemson.edu>
+
+ POSIX: complain if %prec's token was not defined.
+ * NEWS (2.5): Document.
+ * src/reader.c (grammar_rule_check): Convert warning to
+ complaint.
+ * tests/input.at (%prec's token must be defined): Update.
+
+2009-12-30 Joel E. Denny <jdenny@clemson.edu>
+
+ POSIX: warn if %prec's token was not defined.
+ Reported by Florian Krohm at
+ <http://lists.gnu.org/archive/html/bug-bison/2009-12/msg00005.html>.
+ * NEWS (2.4.2): Document.
+ * src/reader.c (grammar_rule_check): Implement.
+ (grammar_current_rule_prec_set): Add comments explaining that we
+ here assume a %prec identifier is a token, but we still manage
+ to support POSIX.
+ * tests/input.at (%prec's token must be defined): New test
+ group.
+
+2009-12-31 Joel E. Denny <jdenny@clemson.edu>
+
+ * HACKING (Release Procedure): Recommend a secure automake.
+
+2009-12-29 Joel E. Denny <jdenny@clemson.edu>
+
+ portability: `<' and `>' are not always defined on addresses.
+ Specifically, don't sort objects by their memory addresses when
+ they're not allocated in the same array or other object. Though
+ I haven't found a test case where that fails on my platform, C
+ says the behavior is undefined.
+ * src/AnnotationList.c (AnnotationList__insertInto): Remove
+ FIXME. Use new id field of InadequacyList nodes rather than
+ their memory addresses when sorting.
+ (AnnotationList__compute_from_inadequacies): Add
+ inadequacy_list_node_count argument to pass to
+ InadequacyList__new_conflict.
+ * src/AnnotationList.h
+ (AnnotationList__compute_from_inadequacies): Update prototype
+ and documentation for new argument.
+ * src/InadequacyList.c (InadequacyList__new_conflict): Add
+ node_count argument and use it to assign a unique ID.
+ * src/InadequacyList.h (InadequacyListNodeCount): New typedef.
+ (InadequacyList): Add id field.
+ (InadequacyList__new_conflict): Update prototype and
+ documentation for new argument.
+ * src/ielr.c (ielr_compute_annotation_lists): Update
+ AnnotationList__compute_from_inadequacies invocation.
+
+2009-12-20 Joel E. Denny <jdenny@clemson.edu>
+
+ Fix handling of yychar manipulation in user semantic actions.
+ The problem was that yacc.c didn't always update the yychar
+ translation afterwards. However, other skeletons appear to be
+ fine. glr.c appears to already translate yychar before every
+ use. lalr1.cc does not define yychar and does not document its
+ replacement, yyla, for users. It does provide yyclearin, but
+ that does not manipulate yyla and thus requires no translation
+ update. In lalr1.java, yychar is out of scope during semantic
+ actions.
+ * NEWS (2.5): Document.
+ * data/yacc.c (YYBACKUP): Don't bother translating yychar into
+ yytoken here.
+ (yyparse, yypush_parse): Instead, translate before every use of
+ yytoken, and add comments explaining this approach.
+ * tests/actions.at (Destroying lookahead assigned by semantic
+ action): New test group checking that translation happens before
+ lookahead destructor calls at parser return. Previously,
+ incorrect destructors were called.
+ * tests/conflicts.at (parse.error=verbose and consistent
+ errors): New test group checking that translation happens at
+ syntax error detection before the associated verbose error
+ message and the associated lookahead destructor calls. While
+ the destructor call is fixed by this patch, the verbose error
+ message is currently incorrect due to another bug (see
+ comments in test group), so this is an expected failure for now.
+
+2009-12-21 Joel E. Denny <jdenny@clemson.edu>
+
+ YYFAIL: warn about uses and remove from lalr1.java.
+ * NEWS (2.5): Document.
+ * data/lalr1.java (parser::YYStack::YYFAIL): Rename to YYERRLAB,
+ and make it private. Update all uses.
+ * src/scan-code.l (SC_RULE_ACTION): Implement warning.
+
+2009-12-21 Joel E. Denny <jdenny@clemson.edu>
+
+ YYFAIL: deprecate.
+ * NEWS (2.4.2): Document deprecation and the phase-out plan.
+ * data/lalr1.java (parser::YYStack::YYFAIL): Add comment about
+ deprecation.
+ * data/yacc.c (YYFAIL): Likewise, and suppress warnings about
+ YYFAIL from GCC cpp's -Wunused-macros.
+ * doc/bison.texinfo (Java Action Features): Remove YYFAIL
+ documentation.
+ (LocalWords): Remove YYFAIL.
+
+2009-12-20 Joel E. Denny <jdenny@clemson.edu>
+
+ tests: cleanup.
+ * tests/c++.at (Syntax error discarding no lookahead): Don't
+ ignore stderr. Instead, eliminate remaining warnings.
+
+2009-12-18 Joel E. Denny <jdenny@clemson.edu>
+
+ lalr1.cc: don't discard non-existent lookahead on syntax error.
+ * data/lalr1.cc (parser::parse): Check yyempty first.
+ * tests/c++.at (Syntax error discarding no lookahead): New test
+ group.
+
+2009-12-17 Joel E. Denny <jdenny@clemson.edu>
+
+ Code cleanup.
+ * src/symtab.c, src/symtab.h (symbol_class_get_string): Remove
+ function, which is no longer used.
+
+2009-12-16 Joel E. Denny <jdenny@clemson.edu>
+
+ Add gcc's -Wundef to test suite and fix another warning from it.
+ * NEWS (2.4.2): Update description of -Wundef fix.
+ * configure.ac (WARN_CXXFLAGS_TEST): New substitution.
+ (WARN_CFLAGS_TEST): New substitution.
+ * data/glr.c: Avoid warning about __STRICT_ANSI__.
+ * tests/atlocal.in (CFLAGS): Use WARN_CFLAGS_TEST instead of
+ WARN_CFLAGS.
+ (NO_WERROR_CFLAGS): Likewise.
+ (CXXFLAGS): Use WARN_CXXFLAGS_TEST instead of WARN_CXXFLAGS.
+
+2009-12-16 Joel E. Denny <jdenny@clemson.edu>
+
+ * data/yacc.c: Reformat m4 a little.
+
+2009-12-16 Joel E. Denny <jdenny@clemson.edu>
+
+ Document gcc -Wundef fix.
+ * NEWS (2.4.2): Here.
+ * THANKS (Jonathan Nieder): Add.
+
+2009-12-15 Jonathan Nieder <jrnieder@gmail.com> (tiny change)
+
+ Simplify y.tab.c when location tracking is disabled.
+ * data/yacc.c: Do not check YYLTYPE_IS_TRIVIAL if location
+ tracking is not enabled. Instead, unconditionally define
+ YY_LOCATION_PRINT as a no-op for backward compatibility.
+
+2009-12-15 Jonathan Nieder <jrnieder@gmail.com> (tiny change)
+
+ Avoid warnings from gcc -Wundef y.tab.c.
+ * data/glr.c: Check if YYENABLE_NLS and YYLTYPE_IS_TRIVIAL are
+ defined before using them.
+ * data/lalr1.cc: Likewise.
+ * data/yacc.c: Likewise.
+
+2009-12-15 Joel E. Denny <jdenny@clemson.edu>
+
+ autoconf: update to latest for fix of M4 detection.
+ Reported by Eric Blake.
+ * submodules/autoconf: Update.
+
+2009-12-15 Joel E. Denny <jdenny@clemson.edu>
+
+ portability: use -DGNULIB_POSIXCHECK.
+ Reported by Eric Blake. See discussions at
+ <http://lists.gnu.org/archive/html/bug-bison/2009-09/msg00008.html>
+ and
+ <http://lists.gnu.org/archive/html/bug-gnulib/2009-10/msg00108.html>.
+ * HACKING (Release checks): Suggest -DGNULIB_POSIXCHECK.
+ * bootstrap.conf (gnulib_modules): Add all the printf modules
+ suggested by -DGNULIB_POSIXCHECK. Add realloc-posix as
+ suggested by -DGNULIB_POSIXCHECK for gnulib's own vasnprintf.c.
+ (excluded_files): Remove m4/printf-posix.m4.
+ * tests/atlocal.in (LIBS): As for LDADD in src/local.mk, add
+ lib/libbison.a so gnulib libraries can be linked.
+
+2009-12-15 Joel E. Denny <jdenny@clemson.edu>
+
+ gnulib: update for fix of fprintf-posix, which we'll use soon.
+ * etc/prefix-gnulib-mk (prefix): Adjust regex for make file
+ targets so that gnulib's new arg-nonnull.h and link-warning.h
+ are matched.
+ * gnulib: Update.
+
+2009-12-14 Joel E. Denny <jdenny@clemson.edu>
+
+ Enable assertion output and --disable-assert for configure.
+ * bootstrap.conf (gnulib_modules): Add assert module.
+ * src/system.h (aver): Define as assert, and summarize the
+ discussion on this issue.
+
+2009-12-14 Joel E. Denny <jdenny@clemson.edu>
+
+ Expand GLR acronym in summary of Bison.
+ Based on discussion with Akim Demaille starting at
+ <http://lists.gnu.org/archive/html/bison-patches/2009-04/msg00087.html>.
+ * doc/bison.texinfo (Introduction): Here.
+ * src/getargs.c (usage): Here.
+
+2009-10-03 Alex Rozenman <rozenman@gmail.com>
+
+ Document named references.
+ * doc/bison.texinfo (Actions): Add new example and xref to
+ Using Named References node.
+ (Using Named References): New node.
+
+2009-10-16 Joel E. Denny <jdenny@clemson.edu>
+
+ cleanup.
+ * src/Sbitset.c (Sbitset__new_on_obstack): Use Sbitset instead
+ of char*.
+ (Sbitset__isEmpty): Use Sbitset instead of char*.
+ * src/Sbitset.h (Sbitset): Make it a pointer to unsigned char
+ instead of char. This helps to avoid casting errors.
+ (Sbitset__or): Use Sbitset instead of char*.
+
+2009-10-16 Joel E. Denny <jdenny@clemson.edu>
+
+ portability: don't assume 8-bit bytes.
+ That is, use CHAR_BIT and UCHAR_MAX instead of 8 and 0xff.
+ * src/Sbitset.h (Sbitset__nbytes): Here.
+ (Sbitset__byteAddress): Here.
+ (Sbitset__bit_mask): Here.
+ (Sbitset__last_byte_mask): Here.
+ (Sbitset__ones): Here.
+ (SBITSET__FOR_EACH): Here.
+
+2009-10-11 Joel E. Denny <jdenny@clemson.edu>
+
+ portability: use va_start and va_end in the same function.
+ * src/complain.c (error_message): Move va_end from here...
+ (ERROR_MESSAGE): ... to here.
+
+2009-10-08 Joel E. Denny <jdenny@clemson.edu>
+
+ * data/bison.m4: Update comments for rename to muscle-tab.h.
+
projects / bison.git / blobdiff