]> git.saurik.com Git - bison.git/log
bison.git
22 years ago* src/symtab.c (symbol_free): Remove dead deactivated code:
Akim Demaille [Tue, 12 Nov 2002 07:55:55 +0000 (07:55 +0000)] 
* src/symtab.c (symbol_free): Remove dead deactivated code:
type_name are properly removed.
Don't use XFREE to free items that cannot be NULL.
* src/struniq.h, src/struniq.c: New.
* src/main.c (main): Initialize/free struniqs.
* src/parse-gram.y (%union): Add astruniq member.
(yyprint): Adjust.
* src/scan-gram.l (<{tag}>): Return a struniq.
Free the obstack bit that used to store it.
* src/symtab.h (symbol_t): The 'type_name' member is a struniq.

22 years agoAdd src/system.h; this isn't really needed, but it keeps "make update"
Paul Eggert [Tue, 12 Nov 2002 07:51:44 +0000 (07:51 +0000)] 
Add src/system.h; this isn't really needed, but it keeps "make update"
happy.

22 years agoRegenerate.
Paul Eggert [Tue, 12 Nov 2002 07:44:22 +0000 (07:44 +0000)] 
Regenerate.

22 years agoNo need to keep this file in CVS, since it's automatically generated.
Paul Eggert [Tue, 12 Nov 2002 07:40:11 +0000 (07:40 +0000)] 
No need to keep this file in CVS, since it's automatically generated.

22 years agoRevamp to fix many (but not all) of the C- and M4-related quoting
Paul Eggert [Tue, 12 Nov 2002 07:33:36 +0000 (07:33 +0000)] 
Revamp to fix many (but not all) of the C- and M4-related quoting
problems.  Among other things, this fixes the Bison bug reported
by Jan Hubicka when processing the Bash grammar.

22 years ago(Torturing the Scanner): Add tests that @oline@,
Paul Eggert [Tue, 12 Nov 2002 07:28:25 +0000 (07:28 +0000)] 
(Torturing the Scanner): Add tests that @oline@,
__oline__, #output, $@, and @{ do not have unintended meanings.

22 years ago(yylineno, yyoutname): Remove static vars, replacing
Paul Eggert [Tue, 12 Nov 2002 07:27:51 +0000 (07:27 +0000)] 
(yylineno, yyoutname): Remove static vars, replacing
them with auto vars.
Switch to new escape scheme, where @ is the escape character uniformly.
Abort if a stray escape character is found.  Avoid unbounded input
buffer when parsing non-escaped text.

22 years ago(<SC_CHARACTER>): Don't worry about any backslash
Paul Eggert [Tue, 12 Nov 2002 07:27:04 +0000 (07:27 +0000)] 
(<SC_CHARACTER>): Don't worry about any backslash
escapes other than \\ and \'; this simplifies the code.
(<SC_STRING>): Likewise, for \\ and \".
(<SC_COMMENT,SC_LINE_COMMENT,SC_STRING,SC_CHARACTER,SC_BRACED_CODE,
SC_PROLOGUE,SC_EPILOGUE>): Escape $ and @, too.
Use new escapes @{ and @} for [ and ].

22 years ago(prologue_augment, epilogue_set):
Paul Eggert [Tue, 12 Nov 2002 07:26:27 +0000 (07:26 +0000)] 
(prologue_augment, epilogue_set):
Quote filenames for C and M4.

22 years ago(escaped_file_name_output): New function.
Paul Eggert [Tue, 12 Nov 2002 07:25:36 +0000 (07:25 +0000)] 
(escaped_file_name_output): New function.
(prepare_symbols): Quote tokens for M4.
(prepare): Don't insert output_infix, output_prefix,
output_parser_name, output_header_name; this is now down by scan-skel.
Insert skeleton as a C string.
(user_actions_output, symbol_destructors_output,
symbol_printers_output): Quote filenames for C and M4.

22 years ago(MUSCLE_GROW_STRING_PAIR): Remove; unused.
Paul Eggert [Tue, 12 Nov 2002 07:24:33 +0000 (07:24 +0000)] 
(MUSCLE_GROW_STRING_PAIR): Remove; unused.
(MUSCLE_OBSTACK_SGROW, MUSCLE_INSERT_C_STRING): New macros.

