]> git.saurik.com Git - bison.git/log
bison.git
18 years agoAvoid undefined behavior that accessed just before the start of an array.
Paul Eggert [Wed, 18 Jan 2006 23:48:29 +0000 (23:48 +0000)] 
Avoid undefined behavior that accessed just before the start of an array.
* src/reader.c (packgram): Prepend a new sentinel before ritem.
* src/lalr.c (build_relations): Rely on new sentinel.
* src/gram.c (gram_free): Adjust to new sentinel.

18 years agoFix minor white space and indentation problems.
Paul Eggert [Sat, 14 Jan 2006 06:36:04 +0000 (06:36 +0000)] 
Fix minor white space and indentation problems.

18 years ago* data/glr.c (yyGLRStateSet): Rename yylookaheadStatuses to
Joel E. Denny [Thu, 12 Jan 2006 01:43:03 +0000 (01:43 +0000)] 
* data/glr.c (yyGLRStateSet): Rename yylookaheadStatuses to
yylookaheadNeeds.  All uses updated.
(yysplitStack): Rename local yynewLookaheadStatuses to
yynewLookaheadNeeds.
* data/glr-regression.at (Incorrect lookahead during nondeterministic
GLR): In comments, change `lookahead status' to `lookahead need'.

18 years ago* data/glr.c (yysplitStack): A little stylistic rewrite.
Paul Hilfinger [Thu, 12 Jan 2006 00:16:35 +0000 (00:16 +0000)] 
* data/glr.c (yysplitStack): A little stylistic rewrite.

18 years ago * data/glr.c (yyaddDeferredAction): Flesh out the comment.
Paul Hilfinger [Wed, 11 Jan 2006 23:08:49 +0000 (23:08 +0000)] 
* data/glr.c (yyaddDeferredAction): Flesh out the comment.

18 years ago* doc/bison.texinfo: Fix some typos.
Joel E. Denny [Wed, 11 Jan 2006 22:39:27 +0000 (22:39 +0000)] 
* doc/bison.texinfo: Fix some typos.
(GLR Semantic Actions): New subsection discussing special
considerations because GLR semantic actions might be deferred.
(Actions): Mention look-ahead usage of yylval.
(Actions and Locations): Mention look-ahead usage of yylloc.
(Special Features for Use in Actions): Add YYEOF entry and mention it
in the yychar entry.
In the yychar entry, remove mention of the local yychar case (pure
parser) since this is irrelevant information when writing semantic
actions and since it's already discussed in `Bison Symbols' where
yychar is otherwise described as an external variable.
In the yychar entry, don't call it the `current' look-ahead since it
isn't when semantic actions are deferred.
In the yychar and yyclearin entries, add note about deferred semantic
actions.
Add yylloc and yylval entries discussing look-ahead usage.
(Look-Ahead Tokens): When discussing yychar, don't call it the
`current' look-ahead, and do mention yylval and yylloc.
(Error Recovery): Cross-reference `Action Features' when mentioning
yyclearin.
(Bison Symbols): In the yychar entry, don't call it the `current'
look-ahead.
In the yylloc and yylval entries, mention look-ahead usage.

18 years agoFix latest changelog entry: the "who" was missing.
Paul Eggert [Mon, 9 Jan 2006 06:49:18 +0000 (06:49 +0000)] 
Fix latest changelog entry: the "who" was missing.

18 years ago* tests/glr-regression.at: Update copyright year to 2006.
Joel E. Denny [Sun, 8 Jan 2006 23:16:51 +0000 (23:16 +0000)] 
* tests/glr-regression.at: Update copyright year to 2006.

