+2003-02-20 Akim Demaille <akim@epita.fr>
+
+ * tests/calc.at (AT_CHECK_PUSHDEFS, AT_CHECK_POPDEFS): Define
+ AT_YACC_IF.
+ Redefine AT_YYERROR_SEES_LOC_IF using it.
+ (_AT_DATA_CALC_Y): Don't declare yyerror when lalr1.cc, as it is
+ not defined.
+ Don't use the location in yy::Parser::error_ and
+ yy::Parser::print_ when not %locations.
+ Activate more lalr1.cc tests.
+
+2003-02-19 Akim Demaille <akim@epita.fr>
+
+ * data/lalr1.cc: When displaying a line number, be sure to make it
+ an int.
+
+2003-02-19 Akim Demaille <akim@epita.fr>
+
+ * data/lalr1.cc (b4_stack_depth_init, yy::Parser::initdepth_):
+ Remove, useless.
+ (YYABORT, YYACCEPT, YYERROR): New.
+ * tests/calc.at: Renable the lalr1.cc test.
+
+2003-02-19 Akim Demaille <akim@epita.fr>
+
+ * tests/calc.at (AT_CHECK_CALC): Check different scenarios of
+ error recovery, mixing with/without pops and discarding of the
+ lookahead.
+ Exercise YYERROR.
+ Disable the lalr1.cc tests as currently it doesn't support YYERROR.
+
+2003-02-17 Paul Eggert <eggert@twinsun.com>
+
+ * tests/atlocal.in (LDFLAGS, LIBS): New vars.
+ * tests/testsuite.at (AT_COMPILE): Use them.
+ This fixes the testsuite problem reported by Robert Lentz in
+ <http://mail.gnu.org/archive/html/bug-bison/2003-02/msg00011.html>.
+
+2003-02-12 Paul Eggert <eggert@twinsun.com>
+
+ * data/yacc.c (yyerrlab) [YYERROR_VERBOSE]:
+ Avoid subscript error in yycheck. Bug reported by Andrew Suffield in
+ <http://mail.gnu.org/archive/html/bug-bison/2003-02/msg00003.html>.
+ * data/glr.c (yyreportSyntaxError) [YYERROR_VERBOSE]: Likewise.
+ Check for malloc failure, for consistency with yacc.c.
+ (yytname_size): Remove, for consistency with yacc.c.
+
+ The bug still remains in data/lalr1.cc, as I didn't have time
+ to fix it there.
+
+2003-02-06 Akim Demaille <akim@epita.fr>
+
+ * configure.ac (GXX): Rename as...
+ (CXX): this, to keep the original Autoconf semantics.
+ Require 2.57.
+ * data/lalr1.cc: Fix b4_copyright invocations.
+ If YYDEBUG is not defined, don't depend upon name_ being defined.
+ (location.hh): Include string and iostream.
+ (Position::filename): New member.
+ (Position::Position ()): New.
+ (operator<< (Position)): New.
+ (operator- (Position, int)): New.
+ (Location::first, Location::last): Rename as...
+ (Location::begin, Location::end): these, to mock the conventional
+ iterator names.
+ (operator<< (Location)): New.
+ * tests/atlocal.in (CXX): New.
+ * tests/testsuite.at (AT_COMPILE_CXX): New.
+ * tests/calc.at (_AT_DATA_CALC_Y): Adjust yyerror to report the
+ locations in a more synthetic way.
+ (AT_CHECK_PUSHDEFS): AT_YYERROR_SEES_LOC_IF is positive if
+ lalr1.cc is used.
+ Adjust the C locations to match those from Emacs: first column is
+ column 0.
+ Change all the expected results.
+ Conform to the GCS: simplify the locations when applicable.
+ (LOC, VAL, YYLLOC_FORMAL, YYLLOC_ARG, USE_YYLLOC, LEX_FORMALS)
+ (LEX_ARGS, USE_LEX_ARGS, LEX_PRE_FORMALS, LEX_PRE_ARGS): Replace
+ these CPP macros with the m4 macros new defined by...
+ (AT_CHECK_PUSHDEFS): this, i.e.:
+ (AT_LALR1_CC_IF, AT_PURE_LEX_IF, AT_LOC, AT_VAL, AT_LEX_FORMALS)
+ (AT_LEX_ARGS, AT_USE_LEX_ARGS, AT_LEX_PRE_FORMALS, AT_LEX_PRE_ARGS)
+ New macros.
+ (AT_CHECK_POPDEFS): Undefine them.
+ (AT_CHECK_CALC_LALR1_CC): New.
+ Use it for the first lalr1.cc test.
+
+2003-02-04 Akim Demaille <akim@epita.fr>
+
+ * data/lalr1.cc (YYLLOC_DEFAULT): Fix its definition: be based on
+ Location as is defined.
+
+2003-02-04 Akim Demaille <akim@epita.fr>
+
+ * data/lalr1.cc: If YYDEBUG is not defined, don't depend upon
+ name_ being defined.
+
+2003-02-03 Paul Eggert <eggert@twinsun.com>
+
+ * src/gram.h (start_symbol): Remove unused decl.
+
+ Use more-consistent naming conventions for local vars.
+
+ * src/derives.c (derives_compute): Change type of local var from
+ int to rule_number.
+ * src/gram.c (grammar_rules_partial_print): Likewise.
+ * src/print.c (print_core): Likewise.
+ * src/reduce.c (reduce_grammar_tables): Likewise.
+
+ * src/gram.c (grammar_dump): Change name of item_number *
+ local var from r to rp.
+ * src/nullable.c (nullable_compute): Likewise.
+
+ * src/gram.h (ISTOKEN, ISVAR): Use i, not s, for int var.
+
+ * src/gram.h (symbol_number_as_item_number): Use sym, not s,
+ for symbol or symbol_number var.
+ * src/reader.c (grammar_start_symbol_set): Likewise.
+ * src/reader.h (grammar_start_symbol_set, grammar_symbol_append):
+ Likewise.
+ * src/state.c (transitions_to): Likewise.
+ * src/state.h: Likewise.
+ * src/tables.c (symbol_number_to_vector_number): Likewise.
+
+ * src/muscle_tab.h (MUSCLE_OBSTACK_SGROW): Use p, not s, for
+ char * var.
+
+ * src/parse-gram.y (lloc_default): Use loc, not r, for YYLTYPE
+ var.
+
+ * src/scan-gram.l (no_cr_read): Use bytes_read, not s, for size
+ var.
+
+ * src/system.h (xstrndup, strchr, strspn, strnlen, memchr, memrchr):
+ Use str, not s, for char * var. Use ch, not c, for character var.
+ Use size for size var.
+
+ * src/uniqstr.c (uniqstr_new, uniqstr_assert): Use str, not s, for
+ char * var.
+ (uniqstr_print, uniqst_print_processor): Use ustr, not s, for
+ uniqstr var.
+ * src/uniqstr.h: Likewise.
+
+ * src/vcg.c (get_color_str, get_textmode_str, get_shape_str,
+ get_layoutalgorithm_str, get_decision_str, get_orientation_str,
+ get_node_alignment_str, get_arrow_mode_str, get_crossing_type_str,
+ get_view_str, get_linestyle_str, get_arrowstyle_str): Rename
+ param to have same name as that of enum, so that we don't use
+ "s" to stand for a non-state.
+
+2003-02-02 Akim Demaille <akim@epita.fr>
+
+ * src/scan-skel.l: Scan more than one inert character per yylex
+ invocation.
+
+2003-02-01 Paul Eggert <eggert@twinsun.com>
+
+ Version 1.875a.
+
+ * po/LINGUAS: Add ms.
+
+2003-01-30 Akim Demaille <akim@epita.fr>
+
+ * doc/Makefile.am (CLEANFILES): Add bison.fns for distcheck.
+
+2003-01-29 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
+
+ * tests/cxx-type.at: Correct apparent typo in Bison input: $$ instead
+ of $1.
+
+ Changes in response to error report by S. Eken: GLR mode does not
+ handle negative $ indices or $ indices in embedded rules correctly.
+ See <http://mail.gnu.org/archive/html/bug-bison/2003-01/msg00076.html>.
+
+ * data/glr.c (b4_rhs_value): Change to use YYFILL macro.
+ (b4_rhs_location): Ditto.
+ (yyfill): New function to copy from stack tree into array
+ incrementally.
+ (yyuserAction): Modify to allow incremental move of semantic values
+ to rhs array when in GLR mode.
+ Define YYFILL to use in user-defined actions to fill semantic array
+ as needed.
+ Remove dummy use of yystack, as there is now a guaranteed use.
+ (yydoAction): Modify to allow incremental move of semantic values
+ to rhs array when in GLR mode.
+ (yyresolveAction): Ditto.
+ (yyglrShiftDefer): Update comment.
+ (yyresolveStates): Use X == NULL for pointers, not !X.
+ (yyglrReduce): Ditto.
+ (yydoAction): Ditto
+
+ * tests/glr-regr1.at: Rename to ...
+ * tests/glr-regression.at: Add new regression test for the problems
+ described above (adapted from S. Eken).
+ Update copyright notice.
+ * tests/testsuite.at: Rename glr-regr1.at to glr-regression.at.
+ * tests/Makefile.am: Ditto.
+
+2003-01-28 Paul Eggert <eggert@twinsun.com>
+
+ * data/lalr1.cc: Do not use @output_header_name@ unless
+ b4_defines_flag is set. This fixes two bugs reported by
+ Tim Van Holder in
+ <http://mail.gnu.org/archive/html/bug-bison/2003-01/msg00071.html>
+ and <http://mail.gnu.org/archive/html/bug-bison/2003-01/msg00073.html>.
+
+2003-01-21 Paul Eggert <eggert@twinsun.com>
+
+ * data/yacc.c (YYERROR): Move code from yyerrlab1 to here, so that
+ we don't need to worry about yyerrlab1 being reported as an
+ "unused label" by non-GCC C compilers. The downside is that if
+ locations are used then a couple of statements are duplicated each
+ time YYERROR is invoked, but the upside is that the warnings
+ should vanish.
+ (yyerrlab1): Move code to YERROR.
+ (yyerrlab2): Remove. Change uses back to yyerrlab1.
+ This reverts some of the 2002-12-27 change.
+
+2003-01-17 Paul Eggert <eggert@twinsun.com>
+
+ * src/output.c (symbol_printers_output): Fix typo that led
+ to core dump. Problem reported by Antonio Rus in
+ <http://mail.gnu.org/archive/html/bug-bison/2003-01/msg00058.html>.
+
+2003-01-13 Akim Demaille <akim@epita.fr>,
+ Quoc Peyrot <chojin@lrde.epita.fr>,
+ Robert Anisko <anisko_r@lrde.epita.fr>
+
+ * data/lalr1.cc (parse::yyerrlab1): When popping the stack, stop
+ when the stacks contain one element, as the loop would otherwise
+ free the last state, and then use the top state (the one we just
+ popped). This means that the initial elements will not be freed
+ explicitly, as is the case in yacc.c; it is not a problem, as
+ these elements have fake values.
+
+2003-01-11 Paul Eggert <eggert@twinsun.com>
+
+ * NEWS: %expect-violations are now just warnings, reverting
+ to Bison 1.30 and 1.75 behavior. This fixes the GCC 3.2
+ bootstrapping problem reported by Matthias Klose; see
+ <http://mail.gnu.org/archive/html/bug-bison/2003-01/msg00053.html>.
+ * src/conflicts.c (conflicts_print): Likewise.
+ * tests/conflicts.at (%expect not enough, %expect too much,
+ %expect with reduce conflicts): Likewise.
+ * doc/bison.texinfo (Expect Decl): Document this. Also mention
+ that the warning is enabled if the number of conflicts changes
+ (not necessarily increases).
+
+ * src/getargs.c (version): Update copyright year.
+
+2003-01-09 Akim Demaille <akim@epita.fr>
+
+ * src/Makefile.am, lib/Makefile.am: Use $(VAR) instead of @VAR@.
+
+2003-01-08 Paul Eggert <eggert@twinsun.com>
+
+ * Makefile.maint (WGETFLAGS):
+ New macro, containing "-C off" to disable proxy caches.
+ All uses of $(WGET) changed to $(WGET) $(WGETFLAGS).
+ (rel-check): Use $(WGET) instead of wget.
+
+2003-01-06 Paul Eggert <eggert@twinsun.com>
+
+ * doc/bison.texinfo (Generalized LR Parsing): Add a reference to
+ the GLR paper of Scott, Johnstone and Hussain.
+
+2003-01-04 Paul Eggert <eggert@twinsun.com>
+
+ * configure.ac (AC_ARG_ENABLE): Add --disable-yacc.
+ (YACC_SCRIPT, YACC_LIBRARY): New vars to AC_SUBST.
+ * lib/Makefile.am (lib_LIBRARIES): liby.a -> @YACC_LIBRARY@.
+ (EXTRA_LIBRARIES): New var, for liby.a.
+ * src/Makefile.am (bin_SCRIPTS): yacc -> @YACC_SCRIPT@.
+ (EXTRA_SCRIPTS): New var, for yacc.
+
+ * data/yacc.c (yyerrlab1): Omit attribute if __cplusplus is defined,
+ since GNU C++ (as of 3.2.1) does not allow attributes on labels.
+ Problem reported by Nelson H. F. Beebe.
+
+2003-01-03 Paul Eggert <eggert@twinsun.com>
+
+ * lib/obstack.h (__INT_TO_PTR) [__STDC__]: Cast result to
+ (void *) to avoid diagnostic with native c89 on SGI IRIX 6.5
+ when compiling Bison 1.875's `bitset bset = obstack_alloc
+ (bobstack, bytes);'. Problem reported by Nelson H. F. Beebe.
+
+ * src/scan-skel.l (QPUTS): Omit redundant `;' from macro definition.
+ ([^@\n]): Renamed from [^@\n]+ so that the token buffer does not
+ grow to a huge size with typical invocation.
+
+ * lib/hash.c (_Bool, bool, false, true, __bool_true_false_are_defined):
+ Use the pattern recommended by Autoconf 2.57, except also protect
+ against double-definition.
+ * src/system.h: Likewise.
+ Portability issues reported by Nelson H. F. Beebe.
+
+ * data/glr.c (yybool): Renamed from bool, to avoid collisions in C.
+ All uses changed. Provide a definition in both C and C++.
+ (yytrue, yyfalse): Define even if defined (__cplusplus).
+
+ * lib/bitset_stats.c (bitset_stats_list): Remove unused var.
+ Reported by Nelson H. F. Beebe.
+
+ * src/scan-skel.l ("@oline@"): Output lineno+1, not lineno.
+
+2003-01-02 Paul Eggert <eggert@twinsun.com>
+
+ * data/yacc.c (yyerrlab1): Append `;' after attribute, to
+ pacify the buggy "smart preprocessor" in MacOS 10.2.3.
+ Bug reported by Nelson H. F. Beebe.
+
+2003-01-01 Paul Eggert <eggert@twinsun.com>
+
+ * Version 1.875.
+
+2002-12-30 Paul Eggert <eggert@twinsun.com>
+
+ * src/scan-gram.l (<INITIAL,SC_AFTER_IDENTIFIER,SC_PRE_CODE>","):
+ Moved here from...
+ (<INITIAL>","): Here. This causes stray "," to be treated
+ more uniformly.
+
+ * src/scan-gram.l (<SC_BRACED_CODE>"}"): Output ";" before the
+ last brace in braced code when not in Yacc mode, for compatibility
+ with Bison 1.35. This resurrects the 2001-12-15 patch to
+ src/reader.c.
+
+ * src/reader.h (YYDECL): Use YYSTYPE, not its deprecated alias
+ yystype. This follows up the 2002-12-24 YYSTYPE bug fix.
+
+2002-12-28 Paul Eggert <eggert@twinsun.com>
+
+ * src/symtab.c (symbol_make_alias): Set type of SYMVAL to be
+ that of SYM's type. This fixes Debian bug 168069, reported by
+ Thomas Olsson.
+
+2002-12-28 Paul Eggert <eggert@twinsun.com>
+
+ Version 1.75f.
+
+ Switch back to the Yacc style of conflict reports, undoing some
+ of the 2002-07-30 change.
+ * doc/bison.texinfo (Understanding): Use Yacc style for
+ conflict reports. Also, use new way of locating rules.
+ * src/conflicts.c (conflict_report):
+ Renamed from conflict_report_yacc, removing the old
+ 'conflict_report'. Translate the entire conflict report at once,
+ so that we don't assume that "," has the same interpretation in
+ all languages.
+ (conflicts_output): Use Yacc-style conflict report for each state,
+ instead of our more-complicated style.
+ (conflicts_print): Use Yacc-style conflict report, except print
+ the input file name when not emulating Yacc.
+ * tests/conflicts.at (Unresolved SR Conflicts, Defaulted
+ Conflicted Reduction, %expect not enough, %expect too much,
+ %expect with reduce conflicts): Switch to Yacc-style conflict reports.
+ * tests/existing.at (GNU Cim Grammar): Likewise.
+ * tests/glr-regr1.at (Badly Collapsed GLR States): Likewise.
+
+ * src/complain.c (warn_at, warn, complain_at, complain, fatal_at,
+ fatal): Don't invoke fflush; it's not needed and it might even be
+ harmful for stdout, as stdout might not be open.
+ * src/reduce.c (reduce_print): Likewise.
+
+2002-12-27 Paul Eggert <eggert@twinsun.com>
+
+ Fix a bug where error locations were not being recorded correctly.
+ This problem was originally reported by Paul Hilfinger in
+ <http://mail.gnu.org/archive/html/bug-bison/2002-11/msg00086.html>.
+
+ * data/yacc.c (yyparse): New local var yylerrsp, to record the
+ top of the location stack's error locations.
+ (yyerrlab): Set it. When discarding a token, push its location
+ onto yylerrsp so that we don't lose track of the error's end.
+ (yyerrlab1): Now is only the target of YYERROR, so that we can
+ properly record the location of the action that failed. For GCC
+ 2.93 and later, insert an __attribute__ ((__unused__)) to avoid
+ GCC warning about yyerrlab1 being unused if YYERROR is unused.
+ (yyerrlab2): New label, which yyerrlab now falls through to.
+ Compute the error's location by applying YYLLOC_DEFAULT to
+ the locations of all the symbols that went into the error.
+ * doc/bison.texinfo (Location Default Action): Mention that
+ YYLLOC_DEFAULT is also invoked for syntax errors.
+ * tests/actions.at (_AT_CHECK_PRINTER_AND_DESTRUCTOR):
+ Error locations include the locations of all the tokens that were
+ discarded, not just the last token.
+
+2002-12-26 Paul Eggert <eggert@twinsun.com>
+
+ * src/files.c: Include quote.h.
+ (compute_output_file_names): Warn if we detect conflicting
+ outputs to the same file. This should catch the misunderstanding
+ exemplified by Debian Bug 165349, reported by Bruce Stephens..
+
+ * src/conflicts.c (conflicts_print): If the user specifies
+ "%expect N", report an error if there are any reduce/reduce
+ conflicts. This is what the manual says should happen.
+ This fixes Debian bug 130890, reported by Anthony DeRobertis.
+ * tests/conflicts.at (%expect with reduce conflicts): New test.
+
+ Don't use m4_include on relative file names, as it doesn't work as
+ desired if there happens to be a file with that name under ".".
+
+ * m4sugar/version.m4: Remove; it was included but it wasn't used.
+ * data/Makefile.am (dist_m4sugar_DATA): Remove m4sugar/version.m4.
+ * data/m4sugar/m4sugar.m4: Don't include m4sugar/version.m4.
+ * data/glr.c, data/lalr1.cc, data/yacc.c: Don't include c.m4.
+ * src/output.c (output_skeleton): Use full path names when
+ specifying a file to include; don't rely on include path, as
+ it's unreliable when the working file contains a file with
+ that name.
+
+2002-12-25 Paul Eggert <eggert@twinsun.com>
+
+ Remove obsolete references to bison.simple and bison.hairy.
+ Problem mentioned by Aubin Mahe in
+ <http://mail.gnu.org/archive/html/help-bison/2002-12/msg00010.html>.
+ * data/glr.c: Comment fix.
+ * doc/bison.1: Remove references. Also, mention "yacc".
+
+ * src/getargs.c (getargs) [MSDOS]: Don't assume optarg != NULL
+ with -g option.
+
+ * src/parse-gram.y (declaration): Use enum "report_states" rather
+ than its numeric value 1.
+
+ * src/scan-skel.l ("@output ".*\n): Close any old yyout before
+ opening a new one. This fixes Debian bug 165349, reported by
+ Bruce Stephens.
+
+2002-12-24 Paul Eggert <eggert@twinsun.com>
+
+ Version 1.75e.
+
+ * Makefile.maint (cvs-update): Don't assume that the shell
+ supports $(...), as Solaris sh doesn't.
+
+ * src/parse-gram.y (lloc_default): Remove test for empty
+ nonterminals at the end, since it didn't change the result.
+
+2002-12-24 Paul Eggert <eggert@twinsun.com>
+
+ If the user does not define YYSTYPE as a macro, Bison now declares it
+ using typedef instead of defining it as a macro. POSIX requires this.
+ For consistency, YYLTYPE is also declared instead of defined.
+
+ %union directives can now have a tag before the `{', e.g., the
+ directive `%union foo {...}' now generates the C code
+ `typedef union foo { ... } YYSTYPE;'; this is for Yacc compatibility.
+ The default union tag is `YYSTYPE', for compatibility with Solaris 9
+ Yacc. For consistency, YYLTYPE's struct tag is now `YYLTYPE'
+ instead of `yyltype'.
+
+ `yystype' and `yyltype' are now obsolescent macros instead of being
+ typedefs or tags; they are no longer documented and will be
+ withdrawn in a future release.
+
+ * data/glr.c (b4_location_type): Remove.
+ (YYSTYPE): Renamed from yystype.
+ (YYSTYPE_IS_DECLARED): New macro, used to prevent double-typedef.
+ (struct YYLTYPE): Renamed from struct yyltype.
+ (YYLTYPE): Renamed from yyltype.
+ (yyltype, yystype): New (and obsolescent) macros,
+ for backward compatibility.
+ * data/yacc.c: Likewise.
+
+ * data/yacc.c (YYSTYPE): Declare as union YYSTYPE if the user
+ does not specify a union tag. This is for compatibility with
+ Solaris 9 yacc.
+
+ * src/parse-gram.y (add_param): 2nd arg is now char * not char
+ const *, since it is now modified by stripping surrounding { }.
+ (current_braced_code): Remove.
+ (PERCENT_DESTRUCTOR, PERCENT_PRINTER, PERCENT_UNION,
+ PERCENT_LEX_PARAM, PERCENT_PARSE_PARAM): Change names to include
+ trailing " {...}". Now of type <chars>.
+ (grammar_declaration): Adjust to bundled tokens.
+ (code_content): Remove; stripping is now done by add_param.
+ (print_token_value): Print contents of bundled tokens.
+ (token_name): New function.
+
+ * src/reader.h (braced_code, current_braced_code): Remove.
+ (token_name): New decl.
+
+ * src/scan-gram.l (handle_dollar, handle_at): Now takes int
+ token_type, not braced_code code_kind. All uses changed.
+ (SC_PRE_CODE): New state, for scanning after a keyword that
+ has (or usually has) an immediately-following braced code.
+ (token_type): New local var, to keep track of which token type
+ to return when scanning braced code.
+ (<INITIAL>"%destructor", <INITIAL>"%lex-param",
+ <INITIAL>"%parse-param", <INITIAL>"%printer",
+ <INITIAL>"%union"): Set token type and BEGIN SC_PRE_CODE
+ instead of returning a token type immediately.
+ (<INITIAL>"{"): Set token type.
+ (<SC_BRACED_CODE>"}"): Use it.
+ (handle_action_dollar, handle_action_at): Now returns bool
+ indicating success. Fail if ! current_rule; this prevents a core dump.
+ (handle_symbol_code_dollar, handle_symbol_code_at):
+ Remove; merge body into caller.
+ (handle_dollar, handle_at): Complain in invalid contexts.
+
+ * NEWS, doc/bison.texinfo: Document the above.
+ * NEWS: Fix years and program names in copyright notice.
+
projects / bison.git / blobdiff