+2001-11-30 Akim Demaille <akim@epita.fr>
+
+ * src/bison.simple (YYSTACK_FREE): Use `do {;} while (0)' as empty
+ if body instead of `;' to pacify GCC's warnings.
+
+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.