18 years ago* data/glr.c (yyGLRStateSet): Add yybool* yylookaheadStatuses member to
Joel E. Denny [Fri, 6 Jan 2006 20:48:33 +0000 (20:48 +0000)] 
* data/glr.c (yyGLRStateSet): Add yybool* yylookaheadStatuses member to
use during nondeterministic operation to track which stacks have
actually needed the current lookahead.
(yyinitStateSet, yyfreeStateSet, yyremoveDeletes, yysplitStack):
Allocate, deallocate, resize, and otherwise shuffle space for
yylookaheadStatuses in parallel with yystates member of yyGLRStateSet.
(yysplitStack, yyprocessOneStack, yyparse): Set lookahead status
appropriately during nondeterministic operation.
(yySemanticOption): Add int yyrawchar, YYSTYPE yyval, and YYLTYPE yyloc
members to store the current lookahead to be used by the deferred
user action.
(yyaddDeferredAction): Add size_t yyk parameter specifying the stack
from which the RHS is taken.  Set the lookahead members of the new
yySemanticOption according to the lookahead status for stack yyk.
(yyglrShiftDefer, yyglrReduce): Pass yyk parameter on to
yyaddDeferredAction.
(yyresolveAction): Set yychar, yylval, and yylloc to the lookahead
members of yySemanticOption before invoking yyuserAction, and then set
them back to their current values afterward.
(yyparse): Set yychar = YYEMPTY where yytoken = YYEMPTY.
(yyreportAmbiguity): Add /*ARGSUSED*/ to pacify lint.
* tests/glr-regression.at: Remove `.' from the ends of recent test case
titles for consistency.
(Leaked merged semantic value if user action cuts parse): In order to
suppress lint warnings, use arguments in merge function, and assign
char value < 128 in main.
(Incorrect lookahead during deterministic GLR): New test case.
(Incorrect lookahead during nondeterministic GLR): New test case.

18 years ago* data/c.m4 (b4_yy_symbol_print_generate): In yy_symbol_print, accept
Joel E. Denny [Fri, 6 Jan 2006 20:09:31 +0000 (20:09 +0000)] 
* data/c.m4 (b4_yy_symbol_print_generate): In yy_symbol_print, accept
!yyvaluep as signal that no semantic value is available to print.
* data/glr.c (yydestroyGLRState): If state is not resolved, don't try
to print a semantic value.

18 years ago* ChangeLog: Correct formatting.
Joel E. Denny [Fri, 6 Jan 2006 01:14:49 +0000 (01:14 +0000)] 
* ChangeLog: Correct formatting.

18 years ago* tests/glr-regression.at: For consistency with my newer test cases,
Joel E. Denny [Fri, 6 Jan 2006 01:07:37 +0000 (01:07 +0000)] 
* tests/glr-regression.at: For consistency with my newer test cases,
don't thank myself.

18 years ago* data/glr.c (yyresolveValue): When merging semantic options, if at
Joel E. Denny [Thu, 5 Jan 2006 21:07:54 +0000 (21:07 +0000)] 
* data/glr.c (yyresolveValue): When merging semantic options, if at
least one user action succeeds but a later one cuts the parse, then
destroy the semantic value before returning rather than leaking it.
(yyresolveStates): If a user action cuts the parse and thus
yyresolveValue fails, ignore the (unset) semantic value rather than
corrupting the yyGLRState, and empty the semantic options list since
the user actions should have called all necessary destructors.
Simplify code with YYCHK.
* tests/glr-regression.at (Corrupted semantic options if user action
cuts parse): New test case.
(Undesirable destructors if user action cuts parse): New test case.
Before applying any of this patch, this test case never actually failed
for me... but only because the corrupted semantic options usually
masked this bug.
(Leaked merged semantic value if user action cuts parse): New test
case.

18 years ago* src/reader.c, src/symlist.h, src/symlist.c: s/mid_rule/midrule/.
Akim Demaille [Thu, 5 Jan 2006 13:38:58 +0000 (13:38 +0000)] 
* src/reader.c, src/symlist.h, src/symlist.c: s/mid_rule/midrule/.

18 years agoRemove stray "*/".
Paul Eggert [Wed, 4 Jan 2006 23:42:53 +0000 (23:42 +0000)] 
Remove stray "*/".

18 years agoRegenerate.
Paul Eggert [Wed, 4 Jan 2006 23:40:11 +0000 (23:40 +0000)] 
Regenerate.

18 years agoUse ususual GNU style.
Paul Eggert [Wed, 4 Jan 2006 23:39:06 +0000 (23:39 +0000)] 
Use ususual GNU style.

18 years ago(b4_c_modern): Parenthesize.
Paul Eggert [Wed, 4 Jan 2006 23:37:07 +0000 (23:37 +0000)] 
(b4_c_modern): Parenthesize.

18 years ago* data/c.m4 (b4_c_modern): New macro, with a new provision for _MSC_VER.
Paul Eggert [Wed, 4 Jan 2006 23:35:43 +0000 (23:35 +0000)] 
* data/c.m4 (b4_c_modern): New macro, with a new provision for _MSC_VER.
(b4_c_function_def): Use it.
* data/yacc.c (YYMODERN_C): Remove.  All uses replaced by
b4_c_modern.
(yystrlen, yystpcpy, yyparse): Use b4_c_function... macros rather
than rolling our own.

18 years agoAlso warn about non-used mid-rule values.
Akim Demaille [Wed, 4 Jan 2006 09:18:37 +0000 (09:18 +0000)] 
Also warn about non-used mid-rule values.
* src/symlist.h, src/symlist.c (symbol_list): Add a mid_rule
member.
(symbol_list_new): Adjust.
* src/reader.c (symbol_typed_p): New.
(grammar_rule_check): Use it.
(grammar_midrule_action): Bind a mid-rule LHS to its rule.
Check its rule.
* tests/input.at (AT_CHECK_UNUSED_VALUES): New.
Use it.
* tests/actions.at (Exotic Dollars): Adjust.

18 years ago* src/reader.c (grammar_midrule_action): If $$ is set in a
Akim Demaille [Wed, 4 Jan 2006 08:32:46 +0000 (08:32 +0000)] 
* src/reader.c (grammar_midrule_action): If $$ is set in a
mid-rule, move the `used' bit to its lhs.
* tests/input.at (Unused values): New.
* tests/actions.at (Exotic Dollars): Adjust: exp is not typed.

18 years agoRegenerate.
Paul Eggert [Tue, 3 Jan 2006 22:39:33 +0000 (22:39 +0000)] 
Regenerate.

18 years ago* doc/bison.texinfo (Bison Options): Say more accurately what
Paul Eggert [Tue, 3 Jan 2006 22:35:45 +0000 (22:35 +0000)] 
* doc/bison.texinfo (Bison Options): Say more accurately what
--yacc does.
* src/parse-gram.y (rules_or_grammar_declaration): Don't complain
about declarations in the grammar when in Yacc mode, as POSIX does
not require a diagnostic when the grammar uses extensions.

18 years agoUpdate copyright.
Paul Eggert [Tue, 3 Jan 2006 22:25:58 +0000 (22:25 +0000)] 
Update copyright.

18 years ago(reduce_grammar): Remove unnecessary cast to bool.
Paul Eggert [Tue, 3 Jan 2006 22:24:43 +0000 (22:24 +0000)] 
(reduce_grammar): Remove unnecessary cast to bool.

