+2007-08-03 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ * data/yacc.c (yyexhaustedlab): Define it when YYERROR_VERBOSE is
+ true since it's then always used regardless of whether yyoverflow is
+ defined. Reported by Christian Burger at
+ <http://lists.gnu.org/archive/html/bug-bison/2007-07/msg00031.html>.
+ * THANKS: Add Christian Burger.
+
+2007-07-28 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ * src/muscle_tab.c (muscle_percent_define_flag_if): In order to
+ determine whether this function has already complained about an invalid
+ value for a %define boolean variable, don't check whether Bison has
+ ever examined the value. As written, the check was a tautology.
+ Instead, record and check for this complaint using a separate muscle.
+
+2007-07-27 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ Fix push parsing memory leak reported by Brandon Lucia at
+ <http://lists.gnu.org/archive/html/bug-bison/2007-07/msg00032.html>.
+ * THANKS: Add Brandon Lucia.
+ * data/push.c (yypstate_delete): Free the stack if it was reallocated
+ but the parse never completed and thus freed it.
+ * tests/Makefile.am (TESTSUITE_AT): Add push.at.
+ * tests/testsuite.at: Include push.at.
+ * test/push.at: New.
+ (Push Parsing: Memory Leak for Early Deletion): New test case.
+
+2007-07-17 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ Improve handling of multiple S/R conflicts in the same state and of S/R
+ conflicts involving multiple reductions.
+ * src/conflicts.c (resolve_sr_conflict): Don't assign the error action
+ set for a state here or Bison will abort if it is reassigned on a
+ later conflicted reduction in the same state.
+ Similarly, don't finalize and assign the solved conflicts report here
+ or it will be lost if it is reassigned on a later conflicted reduction
+ in the same state.
+ (set_conflicts): Instead, assign them both here after all S/R conflicts
+ in the state have been fully examined.
+ * src/print.c (shift_set): Rename to...
+ (no_reduce_set): ... this.
+ (print_reductions): Update for rename, and add %nonassoc error action
+ tokens to no_reduce_set so that, when printing the first remaining
+ reduction on an error action token, the reduction is enclosed in
+ brackets.
+ (print_results): Update for rename.
+ * tests/conflicts.at (Solved conflicts report for multiple reductions
+ in a state): New test case.
+ (%nonassoc error actions for multiple reductions in a state): New test
+ case.
+
+ * src/main.c (main): Don't depend on C99 features.
+
+2007-07-16 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ * build-aux/.cvsignore: Add compile.
+ * lib/.cvsignore: Add charset.alias, ref-add.sed, ref-del.sed, and
+ uniwidth.
+
+2007-07-10 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ * bootstrap (slurp): Create target directories that don't exist.
+ Specifically, we need lib/uniwidth/ because of recent Gnulib changes.
+
+2007-07-09 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ * LR0.c (new_itemsets): Fix wording in comments: say item index rather
+ than item number.
+ * closure.c (closure): Likewise.
+ * state.h (reductions): Comment sorting of rules.
+ (state): Comment sorting of items.
+
+2007-07-02 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ Fix C++ test cases after recent Gnulib changes. Discussed starting at
+ <http://lists.gnu.org/archive/html/bug-bison/2007-07/msg00000.html>.
+ * examples/calc++/Makefile.am (DEFAULT_INCLUDES): Override Automake's
+ definition in order to avoid Gnulib headers since we don't use config.h
+ here.
+ * tests/output.at (AT_CHECK_OUTPUT_FILE_NAME): Use AT_DATA_GRAMMAR
+ rather than AT_DATA so that config.h is included.
+
+2007-07-01 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ * data/glr.c (yy_yypstack, yypstates, yypdumpstack): Use YYFPRINTF
+ instead of fprintf. Guard these functions with #if YYDEBUG instead of
+ #ifdef YYDEBUG for consistency with all other uses of YYDEBUG in Bison
+ and so that YYFPRINTF is guaranteed to be defined here.
+
+2007-05-29 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ * src/muscle_tab.c (muscle_percent_define_invalid_value): Replace
+ with...
+ (muscle_percent_define_check_values): ... this more helpful function.
+ Again, it's not used yet, but it will be.
+ * src/muscle_tab.h: Likewise.
+
+ Improve some comments in parser table construction.
+ * src/LR0.c (new_itemsets): Explain sorting of itemset and kernel_base.
+ (generate_states): Don't mention ruleset, which is internal to closure.
+ * src/closure.c (closure): Explain sorting of core and itemset, which
+ is required for this function to behave correctly.
+ * src/closure.h (closure): Mention sorting.
+
+2007-05-28 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ * src/lalr.c (state_lookahead_tokens_count): For code readability,
+ move the check for disabled transitions to an aver since conflict
+ resolution hasn't happened yet.
+
+ * src/lalr.c (state_lookahead_tokens_count): Remove the check that
+ labels a state as inconsistent just because it has error transitions.
+ The original form of this check appeared in revision 1.1 of lalr.c,
+ which was committed on 1991-12-21. Now (at least), changing the
+ consistency label on such a state appears to have no useful effect in
+ any of the places it is examined, which I enumerate below. The key
+ point to understanding each item in this enumeration is that a state
+ with an error transition is labelled consistent in the first place only
+ if it has no rules, so the check cannot matter for states that have
+ rules. (1) Labelling a state as inconsistent will cause set_conflicts
+ to try to identify its conflicts, and a state must have *rules* to have
+ conflicts. (2) Labelling a state as inconsistent will affect how
+ action_row sets the default *rule* for the state. (3) Labelling a
+ state as inconsistent will cause build_relations to add lookback edges
+ to *rules* in that state.
+ * src/state.h (struct state): Word the comment for member consistent
+ more carefully.
+
+2007-05-27 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ Don't depend on C99 features.
+ * src/conflicts.c (conflicts_update_state_numbers): Fix for-loop.
+ * src/lalr.c (lalr_update_state_numbers): Fix for-loop.
+ * src/reader.c (check_and_convert_grammar): Fix for-loop.
+ * src/state.c (state_mark_reachable_states): Fix for-loop.
+ (state_remove_unreachable_states): Fix for-loop.
+
+ Don't widen struct state with member reachable just to temporarily
+ record reachability. Instead, use a local bitset.
+ * src/state.h (struct state): Remove member.
+ * src/state.c (state_new): Don't initialize it.
+ (state_mark_reachable_states): Rename to...
+ (state_record_reachable_states): ... this, and use bitset.
+ (state_remove_unreachable_states): Use bitset.
+
projects / bison.git / blobdiff