22 years agoInclude quotearg.h, since we need to quote C strings now.
Paul Eggert [Tue, 12 Nov 2002 07:23:52 +0000 (07:23 +0000)] 
Include quotearg.h, since we need to quote C strings now.
(muscle_init): Quote filename as a C string.

22 years ago(output_infix): Remove; all uses removed.
Paul Eggert [Tue, 12 Nov 2002 07:23:13 +0000 (07:23 +0000)] 
(output_infix): Remove; all uses removed.

22 years agoUse new @ escapes consistently.
Paul Eggert [Tue, 12 Nov 2002 07:22:01 +0000 (07:22 +0000)] 
Use new @ escapes consistently.
(b4_input_suffix, b4_output_parser_suffix, b4_output_parser_name,
b4_output_header_suffix, b4_output_header_name, b4_header_guard):
Remove, since they couldn't handle arbitrary characters in file
names.

Remove use of "#ifdef b4_header_guard", since it
mishandled funny characters in file names, and anyway it isn't
needed any more.

(YYSTYPE_IS_TRIVIAL): Define when the .h file would.

22 years agoUse new @ escapes consistently.
Paul Eggert [Tue, 12 Nov 2002 07:21:01 +0000 (07:21 +0000)] 
Use new @ escapes consistently.
(b4_input_suffix, b4_output_parser_suffix, b4_output_parser_name,
b4_output_header_suffix, b4_output_header_name, b4_header_guard):
Remove, since they couldn't handle arbitrary characters in file
names.
Use YYSLP_NEEDED instead of b4_header_guard.

22 years ago(b4_copyright): Omit file name from comment, since
Paul Eggert [Tue, 12 Nov 2002 07:15:59 +0000 (07:15 +0000)] 
(b4_copyright): Omit file name from comment, since
the file name could contain "*/".
(b4_synclines_flag): Don't quote the 2nd argument; it should already
be quoted.  All uses changed.

22 years agoFix the test failure due to GCC warnings described in
Paul Eggert [Sun, 10 Nov 2002 07:10:08 +0000 (07:10 +0000)] 
Fix the test failure due to GCC warnings described in
<http://mail.gnu.org/pipermail/bug-bison/2002-November/001815.html>.
* data/glr.c (yyis_pact_ninf, yyis_table_ninf): New macros, which
evaluate to 0 if it's impossible for NINF to be in the respective
table.
(yygetLRActions, yyrecoverParseError): Use them.

* src/scan-gram.l (unexpected_end_of_file): Fix bug: columns were
counted in the token inserted at end of file.  Now takes
location_t *, not location_t, so that the location can be
adjusted.  All uses changed.

* tests/regression.at (Invalid inputs): Adjust wording in
diagnostic to match the new behavior.

* tests/torture.at (AT_DATA_TRIANGULAR_GRAMMAR,
AT_DATA_HORIZONTAL_GRAMMAR, AT_DATA_LOOKAHEADS_GRAMMAR,
AT_DATA_STACK_TORTURE): Replace `assert (x);' with `if (! (x))
abort ();'.  This reduces the runtime of the "Many lookaheads"
test from 27.6 to 2.7 minutes on a 440 MHz Ultrasparc III running
GCC 3.2.