18 years agoWarn about dubious constructions like "%token T T".
Paul Eggert [Tue, 3 Jan 2006 21:31:57 +0000 (21:31 +0000)] 
Warn about dubious constructions like "%token T T".
* src/symtab.h (struct symbol.declared): New member.
* src/symtab.c (symbol_new): Initialize it to false.
(symbol_class_set): New arg DECLARING, specifying whether
this is a declaration that we want to warn about, if there
is more than one of them.  All uses changed.

18 years ago* data/glr.c, data/glr.cc, data/lalr1.cc, data/yacc.c:
Paul Eggert [Tue, 3 Jan 2006 20:25:54 +0000 (20:25 +0000)] 
* data/glr.c, data/glr.cc, data/lalr1.cc, data/yacc.c:
Allow multiple %union directives, whose contents concatenate.
* src/parse-gram.y (grammar_declaration): Likewise.
Use muscle_code_grow, so that we don't need stype_line any more.
All uses changed.

18 years ago(muscle_grow): Fix comment.
Paul Eggert [Tue, 3 Jan 2006 20:19:41 +0000 (20:19 +0000)] 
(muscle_grow): Fix comment.

18 years agoUpdate copyright year to 2006.
Paul Eggert [Tue, 3 Jan 2006 19:12:55 +0000 (19:12 +0000)] 
Update copyright year to 2006.

18 years agoHave glr.cc pass (some of) the calc.at tests.
Akim Demaille [Tue, 3 Jan 2006 09:06:22 +0000 (09:06 +0000)] 
Have glr.cc pass (some of) the calc.at tests.
* data/glr.cc (b4_parse_param_orig): New.
(b4_parse_param): Improve its definition, and bound it more
clearly in the skeleton.
(b4_epilogue): Append, instead of prepending, in order to keep
#line consistency.
Simplify the generation of auxiliary functions: locations and
purity are mandated.
(b4_global_tokens_and_yystype): Honor it.
* data/location.cc (c++.m4): Don't include it.
* tests/local.at (_AT_BISON_OPTION_PUSHDEFS): Define AT_GLR_CC_IF
and AT_SKEL_CC_IF.
* tests/calc.at (AT_CHECK_CALC): Rely on AT_SKEL_CC_IF instead of
AT_LALR1_CC_IF.
Be sure to initialize the first position's filename.
(AT_CHECK_CALC_LALR1_CC): Add %location and %defines, they are
mandated anyway.
(AT_CHECK_CALC_GLR_CC): New.
Use it to exercise glr.cc as a lalr1.cc drop-in replacement.

18 years ago* src/output.c (output_skeleton): Don't hard wire the inclusion of
Akim Demaille [Mon, 2 Jan 2006 16:26:17 +0000 (16:26 +0000)] 
* src/output.c (output_skeleton): Don't hard wire the inclusion of
c.m4.
* data/c++.m4, data/glr.c, data/yacc.c: Include c.m4.
* data/glr.cc: Do not include stack.hh.

18 years ago* src/output.c (output_skeleton): Don't hard wire the inclusion of
Akim Demaille [Mon, 2 Jan 2006 16:06:11 +0000 (16:06 +0000)] 
* src/output.c (output_skeleton): Don't hard wire the inclusion of
c.m4.
* data/c++.m4: Include c.m4.
* data/glr.cc: Do not include stack.hh.

18 years ago* data/glr.c: Reformat whitespace with tabs.
Akim Demaille [Mon, 2 Jan 2006 15:28:03 +0000 (15:28 +0000)] 
* data/glr.c: Reformat whitespace with tabs.
(b4_lpure_formals): Remove this unused m4 macro.
* tests/cxx-type.at: Reformat whitespace with tabs.
(_AT_TEST_GLR_CXXTYPES): In union Node, rename node_info to nodeInfo
since it's a member.  Rename type to isNterm for clarity.

18 years agoLet glr.cc catch up with symbol_value_print.
Akim Demaille [Thu, 29 Dec 2005 11:06:33 +0000 (11:06 +0000)] 
Let glr.cc catch up with symbol_value_print.
* data/glr.cc (b4_yysymprint_generate): Replace by...
(b4_yy_symbol_print_generate): this.
(yy_symbol_print, yy_symbol_value_print): Declare them.

18 years agoUpdate copyright.
Paul Eggert [Wed, 28 Dec 2005 08:51:34 +0000 (08:51 +0000)] 
Update copyright.

18 years ago* src/location.h (boundary): Note that a line or column equal
Paul Eggert [Wed, 28 Dec 2005 08:45:47 +0000 (08:45 +0000)] 
* src/location.h (boundary): Note that a line or column equal
to INT_MAX indicates an overflow.
* src/scan-gram.l: Include verify.h.  Don't include get-errno.h.
(rule_length_overflow, increment_rule_length, add_column_width):
New functions.
(<INITIAL>{id}, <SC_ESCAPED_STRING>"\"", <SC_ESCAPED_CHARACTER>"'"):
(<SC_BRACED_CODE>"}"):
Use increment_rule_length rather than incrementing it by hand.
(adjust_location, handle_syncline): Diagnose overflow.
(handle_action_dollar, handle_action_at):
Fix bug with monstrosities like $-2147483648.
Remove now-unnecessary checks.
(scan_integer): Verify assumptions and remove now-unnecessary checks.
(convert_ucn_to_byte): Verify assumptions.
(handle_syncline): New arg LOC.  All callers changed.
Don't store through a value derived from char const * pointer.

18 years ago(grammar_rule_check): Rewrite slightly to avoid GCC warnings.
Paul Eggert [Wed, 28 Dec 2005 08:31:22 +0000 (08:31 +0000)] 
(grammar_rule_check): Rewrite slightly to avoid GCC warnings.

