+2002-12-02 Paul Eggert <eggert@twinsun.com>
+
+ * configure.ac (AC_REPLACE_FUNCS): Add strtoul.
+ * lib/strtoul.c: New file, from gnulib.
+ This fixes a porting bug reported by Peter Klein in
+ <http://mail.gnu.org/pipermail/bug-bison/2002-December/001944.html>.
+
+2002-11-30 Paul Eggert <eggert@twinsun.com>
+
+ * src/scan-gram.l (no_cr_read, extend_location): Move to epilogue,
+ and put only a forward declaration in the prologue. This is for
+ consistency with the other scanner helper functions.
+
+ Type clashes now generate warnings, not errors, since it
+ appears that POSIX may allow some grammars with type clashes.
+ * src/reader.c (grammar_current_rule_check): Warn about
+ type clashes instead of complaining.
+ * tests/input.at (Type Clashes): Expect warnings, not complaints.
+
+ Add Yacc library, since POSIX requires it.
+ * doc/bison.texinfo (Yacc Library): New node. Regenerate top menu.
+ * lib/Makefile.am (lib_LIBRARIES, liby_a_SOURCES): New macros.
+ * lib/main.c, lib/yyerror.c: New files.
+
+ gram_error can be static; it need not be extern.
+ * src/reader.h (gram_error): Remove decl.
+ * src/parse-gram.y (gram_error): Now static. Add static decl.
+ (print_token_value): Omit parameter names from forward decl,
+ for consistency.
+
+2002-11-29 Paul Eggert <eggert@twinsun.com>
+
+ * doc/bison.texinfo: Emphasize that yylex and yyerror must
+ be declared before being used. E.g., one should typically
+ declare them in the prologue. Use GNU coding style in examples.
+ Put "const" consistently after the type it modifies. Mention
+ that C99 supports "inline". Mention that yyerror traditionally
+ returns "int".
+
+ %parse-param and %lex-param now take just one argument, the
+ declaration; the argument name is deduced from the declaration.
+
+ * doc/bison.texinfo (Parser Function, Pure Calling, Error
+ Reporting, Table of Symbols): Document this.
+ * src/parse-gram.y (add_param): New function.
+ (COMMA): Remove.
+ (declaration): Implement new rule for %parse-param and %lex-param.
+ * src/scan-gram.l: "," now elicits a warning, rather than being
+ a token; this is more compatible with byacc.
+ * tests/calc.at (Simple LALR Calculator): Adopt new convention.
+
+2002-11-27 Paul Eggert <eggert@twinsun.com>
+
+ Rename identifiers to avoid real and potential collisions.
+
+ * data/c.m4 (b4_yysymprint_generate): yyout -> yyoutput,
+ to avoid collision with lex macro described by Bruce Lilly in
+ <http://mail.gnu.org/pipermail/bug-bison/2002-November/001929.html>.
+ * tests/actions.at (_AT_CHECK_PRINTER_AND_DESTRUCTOR): Likewise.
+ * doc/bison.texinfo (Prologue, Tracing): yyprint -> print_token_value.
+ * src/parse-gram.y (print_token_value): Renamed from yyprint.
+ All uses changed.
+ (YYPARSE_PARAM, YYLEX_PARAM, yycontrol): Remove. All uses changed.
+ The name "yycontrol" violates the name space rules, and this stuff
+ wasn't being used anyway.
+ (input): Remove action; this stuff wasn't being used.
+ (gram_error): Rename local variable yylloc -> loc.
+ * src/reader.h (struct gram_control_s, gram_control_t): Remove.
+ (YY_DECL): Don't use "yy" at start of local variables.
+ All uses changed, e.g., yylloc -> loc.
+ * src/scan-gram.l (STEP): Renamed from YY_STEP. All uses changed.
+ (STRING_GROW): Renamed from YY_OBS_GROW. All uses changed.
+ (STRING_FINISH): Renamed from YY_OBS_FINISH. All uses changed.
+ (STRING_FREE): Renamed from YY_OBS_FREE. All uses changed.
+
+ * src/parse-gram.y (gram_error): loc is now const *.
+ * src/reader.h (gram_error): Likewise.
+
+2002-11-24 Paul Eggert <eggert@twinsun.com>
+
+ Version 1.75c.
+
+ * tests/actions.at (Actions after errors): Use an output format
+ more similar to that of the Printers and Destructors test.
+ Test the position of the ';' token too.
+ (Printers and Destructors): Likewise.
+ (Printers and Destructors: %glr-parser): Remove for now, to avoid
+ unnecessarily alarming people when the test fails.
+
+ * data/yacc.c (yyerrlab1): Move this label down, so that the
+ parser does not discard the lookahead token if the user code
+ invokes YYERROR. This change is required for POSIX conformance.
+
+ * lib/error.c: Sync with gnulib.
+
+2002-11-22 Paul Eggert <eggert@twinsun.com>
+
+ * lib/quotearg.c, lib/quotearg.h: Sync with gnulib.
+ * lib/mbswidth.c, lib/mbswidth.h: Likewise.
+ * lib/xmalloc.c: Likewise.
+
+2002-11-20 Paul Eggert <eggert@twinsun.com>
+
+ * lib/argmatch.c, lib/argmatch.h: Sync with gnulib.
+
+2002-11-20 Paul Eggert <eggert@twinsun.com>
+
+ Avoid use of <assert.h>, as the GNU Coding Standards hint that one
+ should use `if (! x) abort ();' rather than `assert (x);', and
+ anyway it's one less thing to worry about configuring.
+
+ * data/glr.c, lib/hash.c, src/system.h: Do not include <assert.h>.
+ * tests/actions.at (_AT_CHECK_PRINTER_AND_DESTRUCTOR): Likewise,
+ and replace all instances of assert with abort.
+ * tests/calc.at (_AT_DATA_CALC_Y): Likewise.
+ * tests/cxx-type.at (_AT_TEST_GLR_CXXTYPES): Likewise.
+
+ * data/glr.c (yydoAction, yyglrReduce, yysplitStack, yyresolveStates,
+ yyresolveAction, yyprocessOneStack): Use abort rather than assert.
+ * lib/hash.c (hash_lookup, hash_get_first, hash_get_next,
+ hash_find_entry, hash_rehash, hash_insert): Likewise.
+ * src/conflicts.c (resolve_sr_conflict): Likewise.
+ * src/lalr.c (set_goto_map, map_goto): Likewise.
+ * src/nullable.c (nullable_compute): Likewise.
+ * src/output.c (prepare_rules, token_definitions_output): Likewise.
+ * src/reader.c (packgram, reader): Likewise.
+ * src/state.c (state_new, state_free, state_transitions_set,
+ state_reduction_find): Likewise.
+ * src/symtab.c (symbol_user_token_number_set, symbol_make_alias,
+ symbol_pack): Likewise.
+ * src/tables.c (conflict_row, pack_vector): Likewise.
+ * src/vcg.c (get_color_str, get_textmode_str, get_shape_str,
+ get_layoutalgorithm_str, get_decision_str, get_orientation_str,
+ get_node_alignement_str, get_arrow_mode_str, get_crossing_type_str,
+ get_view_str, get_linestyle_str, get_arrowstyle_str): Likewise.
+
+ * lib/argmatch.h (ARRAY_CARDINALITY): Do not bother to #undef.
+ (ARGMATCH_CONSTRAINT): New macro.
+ (ARGMATCH_ASSERT): Use it.
+
+ * src/system.h (verify): New macro.
+ * src/getargs.c (trace_argmatch, report_argmatch): Use verify
+ rather than assert.
+ * src/tables.c (tables_generate): Likewise.
+
+ * src/struniq.c (struniq_assert): Now returns void, and aborts
+ if the assertion is false.
+ (struniq_assert_p): Remove.
+ * src/struniq.h: Likewise.
+
+2002-11-18 Paul Eggert <eggert@twinsun.com>
+
+ * data/glr.c (yygetLRActions): Replace `yyindex' with
+ `yytable[yyindex]' to fix typo introduced in my 2002-11-09 patch.
+ This fixes the regression with Sun ONE Studio 7 cc that I reported in
+ <http://mail.gnu.org/pipermail/bug-bison/2002-November/001892.html>.
+
+2002-11-18 Akim Demaille <akim@epita.fr>
+
+ * doc/bison.texinfo (Tracing): `yyprint' shouldn't prepend a
+ space.
+ From Tim Van Holder.
+
+2002-11-17 Paul Eggert <eggert@twinsun.com>
+
+ Pacify Sun ONE Studio 7 lint. Also, rename "ParseError"
+ to "SyntaxError" for consistency with my 2002-11-15 change.
+
+ * data/glr.c (YYDPRINTF, YYDSYMPRINT, YYDSYMPRINTF) [!YYDEBUG]: Do
+ not define to {}, since this breaks the common use of `YYDPRINTF
+ ((...));' if a single statement is desired (e.g. before `else').
+ Work around GCC warnings by surrounding corresponding calls with
+ {} if needed.
+ (yyhasResolvedValue): Remove unused function.
+ (yymergeOptionSets, yyresolvStack): Use `continue;' for empty
+ loop body.
+ (yyreportSyntaxError): Renamed from yyreportParseError.
+ (yyrecoverSyntaxError): Renamed from yyrecoverParseError.
+ All uses changed.
+ * tests/calc.at (_AT_DATA_CALC_Y): Make vars static instead of
+ extern when possible. Remove unused initializations.
+
+2002-11-16 Akim Demaille <akim@epita.fr>
+
+ Augment the similarity between GLR and LALR traces.
+
+ * data/yacc.c (yy_stack_print, YY_STACK_PRINT, yy_reduce_print)
+ (YY_REDUCE_PRINT): New.
+ (yyparse): Use them.
+ * data/glr.c (yy_reduce_print): Use YYFPRINTF, no need for
+ YYDPRINT here.
+ (yyglrReduce, yyrecoverParseError, yyparse): Don't report the
+ state reached after the reduction/recovery, since...
+ (yyparse, yyprocessOneStack): Report the state we are entering in.
+
+2002-11-16 Akim Demaille <akim@epita.fr>
+
+ * src/getargs.h, src/getargs.c (trace_e, trace_args, trace_types):
+ Add support for --trace=skeleton.
+ * src/scan-skel.l: %option debug.
+ Scan strings of non-@ or \n instead of character by character.
+ (scan_skel): Handle trace_skeleton.
+ (QPUTS): New.
+ (@output_parser_name@, @output_header_name@): ``Restore'' their
+ support (used to be M4 macros).
+ * data/yacc.c: Quote larger chunks, a la glr.c.
+ * data/lalr1.cc: Likewise.
+ The header guards are no longer available, so use some other
+ string than `YYLSP_NEEDED'.
+
+2002-11-16 Akim Demaille <akim@epita.fr>
+
+ Make the ``Printers and Destructors'' test more verbose, taking
+ `yacc.c''s behavior as (possibly wrong) reference.
+
+ * tests/actions.at (_AT_CHECK_PRINTER_AND_DESTRUCTOR): Use printf
+ instead of fprint on stdout.
+ Set and report the last_line of the symbols.
+ Consistently display values and locations.
+
+2002-11-16 Paul Eggert <eggert@twinsun.com>
+
+ * data/yacc.c: Avoid over-quoting of __line__ and __file__.
+
+2002-11-15 Paul Eggert <eggert@twinsun.com>
+
+ * tests/actions.at (Actions after errors): New test case.
+
+ * data/glr.c, data/lalr1.cc, data/yacc.cc, doc/bison.texinfo,
+ src/conflicts.c, src/parse-gram.y, src/tables.c, src/tables.h,
+ tests/action.at, tests/calc.at, tests/conflicts.at,
+ tests/cxx-type.at, tests/regression.at:
+ "parse error" -> "syntax error" for POSIX compatibility.
+ "parsing stack overflow..." -> "parser stack overflow" so
+ that code matches Bison documentation.
+
+2002-11-15 Akim Demaille <akim@epita.fr>
+
+ * src/parse-gram.y (declaration): Have %parse-param and %lex-param
+ take two BRACED_CODE, not two string_content.
+ Free the scanner's obstack when we are done.
+ (code_content): New.
+ * tests/calc.at: Adjust.
+ * doc/bison.texinfo: Adjust.
+ Also, make sure to include the `,' for these declarations.
+
+2002-11-15 Tim Van Holder <tim.van.holder@pandora.be>
+
+ * m4/prereq.m4: Removed the commented jm_PREREQ_HASH
+ definition; avoids potential autoreconf problems.
+
+2002-11-15 Akim Demaille <akim@epita.fr>
+
+ Always check the value returned by yyparse.
+
+ * tests/calc.at (_AT_DATA_CALC_Y): Have `main' exit with the value
+ returned by yyparse.
+ (_AT_CHECK_CALC_ERROR): Take the expected exit value as argument.
+ Adjust calls.
+ * tests/glr-regr1.at (glr-regr1.y): Have `main' exit with the value
+ returned by yyparse.
+
+2002-11-14 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
+
+ * data/glr.c (yyFail): Always set yyerrflag. Corrects regression
+ on input.at test.
+
+2002-11-14 Paul Eggert <eggert@twinsun.com>
+
+ * src/output.c (output_skeleton): Call xfopen instead of
+ duplicating xfopen's body.
+
+ Fix bugs reported by Nelson H. F. Beebe in
+ <http://mail.gnu.org/pipermail/bug-bison/2002-November/001893.html>.
+
+ * tests/headers.at (AT_TEST_CPP_GUARD_H): Don't assume that
+ "$CC -E foo.h" is allowed, as this doesn't work with the Portland
+ Group compiler. Instead, use "$CC -E bar.c". Include the .h
+ file twice in the grammar, as an extra check.
+
+ * tests/input.at (Torturing the Scanner): Surround the
+ backslash-newline tests with "#if 0", to make it less likely that
+ we'll run into compiler bugs. Bring back solitary \ inside
+ comment, but add a closing comment to work around HP C bug. Don't
+ test backslash-newline in C character constant. This should fix
+ the input.at bug reported by Nelson H. F. Beebe in
+ <http://mail.gnu.org/pipermail/bug-bison/2002-November/001893.html>.
+
+2002-11-14 Akim Demaille <akim@epita.fr>
+
+ * tests/synclines.at (AT_SYNCLINES_COMPILE): Ignore the exit
+ status of the compiler.
+ Calling `exit 1' is no longer needed.
+ Reported by Nelson H. F. Beebe.
+
+2002-11-14 Akim Demaille <akim@epita.fr>
+
+ * tests/atlocal.in (CPPFLAGS): We have config.h.
+ * tests/testsuite.at (AT_DATA_GRAMMAR_PROLOGUE, AT_DATA_GRAMMAR):
+ New.
+ * tests/actions.at, tests/calc.at, tests/conflicts.at,
+ * tests/cxx-type.at, tests/glr-regr1.at, tests/headers.at,
+ * tests/regression.at, tests/torture.at: Use them for all the
+ grammars that are to be compiled.
+ * tests/cxx-type.at (_AT_TEST_GLR_CALC): Rename as...
+ * tests/cxx-type.at (_AT_TEST_GLR_CXXTYPES): this.
+ * doc/bison.texinfo (GLR Parsers): Document `inline'.
+
+2002-11-14 Akim Demaille <akim@epita.fr>
+
+ * doc/bison.texinfo: Various formatting changes (alignments in
+ samples, additional @group/@end group, GCS in samples.
+ Use @deffn instead of simple @table to define the directives,
+ macros, variables etc.
+
+2002-11-13 Paul Eggert <eggert@twinsun.com>
+
+ Fix some bugs reported by Albert Chin-A-Young in
+ <http://mail.gnu.org/pipermail/bug-bison/2002-November/001881.html>.
+
+ * tests/input.at (Torturing the Scanner): Don't invoke "cc a.c b.c
+ -o c"; the HP C compiler chatters during compilation.
+ Instead, invoke "cc -c a.c -o a.o; cc -c b.c -o b.o; cc a.o b.o -o c".
+ * tests/headers.at (export YYLTYPE): Likewise.
+
+ * tests/input.at (Torturing the Scanner): Remove lines containing
+ solitary backslashes, as they tickle a bug in the HP C compiler.
+
+ * tests/glr-regr1.at (Badly Collapsed GLR States): Avoid //
+ comments, since they're not portable. Use GNU coding style.
+
+2002-11-13 Akim Demaille <akim@epita.fr>
+
+ * data/yacc.c: Leave bigger chunks of quoted text.
+ (YYDSYMPRINTF): New.
+ Use it to report symbol activities.
+ * data/glr.c (YYDSYMPRINTF): New.
+ Use it.
+
+2002-11-12 Paul Eggert <eggert@twinsun.com>
+
+ Version 1.75b.
+
+ * data/glr.c (yydoAction): Return YYRESULTTAG, not int.
+ (yyglrReduce): Return yyok, not 0.
+ This should avoid the enumerated-type warnings reported
+ by Nelson H.F. Beebe in
+ <http://mail.gnu.org/pipermail/bug-bison/2002-November/001872.html>.
+
+ * lib/bbitset.h (BITSET_INLINE): Remove.
+ * lib/bitset.h [! BITSET_INLINE]: Remove.
+ (bitset_set, bitset_reset, bitset_test): Rename local vars
+ to avoid shadowing warnings by GCC.
+
+ * data/glr.c (inline): Remove #define. It's the user's
+ responsibility to #define it away, just like 'const'.
+ This fixes one of the bugs reported by Nelson H.F. Beebe in
+ <http://mail.gnu.org/pipermail/bug-bison/2002-November/001873.html>.
+
+ * Makefile.maint (po-check): Scan .l and .y files instead of the
+ .c and the .h files that they generate. This fixes the bug
+ reported by Tim Van Holder in:
+ <http://mail.gnu.org/pipermail/bison-patches/2002-November/001352.html>
+ Look for N_ as well as for _. Try to avoid matching #define for
+ N_ and _.
+ * po/POTFILES.in: Remove src/parse-gram.c, src/scan-gram.c,
+ src/system.h. Add src/parse-gram.y, src/scan-gram.l.
+ * src/scan-gram.l: Revamp regular expressions so that " and '
+ do not confuse xgettext.
+
+ * src/struniq.h (struniq_new): Do not declare the return type
+ to be 'const'; this violates the C standard.
+ * src/struniq.c (struniq_new): Likewise.
+
+2002-11-12 Albert Chin-A-Young <china@thewrittenword.com>
+
+ * src/Makefile.am (LDADD): Link $(LIBINTL) last to avoid the
+ duplicate definition of optind on Tru64 UNIX 4.0D with the Compaq
+ linker.
+
+2002-11-12 Akim Demaille <akim@epita.fr>
+
+ * Makefile.maint: Sync with Autoconf:
+ (local_updates): New.
+
+2002-11-12 Akim Demaille <akim@epita.fr>
+
+ * po/POTFILES.in (src/lalr.c, src/state.c): Remove
+
+2002-11-12 Akim Demaille <akim@epita.fr>
+
+ * tests/actions.at (_AT_CHECK_PRINTER_AND_DESTRUCTOR): Display the
+ locations.
+
+2002-11-12 Akim Demaille <akim@epita.fr>
+
+ * data/c.m4 (b4_yysymprint_generate): Pass *yyvaluep to YYPRINT,
+ not yyvalue.
+
+2002-11-12 Akim Demaille <akim@epita.fr>
+
+ * tests/actions.at (AT_CHECK_PRINTER_AND_DESTRUCTOR): New.
+ Use it to test the GLR parser.
+
+2002-11-12 Akim Demaille <akim@epita.fr>
+
+ * tests/regression.at (input.y): s/YYEOF/MYEOF/, as the skeleton
+ defines it.
+ * data/glr.c (yystos): New.
+ (b4_yysymprint_generate, b4_yydestruct_generate): Invoke.
+ (YYDSYMPRINT): New.
+ (yyval): Don't define it, it is handled via M4.
+ (yyrecoverParseError): Free verbosely the discarded symbols.
+ * data/yacc.c (yysymprint): Remove, rather...
+ (b4_yysymprint_generate): invoke.
+ * data/c.m4 (b4_yysymprint_generate): New.
+ Accept pointers as arguments, as opposed to the version from
+ yacc.c.
+ (b4_yydestruct_generate): Likewise.
+ * tests/cations.at (Printers and Destructors): Use Bison directives
+ instead of CPP macros.
+ Don't rely on internal details.
+
+2002-11-12 Akim Demaille <akim@epita.fr>
+
+ * data/c.m4 (b4_yydestruct_generate, b4_symbol_actions): New.
+ * data/yacc.c: Rename yychar1 as yytoken, as in glr.c.
+ Don't work on yychar (i.e., do set it to YYEMPTY, don't match
+ it against YYEMPTY and so forth), work on yytoken (i.e., set
+ it to YYEMPTY etc.).
+ (yydestruct): Replace with a b4_yydestruct_generate invocation.
+ (b4_symbol_actions): Remove.
+ * data/glr.c (YYTRANSLATE): As for yacc.c, if negative, it stands
+ for 0, end-of-input.
+
+2002-11-12 Akim Demaille <akim@epita.fr>
+
+ * doc/bison.texinfo (Destructor Decl): New.
+
+2002-11-12 Akim Demaille <akim@epita.fr>
+
+ * src/tables.c (tables_generate): Use free for pointers that
+ cannot be NULL, not XFREE.
+ (pack_vector): Use assert, not fatal, for bound violations.
+ * src/state.c (state_new): Likewise.
+ * src/reader.c (reader): Likewise.
+ * src/lalr.c (set_goto_map): Likewise.
+ * src/location.h (LOCATION_PRINT): If first_line is 0, just issue
+ the file name.
+
+2002-11-12 Akim Demaille <akim@epita.fr>
+
+ * src/scan-gram.l, src/reader.h (scanner_last_string_free):
+ Restore.
+ * src/scan-gram.l (last_string): Is global to the file, not to
+ yylex.
+ * src/parse-gram.y (input): Don't append the epilogue here,
+ (epilogue.opt): do it here, and free the scanner's obstack.
+ * src/reader.c (epilogue_set): Rename as...
+ (epilogue_augment): this.
+ * data/c.m4 (b4_epilogue): Defaults to empty.
+
+2002-11-12 Akim Demaille <akim@epita.fr>
+
+ * src/getargs.c (long_options): Remove duplicates.
+ * src/vmsgetargs.c, src/build.com, src/bison.cld, src/vmshlp.mar:
+ Remove.
+ * doc/bison.rnh: Remove.
+ * doc/bison.texinfo (VMS Invocation): Remove.
+
+2002-11-12 Akim Demaille <akim@epita.fr>
+
+ * src/struniq.h, src/struniq.c (struniq_t): Is const.
+ (STRUNIQ_EQ, struniq_assert, struniq_assert_p): New.
+
+ Use struniq for symbols.
+
+ * src/symtab.h (symbol_t): The tag member is a struniq.
+ (symbol_type_set): Adjust.
+ * src/symtab.c (symbol_new): Takes a struniq.
+ (symbol_free): Don't free the tag member.
+ (hash_compare_symbol_t, hash_symbol_t): Rename as...
+ (hash_compare_symbol, hash_symbol): these.
+ Use the fact that tags as struniqs.
+ (symbol_get): Use struniq_new.
+ * src/symlist.h, src/symlist.c (symbol_list_n_type_name_get):
+ Returns a strniq.
+ * src/reader.h (merger_list, grammar_currentmerge_set): The name
+ and type members are struniqs.
+ * src/reader.c (get_merge_function)
+ (grammar_current_rule_merge_set): Adjust.
+ (TYPE, current_type): Are struniq.
+
+ Use struniq for file names.
+
+ * src/files.h, src/files.c (infile): Split into...
+ (grammar_file, current_file): these.
+ * src/scan-gram.c (YY_USER_INIT, handle_syncline): Adjust.
+ * src/reduce.c (reduce_print): Likewise.
+ * src/getargs.c (getargs): Likewise.
+ * src/complain.h, src/complain.c: Likewise.
+ * src/main.c (main): Call struniqs_new early enough to use it for
+ file names.
+ Don't free the input file name.
+
2002-11-12 Akim Demaille <akim@epita.fr>
* src/symtab.c (symbol_free): Remove dead deactivated code:
projects / bison.git / blobdiff