22 years ago(AT_DATA_TRIANGULAR_GRAMMAR, AT_DATA_HORIZONTAL_GRAMMAR,
Paul Eggert [Sun, 10 Nov 2002 07:04:07 +0000 (07:04 +0000)] 
(AT_DATA_TRIANGULAR_GRAMMAR, AT_DATA_HORIZONTAL_GRAMMAR,
AT_DATA_LOOKAHEADS_GRAMMAR, AT_DATA_STACK_TORTURE): Replace `assert
(x);' with `if (! (x)) abort ();'.  This reduces the runtime of the
"Many lookaheads" test from 27.6 to 2.7 minutes on a 440 MHz
Ultrasparc III.

22 years ago(Invalid inputs): Adjust wording in diagnostic to match the new behavior.
Paul Eggert [Sun, 10 Nov 2002 05:27:18 +0000 (05:27 +0000)] 
(Invalid inputs): Adjust wording in diagnostic to match the new behavior.

22 years ago(unexpected_end_of_file): Fix bug: columns were counted in the token
Paul Eggert [Sun, 10 Nov 2002 05:17:56 +0000 (05:17 +0000)] 
(unexpected_end_of_file): Fix bug: columns were counted in the token
inserted at end of file.  Now takes location_t *, not location_t, so
that the location can be adjusted.  All uses changed.

22 years agoFix the test failure due to GCC warnings described in
Paul Eggert [Sun, 10 Nov 2002 04:31:38 +0000 (04:31 +0000)] 
Fix the test failure due to GCC warnings described in
<http://mail.gnu.org/pipermail/bug-bison/2002-November/001815.html>.

* data/glr.c (yyis_pact_ninf, yyis_table_ninf): New macros, which
evalutate to 0 if it's impossible for NINF to be in the respective
table.
(yygetLRActions, yyrecoverParseError): Use them.

22 years ago(scanner_last_string_free): Remove decl.
Paul Eggert [Fri, 8 Nov 2002 06:14:29 +0000 (06:14 +0000)] 
(scanner_last_string_free): Remove decl.

22 years ago* src/parse-gram.y (CHARACTER): Remove unused token.
Paul Eggert [Fri, 8 Nov 2002 05:22:51 +0000 (05:22 +0000)] 
* src/parse-gram.y (CHARACTER): Remove unused token.
All uses removed.

* src/scan-gram.l: Remove stack option.  We no longer use the
stack, since the stack was never deeper than 1; instead, use the
new auto var c_context to record the stacked value.

Remove nounput option.  At an unexpected end of file, we now unput
the minimal input necessary to end cleanly; this simplifies the
code.

Avoid unbounded token sizes where this is easy.

(unexpected_end_of_file): New function.
Use it to systematize the error message on unexpected EOF.
(last-string): Now auto, not static.
(YY_OBS_FREE): Remove unnecessary do while (0) wrapper.
(scanner_last_string_free): Remove; not used.
(percent_percent_count): Move decl to just before use.
(SC_ESCAPED_CHARACTER): Return ID at unexpected end of file,
not the (never otherwised-used) CHARACTER.

22 years agoRemove stack option. We no longer use the stack, since the stack was
Paul Eggert [Fri, 8 Nov 2002 05:20:20 +0000 (05:20 +0000)] 
Remove stack option.  We no longer use the stack, since the stack was
never deeper than 1; instead, use the new auto var c_context to record
the stacked value.

Remove nounput option.  At an unexpected end of file, we now unput
the minimal input necessary to end cleanly; this simplifies the
code.

Avoid unbounded token sizes where this is easy.

(unexpected_end_of_file): New function.
Use it to systematize the error message on unexpected EOF.
(last-string): Now auto, not static.
(YY_OBS_FREE): Remove unnecessary do while (0) wrapper.
(scanner_last_string_free): Remove; not used.
(percent_percent_count): Move decl to just before use.
(SC_ESCAPED_CHARACTER): Return ID at unexpected end of file,
not the (never otherwised-used) CHARACTER.

22 years ago(CHARACTER): Remove unused token. All uses removed.
Paul Eggert [Fri, 8 Nov 2002 05:19:30 +0000 (05:19 +0000)] 
(CHARACTER): Remove unused token.  All uses removed.

22 years agoUpdate.
Akim Demaille [Thu, 7 Nov 2002 14:28:40 +0000 (14:28 +0000)] 
Update.

22 years agoTypo.
Akim Demaille [Thu, 7 Nov 2002 12:54:51 +0000 (12:54 +0000)] 
Typo.

22 years agoLet yyerror always receive the msg as last argument, so that
Akim Demaille [Thu, 7 Nov 2002 12:52:19 +0000 (12:52 +0000)] 
Let yyerror always receive the msg as last argument, so that
yyerror can be variadic.
* data/yacc.c (b4_yyerror_args): New.
Use it when calling yyerror.
* data/glr.c (b4_yyerror_args, b4_lyyerror_args): New.
Use it when calling yyerror.
* doc/bison.texinfo (Error Reporting): Adjust.
* tests/calc.at (_AT_DATA_CALC_Y): Adjust.
* tests/cxx-type.at (_AT_TEST_GLR_CALC): Adjust.

22 years agoRegen.
Akim Demaille [Thu, 7 Nov 2002 12:50:34 +0000 (12:50 +0000)] 
Regen.

22 years ago* src/scan-gram.l (unexpected_end_of_file): New function.
Paul Eggert [Thu, 7 Nov 2002 08:15:28 +0000 (08:15 +0000)] 
* src/scan-gram.l (unexpected_end_of_file): New function.
Use it to systematize the error message on unexpected EOF.

22 years ago(unexpected_end_of_file): New function.
Paul Eggert [Thu, 7 Nov 2002 08:15:11 +0000 (08:15 +0000)] 
(unexpected_end_of_file): New function.
Use it to systematize the error message on unexpected EOF.

22 years agoMinor spelling and punctuation fix.
Paul Eggert [Thu, 7 Nov 2002 07:07:25 +0000 (07:07 +0000)] 
Minor spelling and punctuation fix.

22 years agoFix minor troff and spelling glitches.
Paul Eggert [Thu, 7 Nov 2002 07:06:29 +0000 (07:06 +0000)] 
Fix minor troff and spelling glitches.

22 years ago#line should have quoted strings.
Akim Demaille [Wed, 6 Nov 2002 16:22:04 +0000 (16:22 +0000)] 
#line should have quoted strings.
Ideally, this should be done by m4_quotearg.
* src/scan-skel.l: Include quotearg.h.
Quote __ofile__.
* src/output.c (symbol_printers_output)
(symbol_destructors_output): Quote the file name.

22 years agoTypo.
Akim Demaille [Wed, 6 Nov 2002 15:35:03 +0000 (15:35 +0000)] 
Typo.

22 years ago* tests/regression.at (Invalid inputs): Adjust to the recent
Akim Demaille [Wed, 6 Nov 2002 14:14:48 +0000 (14:14 +0000)] 
* tests/regression.at (Invalid inputs): Adjust to the recent
messages.

22 years agoRestore --no-lines.
Akim Demaille [Wed, 6 Nov 2002 14:11:47 +0000 (14:11 +0000)] 
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'.

22 years ago* src/main.c (main): Free `infile'.
Akim Demaille [Wed, 6 Nov 2002 08:08:46 +0000 (08:08 +0000)] 
* 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.

22 years ago* src/scan-gram.l: Use more accurate diagnostics, e.g.
Paul Eggert [Wed, 6 Nov 2002 07:04:24 +0000 (07:04 +0000)] 
* 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.

22 years ago(Invalid $n, Invalid @n): Change expected wording accordingly.
Paul Eggert [Wed, 6 Nov 2002 07:01:55 +0000 (07:01 +0000)] 
(Invalid $n, Invalid @n): Change expected wording accordingly.

22 years agoUse more accurate diagnostics, e.g.
Paul Eggert [Wed, 6 Nov 2002 07:01:06 +0000 (07:01 +0000)] 
Use more accurate diagnostics, e.g.
"integer out of range" rather than "invalid value".

22 years agoBison now parses C99 lexical constructs like digraphs, UCNs, and
Paul Eggert [Wed, 6 Nov 2002 06:56:35 +0000 (06:56 +0000)] 
Bison now parses C99 lexical constructs like digraphs, UCNs, and
backslash-newline within C escape sequences, as POSIX now requires.

22 years agosrc/tables.c (matching_state): Don't allow states to match if
Paul Hilfinger [Wed, 6 Nov 2002 02:46:08 +0000 (02:46 +0000)] 
src/tables.c (matching_state): Don't allow states to match if
either has GLR conflict entries.
ChangeLog: update for this and Hilfinger's preceding test-suite addition.

22 years agoRegenerate.
Paul Eggert [Wed, 6 Nov 2002 00:06:50 +0000 (00:06 +0000)] 
Regenerate.

22 years agoScan <% and %> digraphs in C code as POSIX 1003.1-2001 requires.
Paul Eggert [Tue, 5 Nov 2002 23:52:28 +0000 (23:52 +0000)] 
Scan <% and %> digraphs in C code as POSIX 1003.1-2001 requires.
Also, remove one static variable in the scanner.

22 years ago(braces_level): Now auto, not static.
Paul Eggert [Tue, 5 Nov 2002 23:50:11 +0000 (23:50 +0000)] 
(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.

22 years ago(IF_LINT): New macro, taken from coreutils.
Paul Eggert [Tue, 5 Nov 2002 23:42:51 +0000 (23:42 +0000)] 
(IF_LINT): New macro, taken from coreutils.

22 years agoDefine "lint" if --enable-gcc-warnings.
Paul Eggert [Tue, 5 Nov 2002 23:42:10 +0000 (23:42 +0000)] 
Define "lint" if --enable-gcc-warnings.

22 years ago* src/scan-gram.l: When it starts with `%', complain about the
Akim Demaille [Tue, 5 Nov 2002 21:20:14 +0000 (21:20 +0000)] 
* src/scan-gram.l: When it starts with `%', complain about the
whole directive, not just that `invalid character: %'.

22 years ago* Makefile.maint: Update from Autoconf.
Akim Demaille [Mon, 4 Nov 2002 08:45:16 +0000 (08:45 +0000)] 
* Makefile.maint: Update from Autoconf.
(update, cvs-update, po-update, do-po-update): New.

22 years ago* tests/glr-regr1.at (Badly Collapsed GLR States): Prototype yylex
Akim Demaille [Mon, 4 Nov 2002 08:30:18 +0000 (08:30 +0000)] 
* 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.

22 years ago* src/location.h (LOCATION_PRINT): Use quotearg slot 3 to avoid
Akim Demaille [Mon, 4 Nov 2002 08:28:01 +0000 (08:28 +0000)] 
* 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.

22 years agoUpdate.
Akim Demaille [Mon, 4 Nov 2002 07:30:28 +0000 (07:30 +0000)] 
Update.

22 years ago* src/reader.c (get_merge_function, grammar_current_rule_check):
Paul Eggert [Mon, 4 Nov 2002 07:29:57 +0000 (07:29 +0000)] 
* 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.

22 years ago(Type Clashes): Adjust to diagnostic changes.
Paul Eggert [Mon, 4 Nov 2002 06:07:09 +0000 (06:07 +0000)] 
(Type Clashes): Adjust to diagnostic changes.

22 years ago(get_merge_function, grammar_current_rule_check):
Paul Eggert [Mon, 4 Nov 2002 06:06:44 +0000 (06:06 +0000)] 
(get_merge_function, grammar_current_rule_check):
Use consistent diagnostics for reporting type name clashes.
Quote the types with <>, for consistency with Yacc.

22 years ago* data/c.m4 (b4_identification, b4_user_args, b4_parse_param):
Akim Demaille [Sun, 3 Nov 2002 16:41:57 +0000 (16:41 +0000)] 
* 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.

22 years ago* tests/calc.at: Change all the AT_CHECK_CALC_LALR and
Akim Demaille [Sun, 3 Nov 2002 12:16:25 +0000 (12:16 +0000)] 
* 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.

22 years agoRegen.
Akim Demaille [Sun, 3 Nov 2002 12:14:47 +0000 (12:14 +0000)] 
Regen.

22 years agoRegen.
Paul Eggert [Sun, 3 Nov 2002 08:53:56 +0000 (08:53 +0000)] 
Regen.

22 years agoRevamp Bison scanner to fix POSIX incompatibilities,
Paul Eggert [Sun, 3 Nov 2002 08:49:58 +0000 (08:49 +0000)] 
Revamp Bison scanner to fix POSIX incompatibilities,
to count columns correctly, and to check for invalid inputs.

22 years agoAdd tests for backslash-newline, m4 quotes
Paul Eggert [Sun, 3 Nov 2002 08:42:56 +0000 (08:42 +0000)] 
Add tests for backslash-newline, m4 quotes
in symbols, long literals, and funny escapes in strings.

22 years agoRevamp to fix POSIX incompatibilities, to count columns correctly, and
Paul Eggert [Sun, 3 Nov 2002 08:42:32 +0000 (08:42 +0000)] 
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.

22 years ago(LOCATION_COLUMNS, LOCATION_LINES): Remove; no longer used.
Paul Eggert [Sun, 3 Nov 2002 08:41:08 +0000 (08:41 +0000)] 
(LOCATION_COLUMNS, LOCATION_LINES): Remove; no longer used.

22 years ago(Grammar Outline): Document // comments.
Paul Eggert [Sun, 3 Nov 2002 08:40:39 +0000 (08:40 +0000)] 
(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.

22 years ago(EXTRA_DIST): Add mbswidth.m4.
Paul Eggert [Sun, 3 Nov 2002 08:40:08 +0000 (08:40 +0000)] 
(EXTRA_DIST): Add mbswidth.m4.

22 years ago(libbison_a_SOURCES): Add mbswidth.h, mbswidth.c.
Paul Eggert [Sun, 3 Nov 2002 08:39:43 +0000 (08:39 +0000)] 
(libbison_a_SOURCES): Add mbswidth.h, mbswidth.c.

22 years ago(jm_PREREQ_MBSWIDTH): Add.
Paul Eggert [Sun, 3 Nov 2002 08:39:16 +0000 (08:39 +0000)] 
(jm_PREREQ_MBSWIDTH): Add.

22 years agoNew files, from GNU gettext and GNU coreutils.
Paul Eggert [Sun, 3 Nov 2002 08:38:43 +0000 (08:38 +0000)] 
New files, from GNU gettext and GNU coreutils.

22 years agoFix misspellings in comments.
Paul Eggert [Sun, 3 Nov 2002 07:56:25 +0000 (07:56 +0000)] 
Fix misspellings in comments.

22 years agoDon't include quote.h; not needed.
Paul Eggert [Sun, 3 Nov 2002 07:49:40 +0000 (07:49 +0000)] 
Don't include quote.h; not needed.

(get_merge_function): Reword warning to be consistent with type clash
diagnostic in grammar_current_rule_check.

22 years ago(quotearg_buffer_restyled): Fix off-by-two bug in trigraph handling.
Paul Eggert [Sun, 3 Nov 2002 07:03:53 +0000 (07:03 +0000)] 
(quotearg_buffer_restyled): Fix off-by-two bug in trigraph handling.

22 years ago(prepare_symbols): When printing token names, escape "[" as "@<:@" and
Paul Eggert [Sun, 3 Nov 2002 06:41:59 +0000 (06:41 +0000)] 
(prepare_symbols): When printing token names, escape "[" as "@<:@" and
likewise for "]".

22 years ago(errno): Remove declaration, as we are now assuming C89 or better, and
Paul Eggert [Sun, 3 Nov 2002 06:16:55 +0000 (06:16 +0000)] 
(errno): Remove declaration, as we are now assuming C89 or better, and
C89 guarantees errno.

22 years ago* lib/bitset_stats.c (bitset_stats_read, bitset_stats_write):
Paul Eggert [Wed, 30 Oct 2002 09:45:46 +0000 (09:45 +0000)] 
* 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.

22 years ago* src/system.h: Don't use #ifdef/#ifndef on HAVE_ values, only
Akim Demaille [Wed, 30 Oct 2002 08:31:24 +0000 (08:31 +0000)] 
* src/system.h: Don't use #ifdef/#ifndef on HAVE_ values, only
#if.

22 years ago(output_skeleton): Use xfclose rather than fclose and ferror. xfclose
Paul Eggert [Wed, 30 Oct 2002 06:20:02 +0000 (06:20 +0000)] 
(output_skeleton): Use xfclose rather than fclose and ferror.  xfclose
now checks ferror.

22 years ago(xfclose): Return void, not int, since it always returned zero.
Paul Eggert [Wed, 30 Oct 2002 06:19:00 +0000 (06:19 +0000)] 
(xfclose): Return void, not int, since it always returned zero.
Report I/O error if ferror indicates one.

22 years ago(xfclose): Return void, not int, since it always returned zero.
Paul Eggert [Wed, 30 Oct 2002 06:18:19 +0000 (06:18 +0000)] 
(xfclose): Return void, not int, since it always returned zero.

22 years ago(bitset_stats_read, bitset_stats_write): Check for close failures.
Paul Eggert [Wed, 30 Oct 2002 06:17:52 +0000 (06:17 +0000)] 
(bitset_stats_read, bitset_stats_write): Check for close failures.

22 years ago(YYLEFTMOST_STATE): Remove.
Paul Eggert [Wed, 30 Oct 2002 05:38:30 +0000 (05:38 +0000)] 
(YYLEFTMOST_STATE): Remove.
(yyreportTree): Use a stack-based leftmost state.  This avoids
our continuing battles with bogus warnings about initializers.

22 years agoAdd test glr-regr1.at to check for incorrect collapsing of states during
Paul Hilfinger [Wed, 30 Oct 2002 02:03:14 +0000 (02:03 +0000)] 
Add test glr-regr1.at to check for incorrect collapsing of states during
  table compression in GLR parser.

22 years ago(AC_INIT): Bump version to 1.75b.
Paul Eggert [Fri, 25 Oct 2002 06:56:26 +0000 (06:56 +0000)] 
(AC_INIT): Bump version to 1.75b.

22 years agoVersion 1.75a.
Paul Eggert [Fri, 25 Oct 2002 06:05:50 +0000 (06:05 +0000)] 
Version 1.75a.

22 years agoFix misspelling of "Valgrind".
Paul Eggert [Fri, 25 Oct 2002 05:37:58 +0000 (05:37 +0000)] 
Fix misspelling of "Valgrind".

22 years ago* tests/calc.at (_AT_DATA_CALC_Y): Remove unused strcat declaration.
Paul Eggert [Fri, 25 Oct 2002 05:14:04 +0000 (05:14 +0000)] 
* 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.

22 years ago(_AT_DATA_CALC_Y): Remove unused strcat declaration.
Paul Eggert [Fri, 25 Oct 2002 05:13:44 +0000 (05:13 +0000)] 
(_AT_DATA_CALC_Y): Remove unused strcat declaration.

22 years ago(_AT_TEST_GLR_CALC): Include stdlib.h, since
Paul Eggert [Fri, 25 Oct 2002 05:13:24 +0000 (05:13 +0000)] 
(_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.

22 years ago* src/output.c (output_skeleton): Don't disable M4sugar comments
Akim Demaille [Thu, 24 Oct 2002 11:40:27 +0000 (11:40 +0000)] 
* 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.

22 years ago* data/yacc.c (m4_int_type): New.
Akim Demaille [Thu, 24 Oct 2002 10:01:52 +0000 (10:01 +0000)] 
* 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.

22 years agoRegen.
Akim Demaille [Thu, 24 Oct 2002 09:58:55 +0000 (09:58 +0000)] 
Regen.

22 years ago* src/main.c (main): With --trace=time, report times even if a
Paul Eggert [Wed, 23 Oct 2002 18:42:04 +0000 (18:42 +0000)] 
* 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.

22 years ago(main): With --trace=time, report times even if a non-fatal error
Paul Eggert [Wed, 23 Oct 2002 18:41:43 +0000 (18:41 +0000)] 
(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.

22 years ago(reader): Just return if a complaint has been issued,
Paul Eggert [Wed, 23 Oct 2002 18:41:04 +0000 (18:41 +0000)] 
(reader): Just return if a complaint has been issued,
instead of exiting, so that 'main' can report times.

22 years ago* src/system.h: Include sys/types.
Akim Demaille [Wed, 23 Oct 2002 16:30:50 +0000 (16:30 +0000)] 
* src/system.h: Include sys/types.
Reported by Bert Deknuydt.

22 years agoAM_PROG_LEX -> AC_PROG_LEX.
Paul Eggert [Wed, 23 Oct 2002 08:09:43 +0000 (08:09 +0000)] 
AM_PROG_LEX -> AC_PROG_LEX.
Go back to returning (not exiting) from main.
Work around empty struct in glr.c.
Typo fixes for doc.

22 years ago(AC_PROG_LEX): Use instead of AM_PROG_LEX.
Paul Eggert [Wed, 23 Oct 2002 08:07:13 +0000 (08:07 +0000)] 
(AC_PROG_LEX): Use instead of AM_PROG_LEX.
Suggested by Art Haas.

22 years ago(exit) [! (STDC_HEADERS || _LIBC)]: Remove exit decl; not needed any more.
Paul Eggert [Wed, 23 Oct 2002 07:35:48 +0000 (07:35 +0000)] 
(exit) [! (STDC_HEADERS || _LIBC)]: Remove exit decl; not needed any more.

22 years ago(main): Use return to exit, undoing yesterday's change.
Paul Eggert [Wed, 23 Oct 2002 07:00:19 +0000 (07:00 +0000)] 
(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.

22 years ago(struct yyltype): Define members even when not
Paul Eggert [Wed, 23 Oct 2002 06:30:49 +0000 (06:30 +0000)] 
(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/001748.html
http://mail.gnu.org/pipermail/bug-bison/2002-October/001764.html
http://mail.gnu.org/pipermail/bug-bison/2002-October/001769.html