18 years ago* src/reader.c (grammar_midrule_action, grammar_symbol_append):
Paul Eggert [Tue, 27 Dec 2005 19:54:41 +0000 (19:54 +0000)] 
* src/reader.c (grammar_midrule_action, grammar_symbol_append):
Remove unnecessary forward static decls.

18 years ago* src/reader.c (grammar_current_rule_check): Also check that $$
Akim Demaille [Tue, 27 Dec 2005 17:50:00 +0000 (17:50 +0000)] 
* src/reader.c (grammar_current_rule_check): Also check that $$
is used.
Take the rule to check as argument, hence rename as...
(grammar_rule_check): this.
* src/reader.h, src/reader.c (grammar_rule_begin, grammar_rule_end):
Rename as...
(grammar_rule_begin, grammar_rule_end): these, for consistency.
(grammar_midrule_action, grammar_symbol_append): Now static.
* tests/torture.at (input): Don't rely on the default action
being always performed.
* tests/calc.at: "Set" $$ even when the action is "cut" with
YYERROR or other.
* tests/actions.at (Exotic Dollars): Instead of using unused
values, check that the warning is issued.

18 years agoSome wrapping.
Akim Demaille [Tue, 27 Dec 2005 15:42:44 +0000 (15:42 +0000)] 
Some wrapping.

18 years agoRegenerate.
Paul Eggert [Fri, 23 Dec 2005 00:24:39 +0000 (00:24 +0000)] 
Regenerate.

18 years ago* NEWS: Improve wording for unused-value warnings.
Paul Eggert [Fri, 23 Dec 2005 00:13:11 +0000 (00:13 +0000)] 
* NEWS: Improve wording for unused-value warnings.

18 years ago* data/lalr1.cc, data/yacc.c, data/glr.c, data/c.m4
Akim Demaille [Thu, 22 Dec 2005 13:01:50 +0000 (13:01 +0000)] 
* data/lalr1.cc, data/yacc.c, data/glr.c, data/c.m4
(b4_yysymprint_generate): Rename as...
(b4_yy_symbol_print_generate): this.
Generate yy_symbol_print instead of yysymprint.
Generate also yy_symbol_value_print, and use it.

18 years agoWarn about unused values.
Akim Demaille [Thu, 22 Dec 2005 11:40:05 +0000 (11:40 +0000)] 
Warn about unused values.
* src/symlist.h, src/symlist.c (symbol_list, symbol_list_new): Add
a `used' member.
(symbol_list_n_get, symbol_list_n_used_set): New.
(symbol_list_n_type_name_get): Use symbol_list_n_get.
* src/scan-gram.l (handle_action_dollar): Flag used symbols.
* src/reader.c (grammar_current_rule_check): Check that values are
used.
* src/symtab.c (symbol_print): Accept 0.
* tests/existing.at: Remove the type information.
Empty the actions.
Remove useless actions (beware of mid-rule actions: perl -000
-pi -e 's/s*{}(?=[ns]*[|;])//g').
* tests/actions.at (Exotic Dollars): Use unused values.
* tests/calc.at: Likewise.
* tests/glr-regression.at (No users destructors if stack 0 deleted):
Likewise.
* src/gram.c (rule_useful_p, rule_never_reduced_p): Use
rule_useful_p.

18 years agoUndo 2005-12-01 tentative license wording change.
Paul Eggert [Thu, 22 Dec 2005 04:38:26 +0000 (04:38 +0000)] 
Undo 2005-12-01 tentative license wording change.

18 years ago* NEWS: Reword %destructor vs YYABORT etc.
Paul Eggert [Thu, 22 Dec 2005 00:24:40 +0000 (00:24 +0000)] 
* NEWS: Reword %destructor vs YYABORT etc.
* data/glr.c: Use American spacing, for consistency.
* data/glr.cc: Likewise.
* data/lalr1.cc: Likewise.
* data/yacc.c: Likewise.
* data/yacc.c: Reformat comments slightly.
* doc/bison.texinfo: Replace "non-" with "non" when that makes sense,
for consistency.  Fix some spelling errors and reword recently-included
text slightly.
* tests/cxx-type.at: Cast results of malloc, for C++.

18 years ago* tests/cxx-type.at: Construct a tree, count the parents of shared
Akim Demaille [Wed, 21 Dec 2005 15:45:17 +0000 (15:45 +0000)] 
* tests/cxx-type.at: Construct a tree, count the parents of shared
nodes, and free each node once and only once.  Previously, the memory
for semantic values was leaked instead.

18 years ago* data/glr.c (struct yyGLRStack): If pure, add yyval and yyloc members.
Akim Demaille [Wed, 21 Dec 2005 15:33:13 +0000 (15:33 +0000)] 
* data/glr.c (struct yyGLRStack): If pure, add yyval and yyloc members.
(yylval, yylloc): If pure, #define to yystackp->yyval and
yystackp->yyloc similar to yychar and yynerrs.
(yyparse): If pure, remove local yylval and yylloc. Add local
yystackp to accommodate pure definitions of yylval and yylloc.
(b4_lex_param, b4_lyyerror_args, b4_lpure_args): If pure, change
yylvalp and yyllocp to &yylval and &yylloc.
(nerrs, char, lval, lloc): If pure, add #define's for b4_prefix[]
namespace. Previously, nerrs and char were missing, but lval and lloc
weren't necessary.
(yyprocessOneStack, yyreportSyntaxError, yyrecoverSyntaxError): Remove
yylvalp and yyllocp parameters since, if pure, these are now always
accessible through yystackp.  If not pure, they are still accessible
globally.
* data/glr.c, data/yacc.c (YYLLOC_DEFAULT): Change `if (N)' to
`if (YYID (N))' to pacify lint.

18 years agoYYACCEPT, YYERROR, and YYABORT, as user actions, should not
Akim Demaille [Wed, 21 Dec 2005 15:28:30 +0000 (15:28 +0000)] 
YYACCEPT, YYERROR, and YYABORT, as user actions, should not
destroy the RHS symbols of a rule.
* data/yacc.c (yylen): Initialize to 0.
Keep its value to the number of items to possibly shift.
In particular, a regular successful parse that ends on YYFINAL by
a (internal) YYACCEPT must not have yylen != 0.
(yyerrorlab, yyreturn): Pop the RHS.
Reorder a bit to emphasize the `shifting' bits of code.
(YYPOPSTACK): Now accept a number of items to pop.
* data/lalr1.cc: Likewise.
* data/glr.c: Formatting changes.
Use goto instead of fall through.
* doc/bison.texinfo (Destructor Decl): Complete.

