]> git.saurik.com Git - bison.git/blobdiff - ChangeLog
* src/files.c (open_files): Yipee! We no longer need all the code
[bison.git] / ChangeLog
index 3c0195361c2cc4fcbf05f5be58f9a33d5e86f3a6..540f32507d4353d06ef95f7317a4a0884ff0a7b4 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,350 @@
+2000-12-19  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c (open_files): Yipee!  We no longer need all the code
+       looking for `/tmp' since we have no tmp file.
+
+2000-12-19  Akim Demaille  <akim@epita.fr>
+
+       * src/system.h (EXT_TAB, EXT_OUTPUT, EXT_STYPE_H, EXT_GUARD_C):
+       New macros.
+       * src/files.c (open_files): Less dependency on MSDOS etc.
+
+2000-12-14  Akim Demaille  <akim@epita.fr>
+
+       * src/bison.s1 (YYLLOC_DEFAULT): New macro.
+       Provide a default definition.
+       Use it when executing the default @ action.
+       * src/reader.c (reader_output_yylsp): No longer include
+       `timestamp' and `text' in the default YYLTYPE.
+
+2000-12-12  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (copy_definition, parse_union_decl, copy_action)
+       (copy_guard): Quote the file names.
+       Reported by Laurent Mascherpa.
+
+2000-12-12  Akim Demaille  <akim@epita.fr>
+
+       * src/output.c (output_headers, output_program, output): Be sure
+       to escape special characters when outputting filenames.
+       (ACTSTR_PROLOGUE, ACTSTR_EPILOGUE): Remove.
+       (output_headers): Don't depend on them, Use ACTSTR.
+
+2000-11-17  Akim Demaille  <akim@epita.fr>
+
+       * lib/obstack.h: Formatting changes.
+       (obstack_grow, obstack_grow0): Don't cast WHERE at all: it
+       prevents type checking.
+       (obstack_ptr_grow, obstack_ptr_grow_fast): When assigning, don't
+       cast the value to (void *): assigning a `foo *' to a `void *'
+       variable is valid.
+       (obstack_int_grow, obstack_int_grow_fast): Don't cast AINT to int.
+       * src/reader.c (parse_union_decl): Typo: use obstack_1grow to
+       append characters.
+
+2000-11-17  Akim Demaille  <akim@epita.fr>
+
+       * tests/Makefile.am (suite.m4, regression.m4, calc.m4): Rename
+       as...
+       (suite.m4, regression.m4, calc.m4): these.
+       * tests/atgeneral.m4: Update from CVS Autoconf.
+
+2000-11-17  Akim Demaille  <akim@epita.fr>
+
+       * tests/regression.m4 (%union and --defines): New test,
+       demonstrating a current bug in the obstack implementation.
+
+2000-11-17  Akim Demaille  <akim@epita.fr>
+
+       * src/bison.s1 (_YY_DECL_VARIABLES, YY_DECL_VARIABLES): New
+       macros.
+       Use them to declare the variables which are global or local to
+       `yyparse'.
+
+2000-11-17  Akim Demaille  <akim@epita.fr>
+
+       * acconfig.h: Remove, no longer used.
+
+2000-11-07  Akim Demaille  <akim@epita.fr>
+
+       * src: s/Copyright (C)/Copyright/g.
+
+2000-11-07  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (reader): #define YYLSP_NEEDED to 1 instead of just
+       defining.
+       * src/bison.s1: s/#ifdef YYLSP_NEEDED/#if YYLSP_NEEDED/.
+
+2000-11-07  Akim Demaille  <akim@epita.fr>
+
+       * src/bison.s1 (YYLEX): Use #if instead of #ifdef.
+       Merge in a single CPP if/else.
+
+2000-11-07  Akim Demaille  <akim@epita.fr>
+
+       * src/output.c (output): Remove useless variables.
+       * lib/obstack.c (obstack_grow, obstack_grow0): Rename the second
+       argument `data' for consistency with the prototypes.
+       Qualify it `const'.
+       (obstack_copy, obstack_copy0): Rename the second argument as
+       `address' for consistency.  Qualify it `const'.
+       * lib/obstack.h (obstack_copy, obstack_copy0, obstack_grow)
+       (obstack_grow0, obstack_ptr_grow, obstack_ptr_grow_fast): Qualify
+       `const' their input argument (`data' or `address').
+       Adjust the corresponding macros to include `const' in casts.
+
+2000-11-03  Akim Demaille  <akim@epita.fr>
+
+       * src/Makefile.am (INCLUDES): s/PFILE/BISON_SIMPLE/.
+       s/PFILE1/BISON_HAIRY/.
+       Adjust dependencies.
+
+2000-11-03  Akim Demaille  <akim@epita.fr>
+
+       For some reason, this was not applied.
+
+       * src/files.c [VMS]: No longer include `ssdef.h', no longer define
+       `unlink': it's no longer used.
+
+2000-11-03  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c (skeleton_find): New function, eved out of...
+       (open_files, open_extra_files): here.
+
+2000-11-03  Akim Demaille  <akim@epita.fr>
+
+       Don't use `atexit'.
+
+       * src/files.c (obstack_save): New function.
+       (done): Rename as...
+       (output_files): this.
+       Use `obstack_save'.
+       * src/main.c (main): Don't use `atexit' to register `done', since
+       it no longer has to remove tmp files, just call `output_files'
+       when there are no errors.
+
+2000-11-02  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c [VMS]: No longer include `ssdef.h', no longer define
+       `unlink': it's no longer used.
+       * src/files.h: Formatting changes.
+
+2000-11-02  Akim Demaille  <akim@epita.fr>
+
+       Remove the last uses of mktemp and unlink/delete.
+
+       * src/files.c (fdefines, ftable): Removed.
+       (defines_ostack, table_obstack): New.
+       Adjust dependencies of the former into uses of the latter.
+       * src/output.c (output_short_or_char_table, output_short_table):
+       Convert to using obstacks.
+       * src/reader.c (copy_comment2): Accept one FILE * and two
+       obstacks.
+       (output_token_defines, reader_output_yylsp): Use obstacks.
+       * src/system.h (obstack_fgrow3): New.
+
+2000-11-01  Akim Demaille  <akim@epita.fr>
+
+       Change each use of `fattrs' into a use of `attrs_obstack'.
+
+       * src/reader.c (copy_at): Typo: s/yylloc/yyloc/.
+       * src/files.c (fattrs): Remove.
+       (attrs_obstack): New.
+       Adjust all dependencies.
+       (done): If SEMANTIC_PARSER, dump attrs_obstack into attrsfile.
+
+2000-11-01  Akim Demaille  <akim@epita.fr>
+
+       Introduce obstacks.
+       Change each use of `faction' into a use of `action_obstack'.
+
+       * lib/obstack.h, lib/obstack.c: New files.
+       * src/files.c (faction): Remove.
+       (action_obstack): New.
+       Adjust all dependencies.
+
+2000-10-20  Akim Demaille  <akim@epita.fr>
+
+       * lib/quote.h (PARAMS): New macro.  Use it.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * src/output.c (output_short_or_char_table): New function.
+       (output_short_table, output_token_translations): Use it.
+       (goto_actions): Use output_short_table.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * src/symtab.c (bucket_new): New function.
+       (getsym): Use it.
+
+       * src/output.c (output_short_table): New argument to display the
+       comment associated with the table.
+       Adjust dependencies.
+       (output_gram): Use it.
+       (output_rule_data): Nicer output layout for YYTNAME.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * src/lex.c (read_typename): New function.
+       (lex): Use it.
+       * src/reader.c (copy_dollar): Likewise.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (copy_comment2): Expect the input stream to be on
+       the `/' which is suspected to open a comment, instead of being
+       called after `//' or `/*' was read.
+       (copy_comment, copy_definition, parse_union_decl, copy_action)
+       (copy_guard): Adjust.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (parse_expect_decl): Use `skip_white_space' and
+       `read_signed_integer'.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (copy_dollar): New function.
+       (copy_guard, copy_action): Use it.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * lib/quote.h, lib/quote.c, lib/quotearg.h, lib/quotearg.c:
+       * m4/prereq.m4, m4/c-bs-a.m4, m4/mbstate.m4:
+       New files, from Fileutils 4.0.27.
+       * src/main.c (printable_version): Remove.
+       * src/lex.c, src/reader.c: Use `quote'.
+
+2000-10-04  Akim Demaille  <akim@epita.fr>
+
+       * lib/error.c, lib/error.h: New files, needed by xmalloc.c.
+
+2000-10-04  Akim Demaille  <akim@epita.fr>
+
+       * doc/bison.texinfo: Various typos spotted by Neil Booth.
+
+2000-10-04  Akim Demaille  <akim@epita.fr>
+
+       When a literal string is used to define two different tokens,
+       `bison -v' segfaults.
+       Reported by Piotr Gackiewicz, and fixed by Neil Booth.
+
+       * tests/regression.m4: New file.
+       Include the core of the sample provided by Piotr Gackiewicz.
+       * src/reader.c (parse_token_decl): Diagnose bad cases, and proceed
+       properly.
+
+2000-10-04  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (parse_expect_decl): Keep `count' within the size
+       of `buffer'.
+       From Neil Booth.
+
+2000-10-02  Paul Eggert  <eggert@twinsun.com>
+
+       * bison.s1 (yyparse): Assign the default value
+       unconditionally, to avoid a GCC warning and make the parser a
+       tad smaller.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/getargs.c (getargs): Don't dump `--help' on unrecognized
+       options.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/derives.c, src/print.c, src/reduce.c: To ease the
+       translation, move some `\n' out of the translated strings.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       The location tracking mechanism is precious for parse error
+       messages.  Nevertheless, it is enabled only when `@n' is used in
+       the grammar, which is a different issue (you can use it in error
+       message, but not in the grammar per se).  Therefore, there should
+       be another means to enable it.
+
+       * src/getargs.c (getargs): Support `--locations'.
+       (usage): Report it.
+       * src/getargs.h (locationsflag): Export it.
+       * src/lex.c (percent_table): Support `%locations'.
+       * src/reader.c (yylsp_needed): Remove this variable, now replaced
+       with `locationsflag'.
+       * doc/bison.texinfo: Document `--locations' and `%locations'.
+       Sort the options.
+       * tests/calc.m4: Test it.
+
+       For regularity of the names, replace each
+       (nolineflag, toknumflag, rawtokenumflag, noparserflag): with...
+       (no_lineflag, token_tableflag, rawflag, no_parserflag): this.
+       In addition replace each `flag' with `_flag'.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       Also test parse error messages, including with YYERROR_VERBOSE.
+
+       * tests/calc.m4 (calc.y): Add support for `exp = exp' (non
+       associative).
+       Use it to check the computations.
+       Use it to check `nonassoc' is honored.
+       (AT_DATA_CALC_Y): Equip `calc.y' with YYERROR_VERBOSE when passed
+       `--yyerror-verbose'.
+       (_AT_CHECK_CALC): Adjust to this option.
+       (_AT_CHECK_CALC_ERROR): New macro to check parse error messages.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       Test also `--verbose', `--defines' and `--name-prefix'.  Testing
+       the latter demonstrates a flaw in the handling of non debugging
+       parsers introduced by myself on 2000-03-16: `#define yydebug 0'
+       was used in order to simplify:
+
+       #if YYDEBUG
+       if (yydebug)
+       {
+       ...
+       }
+       #endif
+
+       into
+
+       if (yydebug)
+       {
+       ...
+       }
+
+       unfortunately this leads to a CPP conflict when
+       `--name-prefix=foo' is used since it produces `#define yydebug
+       foodebug'.
+
+       * src/bison.s1 [!YYDEBUG]: Do not define yydebug.
+       (YYDPRINTF): New macro.
+       Spread its use.
+       * tests/calc.m4 (AT_CHECK_CALC): Do require a title, build it from
+       the bison options.
+       Also test `--verbose', `--defines' and `--name-prefix'.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       Improve the readability of the produced parsers.
+
+       * src/bison.s1: Formatting changes.
+       Improve the comment related to the `$' mark.
+       (yydefault): Don't fall through to `yyresume': `goto' there.
+       * src/output.c (output_parser): When the `$' is met, skip the end
+       of its line.
+       New variable, `number_of_dollar_signs', to check there's exactly
+       one `$' in the parser skeleton.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * lib/xstrdup.c: New file, from the fileutils.
+       * src/reader.c (parse_token_decl, get_type_name, parse_type_decl)
+       (parse_assoc_decl, parse_thong_decl, get_type): Use `xstrdup'
+       instead of strlen + xmalloc + strcpy.
+       * src/symtab.c (copys): Remove, use xstrdup instead.
+
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/gram.h (associativity): New enum type which replaces the
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/gram.h (associativity): New enum type which replaces the
        (yaccflag): for consistency and accuracy.
        Adjust dependencies.
 
        (yaccflag): for consistency and accuracy.
        Adjust dependencies.
 
