-2005-09-16 Akim <akim@epita.fr>
+2005-11-09 Albert Chin-A-Young <china@thewrittenword.com>
+
+ * m4/cxx.m4, examples/Makefile.am: Don't build
+ examples/calc++ if no C++ compiler is available. (trivial change)
+
+2005-11-09 Akim Demaille <akim@epita.fr>
+
+ * src/scan-skel.l: Use a couple of asserts.
+
+2005-11-03 Akim Demaille <akim@epita.fr>
+
+ In some (weird) cases, the final state number is incorrect.
+ Reported by Alexandre Duret-Lutz.
+ * src/LR0.c (state_list_append): Remove the computation of
+ final_state.
+ (save_reductions): Do it here.
+ (get_state): Alpha conversion.
+ (generate_states): Use a for loop.
+ * src/gram.h (item_number_is_rule_number)
+ (item_number_is_symbol_number): New.
+ * src/state.c: Use assert.
+ * src/system.h: Include assert.h.
+ * tests/sets.at (Accept): New.
+
+2005-10-30 Paul Hilfinger <hilfingr@tully.CS.Berkeley.EDU>
+
+ * data/glr.c (yyfill): Adjust comment.
+ (yyresolveAction): Initialize default location properly
+ for empty right-hand sides.
+ (yydoAction): Ditto.
+ Add comment explaining apparently dead code.
+ * tests/glr-regression.at
+ (Incorrectly initialized location for empty right-hand side in GLR):
+ New test.
+
+2005-10-30 Paul Eggert <eggert@cs.ucla.edu>
+
+ * bootstrap (cleanup_gnulib): New function. Use it to clean up
+ gnulib when interrupted. This fixes some race conditions and
+ works around some portability problems (one noted by Paul
+ Hilfinger).
+
+2005-10-22 Akim <akim@epita.fr>
+
+ * Makefile.cfg: Adjust to config -> build-aux.
+ Reported by twledo.
+
+2005-10-21 Akim Demaille <akim@epita.fr>
+
+ * data/c.m4 (b4_yydestruct_generate, b4_yysymprint_generate): Pass
+ the %parse-params.
+ * data/glr.c (YY_SYMBOL_PRINT, yydestroyGLRState): Adjust.
+ * data/yacc.c (b4_Pure_if): Rename as...
+ (b4_yacc_pure_if): this.
+ (YY_SYMBOL_PRINT, yyparse): Adjust.
+ * doc/bison.texinfo: Formatting changes.
+
+2005-10-21 Akim Demaille <akim@epita.fr>
+
+ Finish the transition config -> build-aux.
+ * configure.ac, Makefile.am: Use build-aux.
+ * config/prev-version, config/announce-gen, config/Makefile.am:
+ Move to...
+ * build-aux/prev-version, build-aux/announce-gen,
+ * build-aux/Makefile.am: here.
+
+2005-10-14 Akim Demaille <akim@epita.fr>
+
+ * examples/calc++/test: Use set -x only when VERBOSE.
+
+2005-10-13 Paul Eggert <eggert@cs.ucla.edu>
+
+ * NEWS: Bison now warns if it finds a stray `$' or `@' in an action.
+ * src/scan-gram.l (<SC_BRACED_CODE>[$@]): Implement this.
+
+2005-10-13 Akim Demaille <akim@epita.fr>
+
+ * src/scan-skel.l: Output the base name parts of the parser and
+ header file names.
+ * tests/output.at (AT_CHECK_OUTPUT): Support subdirectories, and
+ additional checks.
+ Use this to exercise C++ outputs in subdirs.
+ Reported by Oleg Smolsky.
+
+2005-10-12 Paul Eggert <eggert@cs.ucla.edu>
+
+ * data/c.m4 (b4_c_function_def): Look at __C99_FUNC__, not at
+ __STDC_VERSION__, as IBM cc 7.0 doesn't define the latter either.
+ Problem reported by John P. Hartmann.
+ * data/yacc.c (YYMODERN_C): Likewise. Don't define if the user has
+ already defined it.
+
+2005-10-12 Akim Demaille <akim@epita.fr>
+
+ * src/parse-gram.y (version_check): Exit 63 to please missing
+ (stands for "version mismatch).
+ * tests/input.at, doc/bison.texinfo: Adjust.
+
+2005-10-10 Paul Eggert <eggert@cs.ucla.edu>
+
+ Work around portability problems with Visual Age C compiler
+ (xlc and xlC_r) reported by John P. Hartmann.
+ * data/location.cc (initial_column, initial_line): Remove.
+ All uses replaced by 0 and 1.
+ * src/scan-gram.l (gram_wrap): Redefine to avoid bug in flex 2.5.31
+ that xlc complains about.
+ * src/scan-skel.l (skel_wrap): Likewise.
+ * data/c.m4 (b4_c_function_def): Look at __STDC_VERSION__ as well
+ as __STDC__.
+ * data/yacc.c (YYMODERN_C): New macro, which also looks at
+ __STDC_VERSION__. Use it everywhere instead of looking at
+ __STDC__ and __cplusplus.
+
+2005-10-10 Akim Demaille <akim@epita.fr>
+
+ * examples/calc++/test: Be quiet unless VERBOSE.
+
+2005-10-05 Paul Eggert <eggert@cs.ucla.edu>
+
+ * data/c.m4 (yydestruct, yysymprint):
+ Use YYUSE instead of casting to void.
+ * data/glr.c (YYUSE): New macro.
+ (yyuserMerge, yyreportAmbiguity, yyreportSyntaxError):
+ Use it instead of rolling our own.
+ (YYLLOC_DEFAULT, YYCHK, YYDPRINTF, YY_SYMBOL_PRINT, YY_REDUCE_PRINT):
+ (YYCHK1):
+ Use /*CONSTCOND*/ to suppress lint warnings.
+ * data/lalr1.cc (YYLLOC_DEFAULT, YY_SYMBOL_PRINT, YY_REDUCE_PRINT):
+ (YY_STACK_PRINT): Use 'false' not '0'.
+ (YYUSE): New macro.
+ (yysymprint_, yydestruct_): Use it instead of rolling our own.
+ * data/yacc.c (YYUSE): New macro.
+ (YYCOPY, YYSTACK_RELOCATE, YYBACKUP, YYLLOC_DEFAULT):
+ (YYDPRINTF, YY_SYMBOL_PRINT, YY_STACK_PRINT, YY_REDUCE_PRINT):
+ (yyerrorlab): Use /*CONSTCOND*/ to suppress lint warnings.
+
+
+ * data/m4sugar/m4sugar.m4 (_m4_map): New macro.
+ (m4_map, m4_map_sep): Use it. Handle the empty list correctly.
+
+2005-10-04 Paul Eggert <eggert@cs.ucla.edu>
+
+ Undo the parts of the unlocked-I/O change that substituted
+ putc or puts for printf. This might hurt performance a bit,
+ but some people prefer the printf style.
+ * data/c.m4 (yysymprint): Prefer printf to puts and putc.
+ * data/glr.c (YYFPUTC, YYFPUTS, YYDPUTS): Remove.
+ All uses replaced by YYFPRINTF and YYDPRINTF.
+ * data/yacc.c: Likewise.
+ * lib/bitset.c (bitset_print): Likewise.
+ * lib/bitsetv.c (bitsetv_dump, debug-bitsetv): Prefer printf to
+ putc and puts.
+ * lib/lbitset.c (debug_lbitset): Likewise.
+ * src/closure.c (print_firsts, print_fderives): Likewise.
+ * src/gram.c (grammar_dump): Likewise.
+ * src/lalr.c (look_ahead_tokens_print): Likewise.
+ * src/output.c (escaped_output): Likewise.
+ (user_actions_output): Break apart two printfs.
+ * src/parse-gram.y (%printer): Prefer printf to putc and puts.
+ * src/reduce.c (reduce_print): Likewise.
+ * src/state.c (state_rule_look_ahead_tokens_print): Likewise.
+ * src/system.h: Include unlocked-io.h rathe than stdio.h.
+
+ * data/glr.c (yyuserMerge, yyreportAmbiguity, yyreportSyntaxError):
+ Use assignments rather than casts-to-void to suppress
+ unused-variable warnings. This pacifies 'lint'.
+ * data/lalr1.cc (yysymprint_, yydestruct_): Use a call to suppress
+ unused-variable warnings.
+
+2005-10-03 Juan Manuel Guerrero <juan.guerrero@gmx.de>
+
+ * Makefile.am: DJGPP specific files added to EXTRA_DIST.
+
+2005-10-02 Paul Eggert <eggert@cs.ucla.edu>
+
+ Use unlocked I/O for a minor performance improvement on hosts like
+ GNU/Linux and Solaris that support unlocked I/O. The basic idea
+ is to use the gnlib unlocked-io module, and to prefer putc and
+ puts to printf when either will work (since the latter doesn't
+ come in an unlocked flavor).
+ * bootstrap (gnulib_modules): Add unlocked-io.
+ * data/c.m4 (yysymprint): Prefer puts and putc to printf.
+ * data/glr.c (YYFPUTC, YYFPUTS, YYDPUTS): New macros.
+ Prefer them to YYFPRINTF and YYDPRINTF if either will do,
+ and similarly for puts and putc and printf.
+ * data/yacc.c: Likewise.
+ * lib/bitset.c (bitset_print): Likewise.
+ * lib/bitset.h [USE_UNLOCKED_IO]: Include unlocked-io.h.
+ * lib/bitsetv.c (bitsetv_dump, debug-bitsetv): Prefer putc and puts
+ to printf.
+ * lib/lbitset.c (debug_lbitset): Likewise.
+ * src/closure.c (print_firsts, print_fderives): Likewise.
+ * src/gram.c (grammar_dump): Likewise.
+ * src/lalr.c (look_ahead_tokens_print): Likewise.
+ * src/output.c (escaped_output): Likewise.
+ (user_actions_output): Coalesce two printfs.
+ * src/parse-gram.y (%printer): Prefer putc and puts to printf.
+ * src/reduce.c (reduce_print): Likewise.
+ * src/state.c (state_rule_look_ahead_tokens_print): Likewise.
+ * src/system.h: Include unlocked-io.h rather than stdio.h.
+
+ * data/lalr1.cc: Don't put an unmatched ' in a dnl comment, as
+ this confuses xgettext.
+
+2005-10-02 Akim Demaille <akim@epita.fr>
+
+ * bootstrap (gnulib_modules): Add strverscmp.
+ * lib/.cvsignore: Add strverscmp.c, strverscmp.h.
+ * m4/.cvsignore: Add strverscmp.m4.
+ * src/parse-gram.y (%require): New token, new rule.
+ (version_check): New.
+ * src/scan-gram.l (%require): Adjust.
+ * tests/input.at (AT_REQUIRE): New.
+ Use it.
+ * doc/bison.texinfo (Require Decl): New.
+ (Calc++ Parser): Use %require.
+
+2005-10-02 Akim Demaille <akim@epita.fr>
+
+ * data/location.cc: New.
+
+2005-10-02 Paul Eggert <eggert@cs.ucla.edu>,
+ Akim Demaille <akim@epita.fr>
+
+ Make sure -odir/foo.cc creates dir/location.hh etc.
+ * src/files.h (spec_outfile, parser_file_name, spec_name_prefix)
+ (spec_file_prefix, spec_verbose_file, spec_graph_file)
+ (spec_defines_file): Now const.
+ (dir_prefix): New.
+ (short_base_name): Remove.
+ * src/files.c: Adjust.
+ (dirname.h): Include.
+ (base_name): Don't prototype it.
+ (finput): Remove, duplicates gram_in.
+ (full_base_name, short_base_name): Replace by...
+ (all_but_ext, all_but_tab_ext): these.
+ (compute_base_names): Rename as...
+ (compute_file_name_parts): this.
+ Update to compute the new variables, including dir_prefix.
+ Adjust dependencies.
+ * src/output.c (prepare): Output them.
+ * src/reader.c: Adjust to use gram_in, not finput.
+ * src/scan-skel.l (@dir_prefix@): New.
+
+2005-10-02 Juan Manuel Guerrero <juan.guerrero@gmx.de>
+
+ * lib/subpipe.c: New function end_of_output_subpipe() added
+ to allow support for non-posix systems. This is a no-op function
+ for posix systems.
+
+ * lib/subpipe.h: New function end_of_output_subpipe() added
+ to allow support for non-posix systems. This is a no-op function
+ for posix systems.
+
+ * src/output.c (output_skeleton): Use end_of_output_subpipe() to
+ handle the lack of pipe/fork functionality on non-posix systems.
+
+ * djgpp/Makefile.maint: DJGPP specific file.
+
+ * djgpp/README.in: DJGPP specific file.
+
+ * djgpp/config.bat: DJGPP specific configuration file.
+
+ * djgpp/config.sed: DJGPP specific configuration file.
+
+ * djgpp/config.site: DJGPP specific configuration file.
+
+ * djgpp/config_h.sed: DJGPP specific configuration file.
+
+ * djgpp/subpipe.c: DJGPP specific replacement file for lib/subpipe.c.
+
+ * djgpp/subpipe.h: DJGPP specific replacement file for lib/subpipe.h.
+
+2005-10-02 Akim Demaille <akim@epita.fr>
+
+ * data/location.cc: New, extract from...
+ * data/lalr1.cc: here.
+ (location.hh): Include it after the user prologue, in case the
+ filename type is defined by the user.
+ Forward declation location and position before the pre-prologue.
+ (yyresult_): Rename as...
+ (yyresult): this, it's a local variable, not an attribute.
+ * data/Makefile.am (dist_pkgdata_DATA): Adjust.
+
+2005-10-01 Akim Demaille <akim@epita.fr>
+
+ * examples/extexi: Restore the #line generation.
+
+2005-09-30 Akim Demaille <akim@epita.fr>,
+ Alexandre Duret-Lutz <adl@gnu.org>
+
+ Move the token type and YYSTYPE in the parser class.
+ * data/lalr1.cc (stack.hh, location.hh): Include earlier.
+ (parser::token): New, from the moved free definition of tokens.
+ (parser::semantic_value): Now a full definition instead of an
+ indirection to YYSTYPE.
+ (b4_post_prologue): No longer included in the header file, but
+ in the implementation file.
+ * doc/bison.texi (C+ Language Interface): Update.
+ * src/parse-gram.y: Support unary %define.
+ * tests/actions.at: Define global_tokens_and_yystype for backward
+ compatibility until we update the tests.
+ * tests/calc.at: Idem.
+ (first_line, first_column, last_line, last_column): Define for lalr1.cc
+ to simplify the code.
+
+2005-09-29 Paul Eggert <eggert@cs.ucla.edu>
+
+ Port to SunOS 4.1.4, which lacks strtoul and strerror.
+ Ah, the good old days! Problem reported by Peter Klein.
+ * bootstrap (gnulib_modules): Add strerror, strtoul.
+ * lib/.cvsignore: Add strerror.c, strtol.c, strtoul.c
+ * m4/.cvsignore: Add strerror.m4, strtol.m4, strtoul.m4.
+
+2005-09-29 Akim Demaille <akim@epita.fr>
+
+ * data/c.m4 (b4_error_verbose_if): New.
+ * data/lalr1.cc: Use it.
+ (YYERROR_VERBOSE_IF): Remove.
+ (yyn_, yylen_, yystate_, yynerrs_, yyerrstatus_): Remove as
+ parser members, replaced by...
+ (yyn, yylen, yystate, yynerss, yyerrstatus): these parser::parse
+ local variables.
+ (yysyntax_error_): Takes the state number as argument.
+ (yyreduce_print_): Use the argument yyrule, not the former
+ attribute yyn_.
+
+2005-09-26 Paul Eggert <eggert@cs.ucla.edu>
+
+ * bootstrap (gnulib_modules): Add verify.
+ * lib/.cvsignore: Add verify.h.
+ * src/getargs.c: Use ARGMATCH_VERIFY rather than verify.
+ * src/system.h (verify): Remove.
+ Include verify.h instead.
+ * src/tables.c (tables_generate): Use new API for 'verify'.
+
+2005-09-21 Paul Eggert <eggert@cs.ucla.edu>
+
+ * tests/local.at (_AT_BISON_OPTION_PUSHDEFS): Do not use
+ local variables whose names begin with 'yy'.
+ * tests/calc.at (_AT_DATA_CALC_Y): Likewise.
+ Trivial changes from Joel E. Denny.
+
+ * bootstrap (gnulib_modules): Remove alloca. Bison doesn't need
+ it itself.
+ * src/main.c (main) [C_ALLOCA]: Don't flush alloca'ed memory; we
+ don't use alloca any more.
+
+ * data/yacc.c [YYSTACK_USE_ALLOCA && !defined __GNUC__ && ! defined
+ __BUILTIN_VA_ARG_INCR && ! defined _AIX && ! defined _MSC_VER &&
+ defined _ALLOCA_H]: Don't include <stdlib.h>; not needed in this case.
+ * tests/torture.at (Exploding the Stack Size with Alloca): Adjust
+ to match yacc.c, to test more hosts.
+
+2005-09-20 Paul Eggert <eggert@cs.ucla.edu>
+
+ * data/yacc.c (YYSIZE_T): Reindent to make it clearer. This
+ doesn't affect behavior.
+ (YYSTACK_ALLOC) [YYSTACK_USE_ALLOCA]: Improve support for
+ Solaris, AIX, MSC.
+ (_STDLIB_H): Renamed from YYINCLUDED_STDLIB_H. All uses changed.
+ This works a bit better with glibc, if user code has already included
+ stdlib.h.
+ * doc/bison.texinfo (Bison Parser): Document that users can't
+ arbitrarily use malloc and free for other purposes. Document
+ that <alloca.h> and <malloc.h> might be included.
+ (Table of Symbols): Under YYSTACK_USE_ALLOCA, Don't claim that the
+ user must declare alloca.
+
+ * HACKING (release): Forwarn the Translation Project about
+ stable releses.
+
+2005-09-20 Akim Demaille <akim@epita.fr>
+
+ * data/glr.c: Use b4_token_enums, not b4_token_enums_defines.
+
+2005-09-19 Paul Eggert <eggert@cs.ucla.edu>
+
+ * data/yacc.c (YYSIZE_MAXIMUM): New macro.
+ (YYSTACK_ALLOC_MAXIMUM): Use it.
+ (yysyntax_error): New function.
+ (yyparse) [YYERROR_VERBOSE]: Don't leak memory indefinitely if
+ multiple syntax errors are reported, and alloca is being used.
+ Instead, reallocate buffers twice as big each time, so that
+ we waste at most half the allocated memory. Start with a small
+ (128-byte) buffer that will suffice in most cases anyway.
+ Use yysyntax_error to do most of the work.
+
+ * doc/bison.texinfo (Error Reporting, Table of Symbols):
+ yynerrs is the number of errors reported, not the number of
+ errors encountered.
+
+ * tests/glr-regression.at (Duplicated user destructor for lookahead):
+ Mark it as expected to fail.
+ Cast result of malloc; problem reported by twlevo@xs4all.nl.
+ * tests/actions.at, tests/calc.at, tests/glr-regression.at:
+ Don't start user-code symbols with "yy", to avoid name space problems.
+
+2005-09-19 Akim Demaille <akim@epita.fr>
+
+ Remove the traits, failed experiment.
+ It never proved useful, and anyway because of the current
+ definition, it was not possible to have several specialization of
+ this traits, making it useless.
+ * data/lalr1.cc (yy:traits): Remove.
+ Inline its definitions in the parser class.
+
+2005-09-19 Akim Demaille <akim@epita.fr>
+
+ * tests/atlocal.in (LIBS): Pass INTLLIBS to address failures on at
+ least Mac OSX with a /usr/local install of gettext.
+
+2005-09-19 Akim Demaille <akim@epita.fr>
+
+ * data/lalr1.cc (yyparse): Rename yylooka and yyilooka as yychar
+ and yytoken for similarity with the other skeletons.
+
+2005-09-19 Akim Demaille <akim@epita.fr>
+
+ * NEWS, configure.ac: Bump to 2.1a.
+
+2005-09-16 Paul Eggert <eggert@cs.ucla.edu>
+
+ * NEWS: Version 2.1.
+
+ * NEWS: Remove notice of yytname change, since it was never in an
+ official release.
+ * data/glr.c (yydestroyGLRState): Rename local var to avoid shadowing
+ diagnostic.
+ * src/output.c (prepare): Likewise.
+ * data/lalr1.cc (YYERROR_VERBOSE_IF): New macro.
+ (yysyntax_error_): Use it to avoid GCC warning when YYERROR_VERBOSE
+ is not defined. This is an awful hack, but it's enough for now.
+ All callers changed.
+ * tests/glr-regression-at (make_value): Args are const pointers now,
+ to avoid GCC warning.
+ (Duplicated user destructor for lookahead): New test. Currently
+ skipped. It fails on my host but I'm not sure it'll always fail.
+
+2005-09-16 Akim Demaille <akim@epita.fr>
* src/symtab.h (struct symbol): Declare the printer and destructor
as const, to avoid accidental calls to free.
(symbol_destructor_set, symbol_printer_set): Adjust.
* src/symtab.c: Adjust.
-2005-09-16 Akim <akim@epita.fr>
+2005-09-16 Akim
Demaille <akim@epita.fr>
* data/c.m4 (b4_token_enums): New.
(b4_token_defines): Rename as...
Reported by Charles-Henry de Boysson.
* tests/calc.at (_AT_CHECK_CALC, _AT_CHECK_CALC_ERROR): Don't
- check the length of the traces when %glr.
+ check the length of the traces when %glr.
(_AT_CHECK_CALC_ERROR): Also skip `^Stack' lines, coming from
GLR's traces.
(AT_CHECK_CALC_LALR, AT_CHECK_CALC_GLR): New.
struct lbitset_struct, struct bitset_stats_struct): New types.
All uses of struct bitset_struct changed to union bitset_union,
etc.
- * lib/abitset.c (struct abitset_struct, abitset,
+ * lib/abitset.c (struct abitset_struct, abitset,
struct bitset_struct): Remove.
* lib/bitset_stats.c (struct bitset_stats_struct, bitset_stats,
struct bitset_struct): Remove.
2002-06-28 Akim Demaille <akim@epita.fr>
- * src/reader.h: s/grammer_current_rule_merge_set/grammar_.../.
+ * src/reader.h: s/grammer_current_rule_merge_set/grammar_.../.
* src/conflicts.c (conflicts_total_count): `i' is unsigned, to
pacify GCC.
* src/output.c (save_row): Initialize all the variables to pacify GCC.
* src/getargs.c:
* src/symlist.h: Add dprec and merger fields to symbol_list_s.
- * src/symlist.c (symbol_list_new): Initialize dprec and merger fields.
+ * src/symlist.c (symbol_list_new): Initialize dprec and merger fields.
Originally 2002-06-16 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
2002-01-20 Marc Autret <marc@gnu.org>
- * src/system.h: Need to define __attribute__ away for non-GCC
- compilers as well (i.e. the vendor C compiler).
+ * src/system.h: Need to define __attribute__ away for non-GCC
+ compilers as well (i.e., the vendor C compiler).
Suggested by Albert Chin-A-Young.
2002-01-11 Tim Van Holder <tim.van.holder@pandora.be>
* src/warshall.c (bitmatrix_print): New.
(TC): Use it.
- When performing a transitive closure R(i, j) && R(j, k) => R(i, k),
+ When performing a transitive closure R(i, j) && R(j, k) => R(i, k),
j must be the outer loop.
* tests/regression.at (Broken Closure): New.
* src/output.c (output): Delete call to reader_output_yylsp.
* src/reader.c (reader): Likewise.
- * src/reader.h: Delete declaration of reader_output_yylsp.
+ * src/reader.h: Delete declaration of reader_output_yylsp.
2001-09-02 Marc Autret <autret_m@epita.fr>
projects / bison.git / blobdiff