18 years agoFix NEWS.
Akim Demaille [Wed, 21 Dec 2005 13:49:44 +0000 (13:49 +0000)] 
Fix NEWS.

18 years ago* Makefile.am: DJGPP specific files added to EXTRA_DIST.
Juan Manuel Guerrero [Wed, 21 Dec 2005 00:24:54 +0000 (00:24 +0000)] 
* Makefile.am: DJGPP specific files added to EXTRA_DIST.
* djgpp/Makefile.maint: Fix PACKAGE variable computation.
* djgpp/config.bat: Replace every occurence of the file name
scan-gram-c.c with c-scan-gram.c. The same for scan-skel-c.c with
c-scan-skel.c to conform with the 8.3 file name restriction on MSDOS.
* djgpp/config.sed: Replace every occurence of the file name
scan-gram-c.c with c-scan-gram.c. The same for scan-skel-c.c with
c-scan-skel.c to conform with the 8.3 file name restriction on MSDOS.
* djgpp/djunpack.bat: DJGPP specific file.
* djgpp/fnchange.lst: DJGPP specific file.
* djgpp/README.in: Add new information about how to unpack the bison
source on MSDOS and other systems which have 8.3 file name restrictions
using djunpack.bat and fnchange.lst.

18 years agoDJGPP specific files added to EXTRA_DIST.
Juan Manuel Guerrero [Wed, 21 Dec 2005 00:11:44 +0000 (00:11 +0000)] 
DJGPP specific files added to EXTRA_DIST.

18 years agoAdd new information about how to unpack the bison source on
Juan Manuel Guerrero [Wed, 21 Dec 2005 00:01:40 +0000 (00:01 +0000)] 
Add new information about how to unpack the bison source on
MSDOS and other systems which have 8.3 file name restrictions
using djunpack.bat and fnchange.lst.

18 years agoReplace file name scan-gram-c.c with scangram-c.c and
Juan Manuel Guerrero [Wed, 21 Dec 2005 00:01:28 +0000 (00:01 +0000)] 
Replace file name scan-gram-c.c with scangram-c.c and
scan-skel-c.c with /src/scanskel-c.c to conform with
the 8.3 file name restriction on MSDOS.

18 years agoFix PACKAGE variable computation.
Juan Manuel Guerrero [Tue, 20 Dec 2005 23:59:50 +0000 (23:59 +0000)] 
Fix PACKAGE variable computation.

18 years agoDJGPP specific file.
Juan Manuel Guerrero [Tue, 20 Dec 2005 23:58:00 +0000 (23:58 +0000)] 
DJGPP specific file.

18 years ago* data/glr.c: Reorder typedef declarations for structs to match order
Paul Eggert [Mon, 12 Dec 2005 21:04:39 +0000 (21:04 +0000)] 
* data/glr.c: Reorder typedef declarations for structs to match order
of struct declarations.
Rename yystack everywhere to yystackp except in yyparse where it's not
a pointer.
(yyglrShift): Change parameter YYSTYPE yysval to YYSTYPE* yyvalp for
consistency.
(yyis_table_ninf): Change 0 to YYID (0) to pacify lint.
(yyreportSyntaxError): Add /*ARGSUSED*/ to pacify lint.
(yyparse): Change while (yytrue) to while ( YYID (yytrue)) to pacify
lint.

18 years ago(build_cvs_prefix): Remove; unused.
Paul Eggert [Mon, 12 Dec 2005 20:59:30 +0000 (20:59 +0000)] 
(build_cvs_prefix): Remove; unused.
(CVS_PREFIX): Adjust to yesterday's Savannah reorganization
when getting gnulib.

18 years ago* tests/sets.at (Accept): Fix typos in regular expression used to
Paul Eggert [Sat, 10 Dec 2005 00:25:27 +0000 (00:25 +0000)] 
* tests/sets.at (Accept): Fix typos in regular expression used to
sed out the final state number.

18 years agoRegenerate.
Paul Eggert [Fri, 9 Dec 2005 23:53:57 +0000 (23:53 +0000)] 
Regenerate.

18 years agoWork around flex portability bug.
Paul Eggert [Fri, 9 Dec 2005 23:53:14 +0000 (23:53 +0000)] 
Work around flex portability bug.