-       
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        Use the more standard files `xalloc.h' and `xmalloc.c' instead of
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        Use the more standard files `xalloc.h' and `xmalloc.c' instead of
 
        * src/system.h: Include `assert.h'.
 
 
        * src/system.h: Include `assert.h'.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/state.h (nstates, final_state, first_state, first_shift)
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/state.h (nstates, final_state, first_state, first_shift)
 
        Remove a lot of now useless `extern' statements in most files.
 
 
        Remove a lot of now useless `extern' statements in most files.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/LR0.h: New file.
        Propagate its use.
 
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/LR0.h: New file.
        Propagate its use.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/print.h: New file.
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/print.h: New file.
        (print_results): this new function.
        Adjust dependencies.
 
        (print_results): this new function.
        Adjust dependencies.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/conflicts.c (conflict_report): New function.
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/conflicts.c (conflict_report): New function.
        * src/conflicts.h: New file.
        Propagate its inclusion.
 
        * src/conflicts.h: New file.
        Propagate its inclusion.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/nullable.h: New file.
        Propagate its inclusion.
        * src/nullable.c: Formatting changes.
 
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/nullable.h: New file.
        Propagate its inclusion.
        * src/nullable.c: Formatting changes.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/reduce.h: New file.
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/reduce.h: New file.
        (bool, TRUE, FALSE): Move their definition to...
        * src/system.h: here.
 
        (bool, TRUE, FALSE): Move their definition to...
        * src/system.h: here.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/files.c: Formatting changes.
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/files.c: Formatting changes.
        * src/files.h: Complete the list of exported symbols.
        Propagate its use.
 
        * src/files.h: Complete the list of exported symbols.
        Propagate its use.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/reader.h: New file.
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/reader.h: New file.
        * src/reader.c: Formatting changes, topological sort,
        s/register//.
 
        * src/reader.c: Formatting changes, topological sort,
        s/register//.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/lex.h: Prototype `lex.c' exported functions.
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/lex.h: Prototype `lex.c' exported functions.
        (safegetc): Rename as...
        (xgetc): this.
 
        (safegetc): Rename as...
        (xgetc): this.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/lalr.h: New file.
        Propagate its inclusion instead of prototypes and `extern'.
        * src/lalr.c: Formatting changes, topological sorting etc.
 
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/lalr.h: New file.
        Propagate its inclusion instead of prototypes and `extern'.
        * src/lalr.c: Formatting changes, topological sorting etc.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/output.c (token_actions): Introduce a temporary array,
        YYDEFACT, that makes it possible for this function to use
        output_short_table.
 
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/output.c (token_actions): Introduce a temporary array,
        YYDEFACT, that makes it possible for this function to use
        output_short_table.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        `user_toknums' is output as a `short[]' in `output.c', while it is
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        `user_toknums' is output as a `short[]' in `output.c', while it is