+2001-11-29 Paul Eggert <eggert@twinsun.com>
+
+ Name space cleanup in generated parser.
+
+ * doc/bison.texinfo (Bison Parser): Discuss system headers
+ and their effect on the user name space.
+
+ * src/bison.simple:
+ (YYSTACK_ALLOC, YYSTACK_FREE, union yyalloc, YYSTACK_GAP_MAX,
+ YYSTACK_BYTES, YYSTACK_RELOCATE): Do not define unless necessary,
+ i.e. unless ! defined (yyoverflow) || defined (YYERROR_VERBOSE).
+
+ (YYSIZE_T): New macro. Use it instead of size_t, to avoid infringing
+ on user names when possible.
+
+ (YYSTACK_USE_ALLOCA): Do not define; just use any existing defn.
+ Simplify test for whather <alloca.h> exists.
+
+ (<stdlib.h>): Include if we will use malloc, and if standard C or C++.
+
+ (<stdio.h>): Include if YYDEBUG.
+
+ (yymemcpy): Renamed from __yy_memcpy. Do not define unless
+ ! defined (yyoverflow) && ! defined (yymemcpy).
+
+ (yymemcpy, yyparse): Rename local variables as needed so that
+ they all begin with 'yy'.
+
+ (yystrlen, yystpcpy): New functions.
+
+ (YY_DECL_NON_LSP_VARIABLES): Renamed from _YY_DECL_VARIABLES.
+ All uses changed.
+
+ (yyparse): size_t -> YYSIZE_T. Use yystrlen and yystpcpy
+ instead of relying on string.h functions. Use YYSTACK_ALLOC
+ and YYSTACK_FREE instead of malloc and free.
+
+2001-11-30 Akim Demaille <akim@epita.fr>
+
+ * src/bison.simple (YYSTYPE, YYLTYPE): Move their definitions
+ before their first uses.
+ (YYBISON, YYPURE): Move to the top of the output.
+
+2001-11-30 Akim Demaille <akim@epita.fr>
+
+ * tests/reduce.at (Useless Nonterminals): Fix.
+
+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.
+ (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.
+