18 years agoWork around portability problem on Solaris 10: flex-generated
Paul Eggert [Fri, 9 Dec 2005 23:51:26 +0000 (23:51 +0000)] 
Work around portability problem on Solaris 10: flex-generated
files include <stdio.h> before <config.h>, which messes up
because the latter defines __EXTENSIONS__.  Address the problem
by creating two new little files that include <config.h> first,
then include the flex-generated files.  Rewrite everyone else
to include <config.h> first, as well.
* lib/timevar.c: Always include "config.h".
* src/Makefile.am (bison_SOURCES): Replace scan-gram.l with
scan-gram-c.c, and scan-skel.l with scan-skel-c.c.
(EXTRA_bison_SOURCES): New macro.
* src/scan-gram-c.c, src/scan-skel-c.c: New files.
* src/system.h: Don't include config.h.
* src/LR0.c: Include <config.h> first.
* src/assoc.c: Likewise.
* src/closure.c: Likewise.
* src/complain.c: Likewise.
* src/conflicts.c: Likewise.
* src/derives.c: Likewise.
* src/files.c: Likewise.
* src/getargs.c: Likewise.
* src/gram.c: Likewise.
* src/lalr.c: Likewise.
* src/location.c: Likewise.
* src/main.c: Likewise.
* src/muscle_tab.c: Likewise.
* src/nullable.c: Likewise.
* src/output.c: Likewise.
* src/parse-gram.y: Likewise.
* src/print.c: Likewise.
* src/print_graph.c: Likewise.
* src/reader.c: Likewise.
* src/reduce.c: Likewise.
* src/relation.c: Likewise.
* src/state.c: Likewise.
* src/symlist.c: Likewise.
* src/symtab.c: Likewise.
* src/tables.c: Likewise.
* src/uniqstr.c: Likewise.
* src/vcg.c: Likewise.

18 years agoRegenerate.
Paul Eggert [Fri, 9 Dec 2005 22:44:37 +0000 (22:44 +0000)] 
Regenerate.

18 years ago* src/parse-gram.y: Fix minor problems uncovered by lint.
Paul Eggert [Fri, 9 Dec 2005 22:43:00 +0000 (22:43 +0000)] 
* src/parse-gram.y: Fix minor problems uncovered by lint.
(current_lhs, current_lhs_location): Now static.
(current_assoc): Remove unused variable.

18 years agoCleanups so that Bison-generated parsers have less lint.
Paul Eggert [Fri, 9 Dec 2005 22:14:36 +0000 (22:14 +0000)] 
Cleanups so that Bison-generated parsers have less lint.
* data/c.m4 (b4_yydestruct_generate, b4_yysymprint_generate):
Prepend /*ARGSUSED*/, for lint's sake.
* data/glr.c (YYUSE): Properly parenthesize, and use an alternate
definition if 'lint' is defined.
(YYID): New macro (or function, if lint).
All uses of /*CONSTCOND*/0 replaced by YYID(0).
* data/yacc.c: Likewise.
* data/glr.c (yyuserAction, yyuserMerge, yy_reduce_print):
(yyrecoverSyntaxError): Prepend /*ARGSUSED*/.
* data/glr.cc (YYLLOC_DEFAULT): Omit /*CONSTCOND*/ since this code
is C++ only.
* data/lalr1.cc (YYUSE): Just use a cast, since this code is C++ only.
* data/yacc.c (YYSTACK_FREE) [defined YYSTACK_ALLOC]:
Use YYID(0) rather than 0, for lint.
(yystrlen): Rewrite to avoid lint warning about ptrdiff_t overflow.
(yysyntax_error): Rewrite to avoid lint warnings about parenthesization.

18 years ago* tests/glr-regression.at
Paul Eggert [Thu, 8 Dec 2005 06:52:43 +0000 (06:52 +0000)] 
* tests/glr-regression.at
(Improper handling of embedded actions and dollar(-N) in GLR parsers):
Close memory leak reported by twlevo.

18 years agoMention yyparse, too.
Paul Eggert [Wed, 7 Dec 2005 07:47:52 +0000 (07:47 +0000)] 
Mention yyparse, too.

18 years ago* data/glr.c (yyprocessOneStack): Synchronize the shift for all
Paul Eggert [Tue, 6 Dec 2005 19:38:25 +0000 (19:38 +0000)] 
* data/glr.c (yyprocessOneStack): Synchronize the shift for all
stacks, and iterate another stack in order to call user
destructors.
* tests/glr-regression.at (No users destructors if stack 0 deleted):
New test case.
(Duplicated user destructor for lookahead): This test now is expected
to succeed.

18 years agoDocument the license change.
Paul Eggert [Thu, 1 Dec 2005 20:08:35 +0000 (20:08 +0000)] 
Document the license change.

18 years agoRegenerate.
Paul Eggert [Thu, 1 Dec 2005 20:04:06 +0000 (20:04 +0000)] 
Regenerate.

18 years ago* data/yacc.c: Say "parser skeleton" rather than "file", since
Paul Eggert [Thu, 1 Dec 2005 20:03:55 +0000 (20:03 +0000)] 
* data/yacc.c: Say "parser skeleton" rather than "file", since
it's no longer just a file.
* data/glr.c: Grant a special exception for C GLR parsers, that
reads like the already-existing exception for C LALR(1) parsers.
* data/glr.cc: Likewise.
* data/lalr1.cc: Likewise.
* data/location.cc: Likewise.
* data/yacc.c: Reword the "written by" statement to clarify that
it was the parser skeleton, not the entire output file.
* data/glr.c: Written by Paul Hilfinger.
* data/glr.cc: Written by Akim Demaille.
* data/lalr1.cc: Likewise.

19 years ago* data/yacc.c (yy_reduce_print, YY_REDUCE_PRINT):
Paul Eggert [Fri, 18 Nov 2005 19:37:13 +0000 (19:37 +0000)] 
* data/yacc.c (yy_reduce_print, YY_REDUCE_PRINT):
Fix typos in previous change that broke 'make check'.
YY_REDUCE_PRINT cannot be a pseudo-varargs macro; that isn't
supported in C.
* tests/calc.at (_AT_CHECK_CALC,_AT_CHECK_CALC_ERROR):
Don't check NUM-STDERR-LINES, since the output format is fluctuating.
We can revert this once things settle down.

