+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.
+
+2002-12-17 Paul Eggert <eggert@twinsun.com>
+
+ * NEWS, doc/bison.texinfo (Parser Function, Pure Calling, Error
+ Reporting, Table of Symbols): Omit mentions of %lex-param and
+ %parse-param from the documentation for now.
+
+2002-12-15 Paul Eggert <eggert@twinsun.com>
+
+ Undo most of the 2002-11-12 yychar -> yytoken patch, as it broke
+ GCC 3.2.1 (which depends on yychar == YYEMPTY when there is no
+ lookahead symbol, and which sets yychar in parser actions) and it
+ disagreed with the Bison documentation. Bug
+ reported by Andrew Walrond.
+
+ * data/yacc.c (YYTRANSLATE): Don't check for negative argument,
+ as the caller now does that.
+ (yyclearin, YYBACKUP, yyparse): Use yychar, not yytoken.
+ (YYEMPTY): Parenthesize right hand side, since others use it.
+ (yyparse): Don't assume that our generated code is the only code
+ that sets yychar.
+
+2002-12-13 Paul Eggert <eggert@twinsun.com>
+
+ Version 1.75d.
+
+ POSIX requires a "yacc" command.
+ * src/Makefile.am (bin_SCRIPTS): New macro, for yacc.
+ (MOSTLYCLEANFILES): Add yacc.
+ (yacc): New rule.
+ * doc/bison.texinfo (Invocation, Bison Options): Mention yacc
+ as an alias for bison y.
+
+ * po/LINGUAS: Add da.
+
+ * src/getargs.c (__GNU_LIBRARY__) [lint]: Define to work around
+ problem with latest <getopt.h>.
+ (HACK_FOR___GNU_LIBRARY___PROTOTYPE): New macro.
+
+ * doc/fdl.texi: Upgrade to 1.2.
+ * lib/alloca.c, lib/error.c, lib/getopt.c, lib/getopt.h
+ lib/getopt1.c, lib/gettext.h, lib/memrchr.c, lib/obstack.c,
+ lib/obstack.h, lib/strnlen.c, lib/unlocked-io.h: Sync with
+ gnulib.
+ * config/install-sh: Sync with autotools.
+
+ Fix a bad interaction with flex 2.5.23 reported by Bruce Lilly in
+ <http://mail.gnu.org/archive/html/bug-bison/2002-11/msg00114.html>.
+ * data/yacc.c (YYLTYPE, struct yyltype): Do not define unless
+ locations are requested.
+ (union yyalloc): Do not depend on YYLTYPE_IS_TRIVIAL unless
+ locations are requested.
+
+2002-12-12 Paul Eggert <eggert@twinsun.com>
+
+ Remove unportable casts and storage allocation tricks.
+ While we're at it, remove almost all casts, since they
+ usually aren't needed and are a sign of trouble.
+
+ * configure.ac (AC_CHECK_TYPES): Check for uintptr_t.
+
+ * src/derives.c (derives_compute): Do not subtract NTOKENS from
+ the pointer DSET returned by malloc; this isn't portable.
+ Instead, always use DSET[i - NTOKENS] rather than DSET[i].
+ Similarly for DERIVES.
+ * src/lalr.c (set_goto_map): Likewise, for GOTO_MAP and TEMP_MAP.
+ * src/nullable.c (nullable_compute): Likewise, for RSETS and NULLABLE.
+ * src/reduce.c (reduce_grammar_tables): Likewise, for nontermmap
+
+ * src/derives.c (derives_compute): Do not bother invoking
+ int_of_rule_number, since rule numbers are integers.
+
+ * src/files.c (concat2, tr, compute_base_name): Use xmalloc (N)
+ rather than XMALLOC (char, N).
+
+ * src/files.c (filename_split): Rewrite to avoid cast.
+
+ * src/gram.h (symbol_number_as_item_number,
+ item_number_as_symbol_number, rule_number_as_item_number,
+ item_number_as_rule_number):
+ Now inline functions rather than macros, to avoid casts.
+ * src/state.h (state_number_as_int): Likewise.
+ * src/tables.c (state_number_to_vector_number,
+ symbol_number_to_vector_number): Likewise.
+
+ * src/gram.h (int_of_rule_number): Remove; no longer used.
+
+ * src/lalr.c (add_lookback_edge): Use malloc rather than calloc,
+ since the resulting storage is always stored into.
+
+ * src/main.c (alloca) [C_ALLOCA]: Add decl here, the only place
+ where it's needed.
+
+ * src/muscle_tab.c (muscle_m4_output):
+ Now inline. Return bool, not int.
+ * src/state.c (state_compare): Likewise.
+ * src/symtab.c (symbol_check_defined,
+ symbol_check_alias_consistency, symbol_pack, symbol_translation,
+ hash_compare_symbol, hash_symbol):
+ Likewise.
+ * src/uniqstr.c (uniqstr_print): Likewise.
+ * src/muscle_tab.c (muscle_m4_output_processor):
+ New function, to avoid casts.
+ * src/state.c (state_comparator, stage_hasher): Likewise.
+ * src/symtab.c (symbol_check_defined_processor,
+ symbol_check_alias_consistency_processor, symbol_pack_processor,
+ symbol_translation_processor, hash_symbol_comparator,
+ hash_symbol_hasher): Likewise.
+ * src/uniqstr.c (uniqstr_print_processor): Likewise.
+ * src/muscle_tab.c (muscles_m4_output):
+ Use new functions instead of casting old functions unportably.
+ * src/state.c (state_hash_new): Likewise.
+ * src/symtab.c (symbols_new, symbols_do, symbols_check_defined,
+ symbols_token_translations_init):
+ Likewise.
+ * src/uniqstr.c (uniqstrs_new, hash_initialize, uniqstrs_do): Likewise.
+
+ * src/output.c (GENERATE_MUSCLE_INSERT_TABLE): Use long local
+ var instead of casting to long, to avoid casts.
+ (prepare_states): Use MALLOC rather than alloca, so that we don't
+ have to worry about alloca.
+ * src/state.c (state_hash_lookup): Likewise.
+
+ * src/scan-gram.l (<SC_ESCAPED_CHARACTER>"'"): Use unsigned char
+ local var instead of casting to unsigned char, to avoid casts.
+
+ * src/state.c (TRANSITIONS_ALLOC, ERRS_ALLOC, REDUCTIONS_ALLOC,
+ STATE_ALLOC): Remove.
+ (transitions_new, errs_new, reductions_new, state_new): Use malloc
+ rather than calloc, and use offsetof to avoid allocating slightly
+ too much storage.
+ (state_new): Initialize all members.
+
+ * src/state.c (state_hash): Use unsigned accumulator, not signed.
+
+ * src/symtab.c (symbol_free): Remove; unused.
+ (symbol_get): Remove cast in lhs of assignment.
+ (symbols_do): Now static. Accept generic arguments, not
+ hashing-related ones.
+
+ * src/symtab.h: (NUMBER_UNDEFINED): Remove unnecessary cast.
+ (symbol_processor): Remove.
+ (symbols_do): Remove decl; now static.
+
+ * src/system.h (alloca): Remove; decl no longer needed.
+ (<stddef.h>): Include, for offsetof.
+ (<inttypes.>, <stdint.h>): Include if available.
+ (uintptr_t): New type, if system lacks it.
+ (CALLOC, MALLOC, REALLOC): New macros.
+ All uses of XCALLOC, XMALLOC, and XREALLOC changed to use these
+ new macros.
+
+ * src/tables.c (table_size): Now int, to pacify GCC.
+ (table_grow, table_ninf_remap): Use signed table size.
+ (save_row): Don't bother initializing locals when not needed.
+ (default_goto, goto_actions, pack_vector): Remove unnecessary casts.
+ * src/uniqstr.c (hash_compare_uniqstr): Likewise.
+
+ * src/vcg.h: Correct misspellings.
+
+ * src/vcg_defaults.h (G_CMAX): Now INT_MAX.
+
+
+ * src/getargs.c (getargs): Don't assume EOF == -1.
+
projects / bison.git / blobdiff