Instead of mapping the LHS of unused rules to -1, keep the LHS

[bison.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 68fd377d73e025e901b3c990ec0f3f33546cf0bc..ef134526d79a5bd31efb257961a1fbedd545e98d 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,68 @@
+2001-11-30  Akim Demaille  <akim@epita.fr>
+
+       Instead of mapping the LHS of unused rules to -1, keep the LHS
+       valid, but flag the rules as invalid.
+
+       * src/gram.h (rule_t): `useful' is a new member.
+       * src/print.c (print_grammar): Adjust.
+       * src/derives.c (set_derives): Likewise.
+       * src/reader.c (packgram, reduce_output): Likewise.
+       * src/reduce.c (reduce_grammar_tables): Likewise.
+       * tests/reduce.at (Underivable Rules, Useless Rules): New.
+
+2001-11-30  Akim Demaille  <akim@epita.fr>
+
+       * src/reduce.c (reduce_output): Formatting changes.
+       * src/print.c (print_results, print_grammar): Likewise.
+       * tests/regression.at (Rule Line Numbers)
+       (Solved SR Conflicts, Unresolved SR Conflicts): Adjust.
+
+2001-11-30  Akim Demaille  <akim@epita.fr>
+
+       * src/reduce.c (nonterminals_reduce): Instead of throwing away
+       useless nonterminals, move them at the end of the symbol arrays.
+       (reduce_output): Adjust.
+       * tests/reduce.at (Useless Nonterminals): Adjust.
+
+2001-11-30  Akim Demaille  <akim@epita.fr>
+
+       * src/reduce.c: Various comment/formatting changes.
+       (nonterminals_reduce): New, extracted from...
+       (reduce_grammar_tables): here.
+       (reduce_grammar): Call nonterminals_reduce.
+
+2001-11-29  Paul Eggert  <eggert@twinsun.com>
+
+       * src/bison.simple (YYSTACK_REALLOC): Remove.
+       (YYSTACK_ALLOC): Resurrect this macro, with its old meaning.
+       (YYSTACK_FREE, YYSTACK_GAP_MAX, YYSTACK_BYTES, YYSTACK_RELOCATE):
+       New macros.
+       (union yyalloc): New type.
+       (__yy_memcpy): Last arg is size_t, not unsigned int, to remove
+       an arbitrary restriction on hosts where size_t is wider than int.
+
+       (yyparse): Don't dump core if alloca or malloc fails; instead, report
+       a parser stack overflow.  Allocate just one block of memory for all
+       three stacks, instead of allocating three blocks; this typically is
+       faster and reduces fragmentation.
+
+       Do not limit the number of items in the stack to a value that fits
+       in 'int', as this is an arbitrary limit on hosts with 64-bit
+       size_t and 32-bit int.
+
+2001-11-29  Marc Autret  <autret_m@epita.fr>
+
+       * tests/calc.at [AT_DATA_CALC_Y]: Use %error-verbose instead
+       of defining YYERROR_VERBOSE.
+       [AT_DATA]: $4 is now out of C declarations in the prologue.
+
+2001-11-28  Marc Autret  <autret_m@epita.fr>
+
+       * src/reader.c (parse_dquoted_param): New.
+       (parse_skel_decl): Use it.
+       * src/lex.h: Add its prototype.
+       * src/lex.c (literalchar): Become not static.
+
 2001-11-28  Marc Autret  <autret_m@epita.fr>
 
        * src/output.h: And put its extern declaration here.