+2001-01-18 Akim Demaille <akim@epita.fr>
+
+ Since we now use obstacks, more % directives can be enabled.
+
+ * src/lex.c (percent_table): Also accept `%yacc',
+ `%fixed_output_files', `%defines', `%no_parser', `%verbose', and
+ `%debug'.
+ Handle the actions for `%semantic_parser' and `%pure_parser' here,
+ instead of returning a token.
+ * src/lex.h (SEMANTIC_PARSER, PURE_PARSER): Remove, unused.
+ * src/reader.c (read_declarations): Adjust.
+ * src/files.c (open_files): Don't call `compute_base_names', don't
+ compute `attrsfile' since they depend upon data which might be
+ *in* the input file now.
+ (output_files): Do it here.
+ * src/output.c (output_headers): Document the fact that this patch
+ introduces a guaranteed SEGV for semantic parsers.
+ * doc/bison.texinfo: Document them.
+ * tests/suite.at: Exercise these %options.
+
+2000-12-20 Akim Demaille <akim@epita.fr>
+
+ Also handle the output file (--verbose) with obstacks.
+
+ * files.c (foutput): Remove.
+ (output_obstack): New.
+ Adjust all dependencies.
+ * src/conflicts.c: Return a string.
+ * src/system.h (obstack_grow_string): Rename as...
+ (obstack_sgrow): this. Be ready to work with non literals.
+ (obstack_fgrow4): New.
+
+2000-12-20 Akim Demaille <akim@epita.fr>
+
+ * src/files.c (open_files): Fix the computation of short_base_name
+ in the case of `-o foo.tab.c'.
+
+2000-12-20 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c (copy_string, copy_comment, copy_comment2, copy_at)
+ (copy_dollar): Now that everything uses obstacks, get rid of the
+ FILE * parameters.
+
+2000-12-20 Akim Demaille <akim@epita.fr>
+
+ * src/files.c (open_files): Actually the `.output' file is based
+ on the short_base_name, not base_name.
+ * tests/suite.at (Checking output file names): Adjust.
+
+2000-12-20 Akim Demaille <akim@epita.fr>
+
+ * src/bison.s1: Remove, we now use directly...
+ * src/bison.simple: this.
+ * src/Makefile.am: Use pkgdata instead of data.
+
+2000-12-20 Akim Demaille <akim@epita.fr>
+
+ * src/files.c (guard_obstack): New.
+ (open_files): Initialize it.
+ (output_files): Dump it...
+ * src/files.h: Export it.
+ * src/reader.c (copy_guard): Use it.
+
+2000-12-19 Akim Demaille <akim@epita.fr>
+
+ * src/files.c (outfile, defsfile, actfile): Removed as global
+ vars.
+ (open_files): Don't compute them.
+ (output_files): Adjust.
+ (base_name, short_base_name): Be global.
+ Adjust dependencies.
+
+2000-12-19 Akim Demaille <akim@epita.fr>
+
+ * src/files.c (strsuffix): New.
+ (stringappend): Be just like strcat but allocate.
+ (base_names): Eve out from open_files.
+ Try to simplify the rather hairy computation of base_name and
+ short_base_name.
+ (open_files): Use it.
+ * tests/suite.at (Checking output file names): New test.
+
+2000-12-19 Akim Demaille <akim@epita.fr>
+
+ * src/system.h (obstack_grow_literal_string): Rename as...
+ (obstack_grow_string): this.
+ * src/output.c (output_parser): Recognize `%% actions' instead of
+ `$'.
+ * src/bison.s1: s/$/%% actions/.
+ * src/bison.hairy: Likewise.
+
+2000-12-19 Akim Demaille <akim@epita.fr>
+
+ * src/output.c (output_parser): Compute the `#line' lines when
+ there are.
+ * src/Makefile.am (bison.simple): Be a simple copy of bison.s1.
+ Suggested by Hans Aberg.
+
+2000-12-19 Akim Demaille <akim@epita.fr>
+
+ Let the handling of the skeleton files be local to the procedures
+ that use it.
+
+ * src/files.c (xfopen, xfclose, skeleton_find, guardfile): No
+ longer static.
+ (fparser, open_extra_files): Remove.
+ (open_files, output_files): Don't take care of fparser.
+ * src/files.h: Adjust.
+ * src/output.c (output_parser): Open and close the file to the
+ skeleton.
+ * src/reader.c (read_declarations): When %semantic_parser, open
+ fguard.
+
+2000-12-19 Akim Demaille <akim@epita.fr>
+
+ * src/file.h (BISON_SIMPLE, BISON_HAIRY): Move from here...
+ * src/system.h (BISON_SIMPLE, BISON_HAIRY): ... to here.
+
+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
+ former CPP macros `RIGHT_ASSOC', `LEFT_ASSOC' and `NON_ASSOC' with
+ `right_assoc', `left_assoc' and `non_assoc'.
+ Adjust all dependencies.
+ * src/reader.c: Formatting changes.
+ (LTYPESTR): Don't define it, use it as a literal in
+ `reader_output_yylsp'.
+ * src/symtab.h (symbol_class): New enum type which replaces the
+ former CPP macros `SUNKNOWN', `STOKEN and `SNTERM' with
+ `sunknown', `stoken and `snterm'.
+
+2000-10-02 Akim Demaille <akim@epita.fr>
+
+ * src/getargs.c (fixed_outfiles): Rename as...
+ (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
+ Bison's `allocate.c' and `alloc.h'. This patch was surprisingly
+ difficult and introduced a lot of core dump. It turns out that
+ Bison used an implementation of `xmalloc' based on `calloc', and
+ at various places it does depend upon the initialization to 0. I
+ have not tried to isolate the pertinent places, and all the former
+ calls to Bison's `xmalloc' are now using `XCALLOC'. Someday,
+ someone should address this issue.
+
+ * src/allocate.c, src/alloc.h, m4/bison-decl.m4: Remove.
+ * lib/xmalloc.c, lib/xalloc.h, m4/malloc.m4, m4/realloc.m4: New
+ files.
+ Adjust dependencies.
+ * src/warshall.h: New file.
+ Propagate.
+
+2000-10-02 Akim Demaille <akim@epita.fr>
+
+ Various anti-`extern in *.c' changes.
+
+ * src/system.h: Include `assert.h'.
+
+2000-10-02 Akim Demaille <akim@epita.fr>
+
+ * src/state.h (nstates, final_state, first_state, first_shift)
+ (first_reduction): Move their exportation from here...
+ * src/LR0.h: to here.
+ Adjust dependencies.
+ * src/getargs.c (statisticsflag): New variable.
+ Add support for `--statistics'.
+ Adjust dependencies.
+
+ 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/print.h: New file.
+ Propagate its use.
+ * src/print.c: Formatting and ordering changes.
+ (verbose, terse): Replace with...
+ (print_results): this new function.
+ Adjust dependencies.
+
+2000-10-02 Akim Demaille <akim@epita.fr>
+
+ * src/conflicts.c (conflict_report): New function.
+ (conflict_log, verbose_conflict_log): Replace with...
+ (print_conflicts): this function.
+ Adjust dependencies.
+ * 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/reduce.h: New file.
+ Propagate its inclusion.
+ * src/reduce.c: Topological sort and other formatting changes.
+ (bool, TRUE, FALSE): Move their definition to...
+ * src/system.h: here.
+
+2000-10-02 Akim Demaille <akim@epita.fr>
+
+ * src/files.c: Formatting changes.
+ (tryopen, tryclose, openfiles): Rename as...
+ (xfopen, xfclose, open_files): this.
+ (stringappend): static.
+ * 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.
+ Propagate its use instead of tedious list of `extern' and
+ prototypes.
+ * 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.
+ * src/reader.c: Adjust.
+ * src/lex.c: Formatting changes.
+ (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/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
+ defined as a `int[]' in `reader.c'. For consistency with the
+ other output tables, `user_toknums' is now defined as a table of
+ shorts.
+
+ * src/reader.c (user_toknums): Be a short table instead of an int
+ table.
+ Adjust dependencies.
+
+ Factor the short table outputs.
+
+ * src/output.c (output_short_table): New function.
+ * src/output.c (output_gram, output_stos, output_rule_data)
+ (output_base, output_table, output_check): Use it.
+
+2000-10-02 Akim Demaille <akim@epita.fr>
+
+ * src/output.c (output): Topological sort of the functions, in
+ order to get rid of the `static' prototypes.
+ No longer use `register'.
+ * src/output.h: New file.
+ Propagate its inclusion in files explicitly prototyping functions
+ from output.c.
+
+2000-09-21 Akim Demaille <akim@epita.fr>
+
+ * src/atgeneral.m4: Update from Autoconf.
+
+2000-09-21 Akim Demaille <akim@epita.fr>
+
+ * src/closure.h: New file.
+ * src/closure.c: Formatting changes, topological sort over the
+ functions, use of closure.h.
+ (initialize_closure, finalize_closure): Rename as...
+ (new_closure, free_closure): these. Adjust dependencies.
+ * src/LR0.c: Formatting changes, topological sort, use of
+ cloture.h.
+ (initialize_states): Rename as...
+ (new_states): this.
+ * src/Makefile.am (noinst_HEADERS): Adjust.
+
2000-09-20 Akim Demaille <akim@epita.fr>
* src/acconfig.h: Don't protect config.h against multiple
projects / bison.git / blobdiff