X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/090c5ebfa813d77aa5f57e6e249ac1cfbc1d36ad..459ff06402112f742c4168320048d9bc4ccfb924:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index b09ff96d..b52b2ef8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,486 @@
+2001-08-08  Marc Autret  <autret_m@epita.fr>
+
+	* doc/bison.texinfo: Change @samp{$<@dots{}>} to 
+	@samp{$<@dots{}>@var{n}} in Section Actions in Mid-Rule.
+	Reported by Fabrice Bauzac.
+	
+2001-08-08  Marc Autret  <autret_m@epita.fr>
+
+	* ChangeLog: Adjust.
+
+2001-08-08  Marc Autret  <autret_m@epita.fr>
+
+	* src/vcg_default.h: Use NULL instead of 0 to initialize pointers.
+	* src/vcg.c (output_node): Fix.
+	* src/vcg.h: Cleanup.
+	* src/print_graph.c: Add comments.
+	(node_output_size): New global variable. Simplify the formatting of 
+	the VCG graph output.
+	(print_actions): Unused code is now used. It notifies the final state 
+	and no action states in the VCG graph. It also give the reduce actions.
+	The `shift and goto' edges are red and the `go to state' edges are 
+	blue.
+	Get the current node name and node_obstack by argument.
+	(node_obstack): New variable.
+	(print_state): Manage node_obstack.
+	(print_core): Use node_obstack given by argument.
+	A node is not only computed here but in print_actions also.
+	(print_graph): CPP out useless code instead of commenting it.
+
+2001-08-07  Pascal Bart  <pascal.bart@epita.fr>
+
+	* tests/atconfig.in (CPPFLAGS): Fix.
+
+2001-08-07  Akim Demaille  <akim@epita.fr>
+
+	* src/print_graph.c (quote): New.
+	(print_core): Use it.
+
+2001-08-06  Akim Demaille  <akim@epita.fr>, Marc Autret  <autret_m@epita.fr>
+
+	* src/vcg.c (complain.h): Include it.
+	Unepitaize `return' invocations.
+	[NDEBUG] (main): Remove.
+	* src/vcg.h (node_t, edge_t, graph_t): Constify the char * memebers.
+	* src/files.c (open_files): Initialize graph_obstack.
+	* src/print_graph.c (print_actions): CPP out useless code.
+	(print_core): Don't output the last `\n' in labels.
+	Use `quote'.
+	* src/files.c (output_files): Output the VCG file.
+	* src/main.c (main): Invoke print_graph ();
+
+2001-08-06  Marc Autret  <autret_m@epita.fr>
+
+	Automaton VCG graph output.
+	Using option ``-g'' or long option ``--graph'', you can generate
+	a gram_filename.vcg file containing a VCG description of the LALR (1)
+	automaton of your grammar.
+
+	* src/main.c: Call to print_graph() function.
+	* src/getargs.h: Update.
+	* src/getargs.c (options): Update to catch `-g' and `--graph' options.
+	(graph_flag): New flag.
+	(longopts): Update.
+	(getargs): Add case `g'.
+	* src/files.c (graph_obstack): New obstack struct.
+	(open_files): Initialize new obstack.
+	(output_files): Saves graph_obstack if required.
+	* src/files.h (graph_obstack): New extern declaration.
+	* src/Makefile.am: Add new source files.
+
+2001-08-06  Marc Autret   <autret_m@epita.fr>
+
+	* src/print_graph.c, src/print_graph.h (graph): New.
+	* src/vcg.h: New file.
+	* src/vcg.c: New file, VCG graph handling.
+
+2001-08-06  Marc Autret  <autret_m@epita.fr>
+
+	Add of %source_extension and %header_extension which specify
+	the source or/and the header output file extension.
+
+	* src/files.c (compute_base_names): Remove initialisation of
+	src_extension and header_extension.
+	(compute_exts_from_gf): Update.
+	(compute_exts_from_src): Update.
+	(output_files): Update.
+	* src/reader.c (parse_header_extension_decl): New.
+	(parse_source_extension_decl): New.
+	(read_declarations): New case statements for the new tokens.
+	* src/lex.c (percent_table): Add entries for %source_extension
+	and %header_extension.
+	* src/lex.h (token_e): New tokens tok_hdrext and tok_srcext.
+
+2001-08-06  Marc Autret  <autret_m@epita.fr>
+
+	* configure.in: Bump to 1.28c.
+	* doc/bison.texinfo: Texinfo thingies.
+
+2001-08-04  Pascal Bart  <pascal.bart@epita.fr>
+
+	* tests/atconfig.in (CPPFLAGS): Add.
+	* tests/calc.at (AT_CHECK): Use CPPFLAGS.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+	Version 1.28b.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+	* tests/Makefile.am (check-local): Ship testsuite.
+	* tests/calc.at (_AT_DATA_CALC_Y): Prototype all the functions.
+	Include `string.h'.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+	* configure.in: Try using -Wformat when compiling.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+	* configure.in: Bump to 1.28b.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+	* src/complain.c: Adjust strerror_r portability issues.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+	Version 1.28a.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+	* src/getargs.c, src/getarg.h (skeleton)): Constify.
+	* src/lex.c (literalchar): Avoid name clashes on `buf'.
+	* src/getargs.c: Include complain.h.
+	* src/files.c, src/files.h (skeleton_find): Avoid name clashes.
+	* lib/quotearg.c, lib/quotearg.h: Update from fileutils 4.1.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+	* src/reader.c (readgram): Display hidden chars in error messages.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+	Update to gettext 0.10.39.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+	* lib/strspn.c: New.
+
+2001-08-01  Marc Autret  <autret_m@epita.fr>
+
+	* doc/bison.texinfo: Update.
+	* doc/bison.1 (mandoc): Update.
+	* src/system.h (EXT_GUARD_C, EXT_STYPE_H): Remove .c and .h.
+	* src/files.c: Support output files extensions computing.
+	(src_extension): New static variable.
+	(header_extension): New static variable.
+	(tr): New function.
+	(get_extension_index): New function, gets the index of an extension
+	filename in a string.
+	(compute_exts_from_gf): New function, computes extensions from the
+	grammar file extension.
+	(compute_exts_from_src): New functions, computes extensions from the
+	C source file extension, file given by ``-o'' option.
+	(compute_base_names): Update.
+	(output_files): Update.
+
+2001-08-01  Robert Anisko  <anisko_r@epita.fr>
+
+	* doc/bison.texi: Document @$.
+	(Locations): New section.
+
+2001-07-18  Akim Demaille  <akim@epita.fr>
+
+	* Makefile.maint, GNUmakefile: New, from Autoconf 2.52.
+	* config/prev-version.txt, config/move-if-change: New.
+	* Makefile.am: Adjust.
+
+2001-07-08  Pascal Bart  <pascal.bart@epita.fr>
+
+	* src/bison.simple (yyparse): Suppress warning `comparaison
+	between signed and unsigned'.
+
+2001-07-05  Pascal Bart  <pascal.bart@epita.fr>
+
+	* src/getargs.h (raw_flag): Remove.
+	* src/getargs.c: Die on `-r'/`--raw'.
+	* src/lex.c (parse_percent_token): Die on `%raw'.
+	* src/reader.c (output_token_defines): Suppress call to `raw_flag'.
+	* tests/calc.at: Suppress test with option `--raw'.
+
+2001-07-14  Akim Demaille  <akim@epita.fr>
+
+	* config/: New.
+	* configure.in: Require Autoconf 2.50.
+	Update to gettext 0.10.38.
+
+2001-03-16  Akim Demaille  <akim@epita.fr>
+
+	* doc/bison.texinfo: ANSIfy the examples.
+
+2001-03-16  Akim Demaille  <akim@epita.fr>
+
+	* getargs.c (skeleton): New variable.
+	(longopts): --skeleton is a new option.
+	(shortopts, getargs): -S is a new option.
+	* getargs.h: Declare skeleton.
+	* output.c (output_parser): Use it.
+
+2001-03-16  Akim Demaille  <akim@epita.fr>
+
+	* m4/strerror_r.m4: New.
+	* m4/error.m4: Run AC_FUNC_STRERROR_R.
+	* lib/error.h, lib/error.c: Update.
+
+2001-03-16  Akim Demaille  <akim@epita.fr>
+
+	* src/getargs.c (longopts): Clean up.
+
+2001-02-21  Akim Demaille  <akim@epita.fr>
+
+	* src/reader.c (gensym): `gensym_count' is your own.
+	Use a static buf to create the symbol name, as token_buffer is no
+	longer a buffer.
+
+2001-02-08  Akim Demaille  <akim@epita.fr>
+
+	* src/conflicts.c (conflict_report): Be sure not to append to res
+	between two calls, which could happen if both first sprintf were
+	skipped, but not the first cp += strlen.
+
+2001-02-08  Akim Demaille  <akim@epita.fr>
+
+	* lib/memchr.c, lib/stpcpy.c, lib/strndup.c, lib/strnlen.c:
+	New, from fileutils 4.0.37.
+	* configure.in: Require Autoconf 2.49c.  I took some time before
+	making this decision.  This is the only way out for portability
+	issues in Bison, it would mean way too much duplicate effort to
+	import in Bison features implemented in 2.49c since 2.13.
+	AC_REPLACE_FUNCS and AC_CHECK_DECLS the functions above.
+
+2001-02-02  Akim Demaille  <akim@epita.fr>
+
+	* lib/malloc.c, lib/realloc.c: New, from the fileutils 4.0.37.
+	* lib/xalloc.h, lib/xmalloc.c: Update.
+
+2001-01-19  Akim Demaille  <akim@epita.fr>
+
+	Get rid of the ad hoc handling of token_buffer in the scanner: use
+	the obstacks.
+
+	* src/lex.c (token_obstack): New.
+	(init_lex): Initialize it.  No longer call...
+	(grow_token_buffer): this.  Remove it.
+	Adjust all the places which used it to use the obstack.
+
+2001-01-19  Akim Demaille  <akim@epita.fr>
+
+	* src/lex.h: Rename all the tokens:
+	s/\bENDFILE\b/tok_eof/g;
+	s/\bIDENTIFIER\b/tok_identifier/g;
+	etc.
+	Let them be enums, not #define, to ease debugging.
+	Adjust all the code.
+
+2001-01-18  Akim Demaille  <akim@epita.fr>
+
+	* src/lex.h (MAXTOKEN, maxtoken, grow_token_buffer): Remove, private.
+	* src/lex.c (maxtoken, grow_token_buffer): Static.
+
+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/.