19 years ago* src/conflicts.c (conflicts_print): Don't print file name twice
Paul Eggert [Fri, 18 Nov 2005 18:16:44 +0000 (18:16 +0000)] 
* src/conflicts.c (conflicts_print): Don't print file name twice
when %expect fails because there were no conflicts.
* doc/bison.texinfo (Expect Decl): Tighten up wording in previous
change.
* tests/conflicts.at (%expect not enough, %expect too much):
(%expect with reduce conflicts): Adjust to new behavior.

* src/conflicts.c (conflicts_print): Unsatisfied %expectation are
errors.
* NEWS: Document this.
* doc/bison.texinfo (Expect Decl): Likewise.

19 years agoGeneralize the display of semantic values and locations in traces.
Akim Demaille [Wed, 16 Nov 2005 14:20:48 +0000 (14:20 +0000)] 
Generalize the display of semantic values and locations in traces.
* data/glr.c (yy_reduce_print): Fix indices (again).
* data/c++.m4 (b4_rhs_value, b4_rhs_location): Don't expect
literal integers.
* data/lalr1.cc (yyreduce_print): Rename as...
(yy_reduce_print): this.
Display values and locations.
* data/yacc.c (yy_reduce_print): Likewise.
(YY_REDUCE_PRINT): Adjust to pass the required arguments.
(yysymprint): Move higher to be visible from yy_reduce_print).
(yyparse): Adjust.
* tests/calc.at: Adjust the expected length of the traces.

19 years ago* data/glr.c (yy_reduce_print): The loop was quite wrong: type are
Akim Demaille [Mon, 14 Nov 2005 17:20:28 +0000 (17:20 +0000)] 
* data/glr.c (yy_reduce_print): The loop was quite wrong: type are
from 1 to N, while values and location start at 0.
(b4_rhs_location, b4_rhs_value): Add parens around $1 and $2.

19 years ago* data/glr.c (yy_reduce_print): Fix the $ number.
Akim Demaille [Mon, 14 Nov 2005 15:33:18 +0000 (15:33 +0000)] 
* data/glr.c (yy_reduce_print): Fix the $ number.

19 years agoFix incorrect comment.
Akim Demaille [Mon, 14 Nov 2005 15:19:16 +0000 (15:19 +0000)] 
Fix incorrect comment.

19 years ago"Use" parse parameters.
Akim Demaille [Mon, 14 Nov 2005 15:18:34 +0000 (15:18 +0000)] 
"Use" parse parameters.
* data/c.m4 (b4_parse_param_for, b4_parse_param_use): New.
* data/glr.c, data/glr.cc: Use them.
* data/glr.c (YYUSE): Have a C++ definition that supports
non-pointer types.

19 years ago* data/glr.c (yyexpandGLRStack): Declare only if defined.
Akim Demaille [Mon, 14 Nov 2005 14:34:38 +0000 (14:34 +0000)] 
* data/glr.c (yyexpandGLRStack): Declare only if defined.

19 years ago* data/glr.cc: New.
Akim Demaille [Mon, 14 Nov 2005 08:13:07 +0000 (08:13 +0000)] 
* data/glr.cc: New.
* data/m4sugar/m4sugar.m4 (m4_prepend): New.

19 years agoHave glr.c include its header file when created.
Akim Demaille [Mon, 14 Nov 2005 08:09:00 +0000 (08:09 +0000)] 
Have glr.c include its header file when created.
* data/glr.c (b4_shared_declarations): New.
Output them verbatim in the parser if !%defines, otherwise
output then in the header file, and include it instead.

19 years agoLet position and location be PODs.
Akim Demaille [Sat, 12 Nov 2005 14:13:03 +0000 (14:13 +0000)] 
Let position and location be PODs.
* data/location.cc (position::initialize, location::initialize): New.
(position::position, location::location): Define only if
b4_location_constructors is defined.
* data/lalr1.cc (b4_location_constructors): Define it for backward
compatibility.
* doc/bison.texinfo (Initial Action Decl): Use initialize.

19 years ago* data/lalr1.cc: Move the body of the ctor and dtor into the
Akim Demaille [Sat, 12 Nov 2005 11:32:46 +0000 (11:32 +0000)] 
* data/lalr1.cc: Move the body of the ctor and dtor into the
parser file (instead of the header).
Wrap the implementations in a "namespace yy".

19 years ago* data/glr.c: Comment changes.
Akim Demaille [Fri, 11 Nov 2005 10:39:35 +0000 (10:39 +0000)] 
* data/glr.c: Comment changes.

19 years agoWhen yydebug, report semantic and location values for reductions.
Akim Demaille [Fri, 11 Nov 2005 10:36:24 +0000 (10:36 +0000)] 
When yydebug, report semantic and location values for reductions.
* data/glr.c (yy_reduce_print): Report the semantic values and the
locations.
(YY_REDUCE_PRINT): Adjust.
(yyglrReduce): Use them.
(b4_rhs_value, b4_rhs_location): Remove m4_eval invocations.
* data/c.m4 (b4_yysymprint_generate): Specify the const arguments.
* tests/calc.at (_AT_CHECK_CALC_ERROR): Remove the reduction
traces.

