X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/6db10d14bebea6e1f4363445cb5138edef34b2b0..2dfbfc122c5d609383d87267b4b4b2494d6bdfd9:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 1add02bc..ee1fa169 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,296 @@
+2002-11-06  Akim Demaille  <akim@epita.fr>
+
+	* tests/regression.at (Invalid inputs): Adjust to the recent
+	messages.
+
+2002-11-06  Akim Demaille  <akim@epita.fr>
+
+	Restore --no-lines.
+	Reported by Jim Kent.
+
+	* data/c.m4 (b4_syncline): New.
+	* data/glr.c, data/yacc.c, data/lalr1.cc: Use it.
+	* src/reader.c (prologue_augment, epilogue_set): Use b4_syncline.
+	* src/output.c (user_actions_output): Likewise.
+	(prepare): Define 'b4_synclines_flag'.
+	* src/muscle_tab.c (muscle_init): Don't define b4_linef.
+
+2002-11-06  Akim Demaille  <akim@epita.fr>
+
+	* src/main.c (main): Free `infile'.
+	* src/scan-gram.l (handle_syncline): New.
+	Recognize `#line'.
+	* src/output.c (user_actions_output, symbol_destructors_output)
+	(symbol_printers_output): Use the location's file name, not
+	infile.
+	* src/reader.c (prologue_augment, epilogue_set): Likewise.
+
+2002-11-05  Paul Hilfinger  <Hilfinger@CS.Berkeley.EDU>
+
+	* src/tables.c (matching_state): Don't allow states to match if
+	either has GLR conflict entries.
+
+2002-11-05  Paul Eggert  <eggert@twinsun.com>
+
+	* src/scan-gram.l: Use more accurate diagnostics, e.g.
+	"integer out of range" rather than "invalid value".
+	* tests/input.at (Invalid $n, Invalid @n): Change expected wording
+	accordingly.
+
+	Scan <% and %> digraphs in C code as POSIX 1003.1-2001 requires.
+	Also, remove one static variable in the scanner.
+
+	* src/scan-gram.l (braces_level): Now auto, not static.
+	Initialize to zero if the compiler is being picky.
+	(INITIAL): Clear braces_level instead of incrementing it.
+	(SC_BRACED_CODE): Treat <% and %> as { and } when inside C code,
+	as POSIX 1003.1-2001 requires.
+	* src/system.h (IF_LINT): New macro, taken from coreutils.
+	* configure.ac: Define "lint" if --enable-gcc-warnings.
+
+2002-11-05  Akim Demaille  <akim@epita.fr>
+
+	* src/scan-gram.l: When it starts with `%', complain about the
+	whole directive, not just that `invalid character: %'.
+
+2002-11-04  Akim Demaille  <akim@epita.fr>
+
+	* Makefile.maint: Update from Autoconf.
+	(update, cvs-update, po-update, do-po-update): New.
+
+2002-11-04  Akim Demaille  <akim@epita.fr>
+
+	* tests/glr-regr1.at (Badly Collapsed GLR States): Prototype yylex
+	and yyerror.
+	Have yyerror `use' its arguments.
+	* tests/calc.at (AT_CHECK_PUSHDEFS): AT_YYERROR_SEES_LOC_IF
+	returns true when location & yacc & pure & parse-param.
+	(_AT_DATA_CALC_Y): Let yyerror ``use'' its arguments.
+
+2002-11-04  Akim Demaille  <akim@epita.fr>
+
+	* src/location.h (LOCATION_PRINT): Use quotearg slot 3 to avoid
+	clashes.
+	* src/scan-gram.l: Use [\'] instead of ['] to pacify
+	font-lock-mode.
+	Use complain_at.
+	Use quote, not quote_n since LOCATION_PRINT no longer uses the
+	slot 0.
+
+2002-11-03  Paul Eggert  <eggert@twinsun.com>
+
+	* src/reader.c (get_merge_function, grammar_current_rule_check):
+	Use consistent diagnostics for reporting type name clashes.
+	Quote the types with <>, for consistency with Yacc.
+	* tests/input.at (Type Clashes): Adjust to diagnostic changes.
+
+2002-11-03  Akim Demaille  <akim@epita.fr>
+
+	* data/c.m4 (b4_identification, b4_user_args, b4_parse_param):
+	New.
+	* data/yacc.m4 (b4_pure_args, b4_Pure_args): New.
+	(b4_parse_param): Remove.
+	Use b4_identification.
+	Propagate b4_pure_args where needed to pass them to yyerror.
+	* data/glr.m4 (b4_parse_param): Remove.
+	(b4_user_formals, b4_pure_args, b4_pure_formals, b4_lpure_args)
+	(b4_lpure_formals): New.
+	Use b4_identification.
+	(YY_USER_FORMALS, YY_USER_ARGS): Remove, replaced by
+	b4_user_formals and b4_user_args.
+	(yyexpandGLRStack, yyFail, yyaddDeferredAction, yyglrShiftDefer)
+	(yyreportAmbiguity): When using a pure parser, also need
+	the location, and the parse-params.
+	Adjust callers.
+	(yyuserAction, yyglrShift, yyreportParseError, yyrecoverParseError):
+	When using a pure parser, also need the parse-params.
+	Adjust callers.
+	* tests/calc.at: Test pure (%pure-parser) and absolutely pure
+	(%pure-parser + %parse-param) LALR and GLR parsers.
+	(AT_CHECK_PUSHDEFS, AT_CHECK_POPDEFS): New, define AT_PARAM_IF,
+	AT_LOCATION_IF, AT_PURE_IF, AT_GLR_IF, AAT_PURE_AND_LOC_IF,
+	AT_GLR_OR_PARAM_IF, AT_YYERROR_ARG_LOC_IF, AT_YYERROR_SEES_LOC_IF.
+	(_AT_DATA_CALC_Y): Equip for purity of yyerror.
+	(_AT_CHECK_CALC_ERROR): Use AT_YYERROR_SEES_LOC_IF.
+	* tests/cxx-type.at (_AT_TEST_GLR_CALC): Equip for yyerror purity.
+	* doc/bison.texinfo: Untabify the whole file.
+	(Parser Function): Document %parse-param, deprecate YYPARSE_PARAM.
+	(Pure Calling): Document %lex-param, deprecate YYLEX_PARAM.
+	(Error Reporting): Adjust to these new directives.
+	Document %error-verbose, deprecate YYERROR_VERBOSE.
+
+2002-11-03  Akim Demaille  <akim@epita.fr>
+
+	* tests/calc.at: Change all the AT_CHECK_CALC_LALR and
+	AT_CHECK_CALC_GLR invocations to use % directives, instead of
+	command line options.
+	* tests/cxx-type.at: Formatting changes.
+
+2002-11-03  Paul Eggert  <eggert@twinsun.com>
+
+	* src/scan-gram.l: Revamp to fix POSIX incompatibilities,
+	to count columns correctly, and to check for invalid inputs.
+
+	Use mbsnwidth to count columns correctly.  Account for tabs, too.
+	Include mbswidth.h.
+	(YY_USER_ACTION): Invoke extend_location rather than LOCATION_COLUMNS.
+	(extend_location): New function.
+	(YY_LINES): Remove.
+
+	Handle CRLF in C code rather than in Lex code.
+	(YY_INPUT): New macro.
+	(no_cr_read): New function.
+
+	Scan UCNs, even though we don't fully handle them yet.
+	(convert_ucn_to_byte): New function.
+
+	Handle backslash-newline correctly in C code.
+	(SC_LINE_COMMENT, SC_YACC_COMMENT): New states.
+	(eols, blanks): Remove.  YY_USER_ACTION now counts newlines etc.;
+	all uses changed.
+	(tag, splice): New EREs.  Do not allow NUL or newline in tags.
+	Use {splice} wherever C allows backslash-newline.
+	YY_STEP after space, newline, vertical-tab.
+	("/*"): BEGIN SC_YACC_COMMENT, not yy_push_state (SC_COMMENT).
+
+	(letter, id): Don't assume ASCII; e.g., spell out a-z.
+
+	({int}, handle_action_dollar, handle_action_at): Check for integer
+	overflow.
+
+	(YY_STEP): Omit trailing semicolon, so that it's more like C.
+
+	(<SC_ESCAPED_STRING,SC_ESCAPED_CHARACTER>): Allow \0 and \00
+	as well as \000.  Check for UCHAR_MAX, not 255.
+	Allow \x with an arbitrary positive number of digits, as in C.
+	Check for overflow here.
+	Allow \? and UCNs, for compatibility with C.
+
+	(handle_symbol_code_dollar): Use quote_n slot 1 to avoid collision
+	with quote slot used by complain_at.
+
+	* tests/input.at: Add tests for backslash-newline, m4 quotes
+	in symbols, long literals, and funny escapes in strings.
+
+	* configure.ac (jm_PREREQ_MBSWIDTH): Add.
+	* lib/Makefile.am (libbison_a_SOURCES): Add mbswidth.h, mbswidth.c.
+	* lib/mbswidth.h, lib/mbswidth.c: New files, from GNU gettext.
+	* m4/Makefile.am (EXTRA_DIST): Add mbswidth.m4.
+	* m4/mbswidth.m4: New file, from GNU coreutils.
+
+	* doc/bison.texinfo (Grammar Outline): Document // comments.
+	(Symbols): Document that trigraphs have no special meaning in Bison,
+	nor is backslash-newline allowed.
+	(Actions): Document that trigraphs have no special meaning.
+
+	* src/location.h (LOCATION_COLUMNS, LOCATION_LINES): Remove;
+	no longer used.
+
+2002-11-02  Paul Eggert  <eggert@twinsun.com>
+
+	* src/reader.c: Don't include quote.h; not needed.
+	(get_merge_function): Reword warning to be consistent with
+	type clash diagnostic in grammar_current_rule_check.
+
+	* lib/quotearg.c (quotearg_buffer_restyled): Fix off-by-two
+	bug in trigraph handling.
+
+	* src/output.c (prepare_symbols): When printing token names,
+	escape "[" as "@<:@" and likewise for "]".
+
+	* src/system.h (errno): Remove declaration, as we are now
+	assuming C89 or better, and C89 guarantees errno.
+
+2002-10-30  Paul Eggert  <eggert@twinsun.com>
+
+	* lib/bitset_stats.c (bitset_stats_read, bitset_stats_write):
+	Check for close failures.
+	* src/files.h (xfclose): Return void, not int, since it always
+	returned zero.
+	* src/files.c (xfclose): Likewise.  Report I/O error if ferror
+	indicates one.
+	* src/output.c (output_skeleton): Use xfclose rather than fclose
+	and ferror.  xfclose now checks ferror.
+
+	* data/glr.c (YYLEFTMOST_STATE): Remove.
+	(yyreportTree): Use a stack-based leftmost state.  This avoids
+	our continuing battles with bogus warnings about initializers.
+
+2002-10-30  Akim Demaille  <akim@epita.fr>
+
+	* src/system.h: Don't use #ifdef/#ifndef on HAVE_ values, only
+	#if.
+
+2002-10-29  Paul Hilfinger  <Hilfinger@CS.Berkeley.EDU>
+
+	* tests/glr-regr1.at: New test for reported regressions.
+	* tests/testsuite.at: Add glr-regr1.at test.
+	* tests/Makefile.am: Add glr-regr1.at test.
+
+2002-10-24  Paul Eggert  <eggert@twinsun.com>
+
+	Version 1.75a.
+
+	* tests/calc.at (_AT_DATA_CALC_Y): Remove unused strcat declaration.
+	* tests/cxx-type.at (_AT_TEST_GLR_CALC): Include stdlib.h, since
+	we use malloc.  Don't assume 'A' through 'Z' are contiguous.
+	Don't assume strdup exists; POSIX says its an XSI extension.
+	Check for buffer overflow on input.
+
+2002-10-24  Akim Demaille  <akim@epita.fr>
+
+	* src/output.c (output_skeleton): Don't disable M4sugar comments
+	too soon: it results in comments being expanded.
+	* data/yacc.c, data/glr.c, data/lalr1.cc: Do it right before the
+	first output.
+
+2002-10-24  Akim Demaille  <akim@epita.fr>
+
+	* data/yacc.c (m4_int_type): New.
+	* data/c.m4 (m4_int_type): Don't use yysigned_char, but `signed
+	char' as only yacc.c wants K&R portability.
+	* data/glr.c (yysigned_char): Remove.
+	* data/lalr1.cc: Rename the trailing b4_name as b4_parser_class_name.
+	Reported by Quoc Peyrot.
+
+2002-10-23  Paul Eggert  <eggert@twinsun.com>
+
+	* src/main.c (main): With --trace=time, report times even if a
+	non-fatal error occurs.  Formerly, the times were reported in some
+	such cases but not in others.
+	* src/reader.c (reader): Just return if a complaint has been issued,
+	instead of exiting, so that 'main' can report times.
+
+2002-10-22  Akim Demaille  <akim@epita.fr>
+
+	* src/system.h: Include sys/types.
+	Reported by Bert Deknuydt.
+
+2002-10-23  Paul Eggert  <eggert@twinsun.com>
+
+	* configure.ac (AC_PROG_LEX): Use instead of AM_PROG_LEX.
+	Suggested by Art Haas.
+
+2002-10-22  Paul Eggert  <eggert@twinsun.com>
+
+	* src/complain.c (exit) [! (STDC_HEADERS || _LIBC)]: Remove exit
+	decl; not needed any more.
+	* src/main.c (main): Use return to exit, undoing yesterday's change.
+	The last OS that we could find where this wouldn't work is
+	SunOS 3.5, and that's too old to worry about now.
+
+	* data/glr.c (struct yyltype): Define members even when not
+	doing locations.  This is more consistent with yacc.c, and it
+	works around the following bug reports:
+	http://mail.gnu.org/pipermail/bug-bison/2002-October/001764.html
+	http://mail.gnu.org/pipermail/bug-bison/2002-October/001769.html
+	and I hope it also fixes this bug report:
+	http://mail.gnu.org/pipermail/bug-bison/2002-October/001748.html
+
+	* doc/bison.texinfo: Minor spelling and typographical fixes.  Use
+	@acronym consistently.  Standardize on "Yacc" instead of "YACC",
+	"Algol" instead of "ALGOL".  Give a bit more history about BNF.
+
 2002-10-22  Akim Demaille  <akim@epita.fr>
 
 	* data/README: New.
@@ -20,7 +313,7 @@
 	(complaint_issued): Renamed from complain_message_count; likewise.
 
 	* src/main.c (main): Use exit to exit with failure.
-	
+
 	* src/complain.c (fatal_at, fatal): Use EXIT_FAILURE and EXIT_SUCCESS
 	rather than 1 and 0.
 	* src/main.c (main): Likewise.