19 years ago* data/glr.c (yynewGLRStackItem, YY_RESERVE_GLRSTACK): New.
Akim Demaille [Fri, 11 Nov 2005 09:20:03 +0000 (09:20 +0000)] 
* data/glr.c (yynewGLRStackItem, YY_RESERVE_GLRSTACK): New.
(yyaddDeferredAction, yyglrShift, yyglrShiftDefer): Use them.
(yyexpandGLRStack, YYRELOC): Define only when YYSTACKEXPANDABLE.

19 years ago* m4/cxx.m4, examples/Makefile.am: Don't build
Paul Eggert [Thu, 10 Nov 2005 00:33:04 +0000 (00:33 +0000)] 
* m4/cxx.m4, examples/Makefile.am: Don't build
examples/calc++ if no C++ compiler is available.

19 years ago* src/scan-skel.l: Use a couple of asserts.
Akim Demaille [Wed, 9 Nov 2005 16:11:25 +0000 (16:11 +0000)] 
* src/scan-skel.l: Use a couple of asserts.

19 years agoIn some (weird) cases, the final state number is incorrect.
Akim Demaille [Wed, 9 Nov 2005 15:48:05 +0000 (15:48 +0000)] 
In some (weird) cases, the final state number is incorrect.
Reported by Alexandre Duret-Lutz.
* src/LR0.c (state_list_append): Remove the computation of
final_state.
(save_reductions): Do it here.
(get_state): Alpha conversion.
(generate_states): Use a for loop.
* src/gram.h (item_number_is_rule_number)
(item_number_is_symbol_number): New.
* src/state.c: Use assert.
* src/system.h: Include assert.h.
* tests/sets.at (Accept): New.

19 years agoTypo.
Akim Demaille [Thu, 3 Nov 2005 16:23:21 +0000 (16:23 +0000)] 
Typo.

19 years agodata/glr.c (yyfill): Adjust comment.
Paul Hilfinger [Mon, 31 Oct 2005 01:16:32 +0000 (01:16 +0000)] 
data/glr.c (yyfill): Adjust comment.
 (yyresolveAction): Initialize default location properly for empty right-hand
 sides.
 (yydoAction): Ditto.  Add comment explaining apparently dead code.
* tests/glr-regression.at
 (Incorrectly initialized location for empty right-hand side in GLR): New test.

19 years ago* bootstrap (cleanup_gnulib): New function. Use it to clean up
Paul Eggert [Mon, 31 Oct 2005 00:11:48 +0000 (00:11 +0000)] 
* bootstrap (cleanup_gnulib): New function.  Use it to clean up
gnulib when interrupted.  This fixes some race conditions and
works around some portability problems (one noted by Paul
Hilfinger).

19 years ago* Makefile.cfg: Adjust to config -> build-aux.
Akim Demaille [Sat, 22 Oct 2005 06:44:35 +0000 (06:44 +0000)] 
* Makefile.cfg: Adjust to config -> build-aux.
Reported by twledo.

19 years ago* data/c.m4 (b4_yydestruct_generate, b4_yysymprint_generate): Pass
Akim Demaille [Fri, 21 Oct 2005 11:36:22 +0000 (11:36 +0000)] 
* data/c.m4 (b4_yydestruct_generate, b4_yysymprint_generate): Pass
the %parse-params.
* data/glr.c (YY_SYMBOL_PRINT, yydestroyGLRState): Adjust.
* data/yacc.c (b4_Pure_if): Rename as...
(b4_yacc_pure_if): this.
(YY_SYMBOL_PRINT, yyparse): Adjust.
* doc/bison.texinfo: Formatting changes.

19 years agoFinish the transition config -> build-aux.
Akim Demaille [Fri, 21 Oct 2005 09:13:01 +0000 (09:13 +0000)] 
Finish the transition config -> build-aux.
* configure.ac, Makefile.am: Use build-aux.
* config/prev-version, config/announce-gen, config/Makefile.am:
Move to...
* build-aux/prev-version, build-aux/announce-gen,
* build-aux/Makefile.am: here.

19 years ago* examples/calc++/test: Use set -x only when VERBOSE.
Akim Demaille [Fri, 14 Oct 2005 06:10:54 +0000 (06:10 +0000)] 
* examples/calc++/test: Use set -x only when VERBOSE.

19 years ago* NEWS: Bison now warns if it finds a stray `$' or `@' in an action.
Paul Eggert [Thu, 13 Oct 2005 19:38:46 +0000 (19:38 +0000)] 
* NEWS: Bison now warns if it finds a stray `$' or `@' in an action.
* src/scan-gram.l (<SC_BRACED_CODE>[$@]): Implement this.

19 years ago* src/scan-skel.l: Output the base name parts of the parser and
Akim Demaille [Thu, 13 Oct 2005 10:13:24 +0000 (10:13 +0000)] 
* src/scan-skel.l: Output the base name parts of the parser and
header file names.
* tests/output.at (AT_CHECK_OUTPUT): Support subdirectorioes, and
additional checks.
Use this to exercise C++ outputs in subdirs.
Reported by Oleg Smolsky.

19 years agoRegenerate.
Paul Eggert [Thu, 13 Oct 2005 06:24:04 +0000 (06:24 +0000)] 
Regenerate.

19 years ago* data/c.m4 (b4_c_function_def): Look at __C99_FUNC__, not at
Paul Eggert [Thu, 13 Oct 2005 06:23:54 +0000 (06:23 +0000)] 
* data/c.m4 (b4_c_function_def): Look at __C99_FUNC__, not at
__STDC_VERSION__, as IBM cc 7.0 doesn't define the latter either.
Problem reported by John P. Hartmann.
* data/yacc.c (YYMODERN_C): Likewise.  Don't define if the user has
already defined it.