]> git.saurik.com Git - bison.git/log
bison.git
15 years agoChangeLog: Fix typo for commit f3749, but it's too late for git log.
Joel E. Denny [Fri, 28 Aug 2009 18:31:10 +0000 (14:31 -0400)] 
ChangeLog: Fix typo for commit f3749, but it's too late for git log.

15 years ago%define: accept unquoted values.
Joel E. Denny [Fri, 28 Aug 2009 07:46:37 +0000 (03:46 -0400)] 
%define: accept unquoted values.

* NEWS (2.5): Group all %define changes together, and document
this one.  Remove quotes in IELR and canonical LR entry.
* doc/bison.texinfo: Remove quotes in most examples throughout.
(Decl Summary): Update %define documentation.
(Table of Symbols): Likewise.
* src/ielr.c (LrType): Update documentation.
* src/parse-gram.y (content.opt): Add production for ID.
* tests/calc.at: Likewise.
* tests/existing.at: Likewise.
* tests/input.at: Likewise.
* tests/local.at: Likewise.
* tests/push.at: Likewise.
* tests/reduce.at: Likewise.
* tests/torture.at: Likewise.
(cherry picked from commit cf499cff31eabd04e37107484647bdd453137d1d)

Conflicts:

doc/bison.texinfo
src/parse-gram.c
src/parse-gram.h
tests/actions.at
tests/calc.at

15 years ago%define lr.type: make values lowercase IDs.
Joel E. Denny [Fri, 28 Aug 2009 04:57:06 +0000 (00:57 -0400)] 
%define lr.type: make values lowercase IDs.

That is, "LALR" => "lalr", "IELR" => "ielr", and
"canonical LR" => "canonical-lr".
* NEWS (2.5): Update documentation.
* doc/bison.texinfo (Decl Summary): Likewise.
* src/ielr.c (ielr): Use new values.
* src/ielr.h (ielr): Update documentation.
* src/reader.c (prepare_percent_define_front_end_variables): Use
and validate new values.
* tests/existing.at (AT_TEST_EXISTING_GRAMMAR): Update test
grammars.
* tests/reduce.at (AT_TEST_LR_TYPE): Likewise.
(cherry picked from commit 6ba9640406758718fdcfb7a1154e58ce4d9b196c)

15 years agoscan-gram: avoid portability trap with ctype usage.
Eric Blake [Thu, 27 Aug 2009 16:56:53 +0000 (10:56 -0600)] 
scan-gram: avoid portability trap with ctype usage.

* src/scan-gram.l (<SC_ESCAPED_STRING,SC_ESCAPED_CHARACTER>):
Avoid compiler warning.

Signed-off-by: Eric Blake <ebb9@byu.net>
(cherry picked from commit bbbbe221d7c2ff2fff88f7a0c8dbfee73f2e8a58)

15 years agotests: use perl for printing special sequences to files.
Joel E. Denny [Thu, 27 Aug 2009 07:52:53 +0000 (03:52 -0400)] 
tests: use perl for printing special sequences to files.

And skip tests if perl is not available.  This is better than
playing tricks with shell portability.  Suggested by Akim
Demaille.
* tests/input.at (Bad character literals): Use it here for
omitting final newlines.
(Bad escapes in literals): Use it here for special characters.
(cherry picked from commit b70c7fb4e1db54e78d4f3d4a0f110a81118ffc60)

15 years agotests: show a use of %define lr.default-reductions "consistent"
Joel E. Denny [Wed, 26 Aug 2009 18:15:53 +0000 (14:15 -0400)] 
tests: show a use of %define lr.default-reductions "consistent"

* tests/conflicts.at (%nonassoc and eof): Extend to test that it
prevents the omission of expected tokens for %error-verbose.
(cherry picked from commit d1cc31c5f04b81a3620fa291020ce23490f3f9e7)

15 years agotests: portability fix.
Akim Demaille [Wed, 26 Aug 2009 09:53:18 +0000 (11:53 +0200)] 
tests: portability fix.

* tests/input.at (Bad escapes in literals): Don't expect "echo
'\0'" to output \ then 0.
(cherry picked from commit 3bed3a757fef03bb063e210ed74918bb875fe2e1)

15 years agoActually handle the yytable zero value correctly this time.
Joel E. Denny [Wed, 26 Aug 2009 06:40:38 +0000 (02:40 -0400)] 
Actually handle the yytable zero value correctly this time.

* data/glr.c, data/lalr1.cc, data/lalr1.java, data/yacc.c: Don't
mention zero values in the YYTABLE comments.
* data/glr.c (yytable_value_is_error): Don't check for zero
value.
* data/lalr1.cc (yy_table_value_is_error_): Likewise.
* data/yacc.c (yytable_value_is_error): Likewise.
* data/lalr1.java (yy_table_value_is_error_): Likewise.
(yysyntax_error): Fix typo in code: use yytable_ not yycheck_.
* src/tables.h: In header comments, explain why it's useless to
check for a zero value in yytable.
(cherry picked from commit aa0cb40d61cda5bfa9d325a45735439cbbd06327)

Conflicts:

data/bison.m4
data/lalr1.java

15 years agoMore fixes related to last two patches.
Joel E. Denny [Tue, 25 Aug 2009 23:41:49 +0000 (19:41 -0400)] 
More fixes related to last two patches.

* data/c.m4 (b4_table_value_equals): Comment that YYID must be
defined.
* data/glr.c, data/lalr1.cc, data/lalr1.java, data/yacc.c: Fix
yytable comments: zero indicates syntax error not default
action.
* data/glr.c (yyis_pact_ninf): Rename to...
(yypact_value_is_default): ... this.
(yyisDefaultedState): Update for rename.
(yyis_table_ninf): Rename to...
(yytable_value_is_error): ... this, and check for value zero
besides just YYTABLE_NINF.
(yygetLRActions): Check for default value from yypact.  It
appears that this check is always performed before this function
is invoked, and so adding the check here is probably redundant.
However, the code may evolve after this subtlety is forgotten.
Also, update for rename to yytable_value_is_error.  Because that
macro now checks for zero, a different but equivalent branch of
the if-then-else here is evaluated.
(yyreportSyntaxError): Update for rename to
yytable_value_is_error.  The zero condition was mishandled
before.
(yyrecoverSyntaxError): Update for renames.  No behavioral
changes.
* data/lalr1.cc, data/lalr1.java (yy_pact_value_is_default_):
New function.
(yy_table_value_is_error_): New function.
(parse): Use new functions where possible.  No behavioral
changes.
(yysyntax_error_, yysyntax_error): Use yy_table_value_is_error_.
The zero condition was mishandled before.
* data/yacc.c (yyis_pact_ninf): Rename to...
(yypact_value_is_default): ... this.
(yyis_table_ninf): Rename to...
(yytable_value_is_error): ... this, and check for value zero
besides just YYTABLE_NINF.
(yysyntax_error): Update for rename to yytable_value_is_error.
The zero condition was mishandled before.
(yyparse): Update for renames.  No behavioral changes.
* src/tables.h: Improve comments about yypact, yytable, etc.
more.  Most importantly, say yytable value of zero means syntax
error not default action.
(cherry picked from commit f2b30bdf3713e6fa9fafd0fc6caed68e38248ebc)

Conflicts:

data/bison.m4
data/lalr1.cc
data/lalr1.java
data/yacc.c
src/parse-gram.c
src/parse-gram.h

15 years agoFix %error-verbose for conflicts resolved by %nonassoc.
Joel E. Denny [Tue, 25 Aug 2009 05:13:02 +0000 (01:13 -0400)] 
Fix %error-verbose for conflicts resolved by %nonassoc.

* NEWS (2.5): Document.
* data/glr.c (yyreportSyntaxError): Fix this by checking
yyis_table_ninf.
* data/yacc.c (yysyntax_error): Likewise.
* data/lalr1.cc (yysyntax_error_): Fix this by checking
yytable_ninf_.
* data/lalr1.java (yysyntax_error): Likewise.
* tests/conflicts.at (%nonassoc and eof): Update expected output
and remove FIXME.
(cherry picked from commit 53f036ce027289d3f5e70c88735b88aa6725381d)

Conflicts:

data/lalr1.cc
data/lalr1.java
src/parse-gram.c
src/parse-gram.h

15 years agoSome code and documentation improvements.
Joel E. Denny [Tue, 25 Aug 2009 05:12:37 +0000 (01:12 -0400)] 
Some code and documentation improvements.

* data/c.m4 (b4_table_value_equals): New macro to capture
some repeated code.
* data/glr.c (yyis_pact_ninf): Use it here.
(yyis_table_ninf): Likewise.
(yyreportSyntaxError): Improve internal comments.
* data/yacc.c (yyis_pact_ninf): New macro copied from glr.c.
Use it everywhere possible.
(yyis_table_ninf): Likewise.
(yysyntax_error): Improve internal comments.
* data/lalr1.cc (yysyntax_error_): Likewise.
* data/lalr1.java (yysyntax_error): Likewise.
* src/tables.h: Improve comments about yypact, yytable, etc.
(cherry picked from commit 87412882128fc3ae807f47db23884552f5841e74)

Conflicts:

data/lalr1.java
data/yacc.c

15 years agoUse locale when quoting.
Joel E. Denny [Sat, 22 Aug 2009 00:09:54 +0000 (20:09 -0400)] 
Use locale when quoting.

* src/scan-gram.l (SC_ESCAPED_STRING, SC_ESCAPED_CHARACTER): Use
quote rather than implementing quoting here.
(cherry picked from commit e6c849d82a95be8a595c254cc3046cfae725f064)

15 years agoMake previous patch more robust.
Eric Blake [Thu, 20 Aug 2009 22:52:19 +0000 (16:52 -0600)] 
Make previous patch more robust.

* src/output.c (ARRAY_CARDINALITY): New macro, copied from
argmatch.h.
(output_skeleton): Use it.
Suggested by Akim Demaille.

Signed-off-by: Eric Blake <ebb9@byu.net>
(cherry picked from commit 1266b636740f0c6719d8cc11a5d569084fa37009)

15 years agoImport latest m4/m4.m4.
Eric Blake [Thu, 20 Aug 2009 15:48:49 +0000 (09:48 -0600)] 
Import latest m4/m4.m4.

* submodules/autoconf: Update to autoconf 2.64.
* configure.ac (M4_GNU_OPTION): New define.
* src/output.c (output_skeleton): Use it to resolve FIXME.
* NEWS: Mention this.

Signed-off-by: Eric Blake <ebb9@byu.net>
(cherry picked from commit b9ad39c1fb2482e1513cdf9800b31e71b7986b39)

15 years agoFix complaints about escape sequences.
Joel E. Denny [Thu, 20 Aug 2009 00:37:28 +0000 (20:37 -0400)] 
Fix complaints about escape sequences.

Discussed starting at
<http://lists.gnu.org/archive/html/bison-patches/2009-08/msg00036.html>.
* src/scan-gram.l (SC_ESCAPED_STRING, SC_ESCAPED_CHARACTER):
For a \0 and similar escape sequences meaning the null
character, report an invalid escape sequence instead of an
invalid null character because the latter does not actually
appear in the user's input.
In all escape sequence complaints, don't escape the initial
backslash, and don't quote when the sequence appears at the end
of the complaint line unless there's whitespace that quotearg
won't escape.
Consistently say "invalid" not "unrecognized".
Consistently prefer "empty character literal" over "extra
characters in character literal" warning for invalid escape
sequences; that is, consistently discard those sequences.
* tests/input.at (Bad escapes in literals): New.
(cherry picked from commit c2724603c9d87e816dbdf1a9bfd7d70ffc1bd137)

15 years agodoc: fixes.
Akim Demaille [Wed, 19 Aug 2009 12:51:50 +0000 (14:51 +0200)] 
doc: fixes.

* doc/bison.texinfo: Fix minor Texinfo errors.
(cherry picked from commit 17aed602c6780058fe591e871c97f19d6a14d57a)

15 years agodoc: %initial-action to initialize yylloc.
Akim Demaille [Wed, 19 Aug 2009 11:34:48 +0000 (13:34 +0200)] 
doc: %initial-action to initialize yylloc.

Reported by Bill Allombert.
* doc/bison.texinfo: Set fill-column to 76.
(Location Type): Document the use of %initial-action to initialize
yylloc.

(cherry picked from commit d59e456dbf5d9747e2fe0c0539f2ec670ce6f9c4)

15 years agomaint: update for gnulib's recent update-copyright changes
Joel E. Denny [Tue, 18 Aug 2009 22:29:54 +0000 (18:29 -0400)] 
maint: update for gnulib's recent update-copyright changes

* gnulib: Update.
* .x-update-copyright (COPYING): Add as it's no longer implied
when .x-update-copyright is present.
* cfg.mk (update-copyright-local): Remove, now ignored.
(update-copyright): Declare update-b4-copyright as a dependency.
(cherry picked from commit c67e466f9d4f63d360d82dc23b9bfffb4d846209)

15 years agobuild: require gettext 0.17.
Akim Demaille [Mon, 17 Aug 2009 08:51:08 +0000 (10:51 +0200)] 
build: require gettext 0.17.

Suggested by Bruno Haible.
http://lists.gnu.org/archive/html/bug-bison/2009-08/msg00009.html

* configure.ac: require gettext 0.17 to ensure compatibility with
gnulib.
(cherry picked from commit af6d23584362436f19baadc311987b65849ce024)

15 years agobuild: lower gettext requirements.
Akim Demaille [Mon, 17 Aug 2009 07:22:41 +0000 (09:22 +0200)] 
build: lower gettext requirements.

Bison was uselessly requiring the formatstring macros from
gettext, which resulted in mo files not being installed on systems
that perfectly supported Bison mo files.  Lower the requirement.
http://lists.gnu.org/archive/html/bug-bison/2009-08/msg00006.html

* configure.ac: Require need-ngettext instead of
need-formatstring-macros.
Reported by Martin Jabocs.
Suggested by Bruno Haible.
* INSTALL: Restructure.
(Internationalization): New.
(cherry picked from commit b9e42bb439643b6b193ba44696c370bbb35d2ec0)

15 years agomaint: fix use of copyright year intervals.
Joel E. Denny [Fri, 14 Aug 2009 21:05:06 +0000 (17:05 -0400)] 
maint: fix use of copyright year intervals.

* gnulib: Update.
* bootstrap.conf (gnulib_modules): Update getopt to getopt-gnu
as now recommended in gnulib/NEWS.
* build-aux/update-b4-copyright: Fix.
* cfg.mk (update-copyright-env): Configure update-copyright.
(cherry picked from commit 75ac158b82be1fab5157b140287368165a50ec82)

15 years agoMake it easier to write deterministic tests.
Joel E. Denny [Sun, 9 Aug 2009 00:19:01 +0000 (20:19 -0400)] 
Make it easier to write deterministic tests.

Continues Akim's work from his 2009-06-10 commits.
* src/reader.c (check_and_convert_grammar): Don't add any
symbols after the first symbols_do invocation.
* src/symtab.c (symbols_sorted): New static global.
(user_token_number_redeclaration): Update comments.
(symbol_from_uniqstr): If a new symbol is being created, assert
that symbols_sorted hasn't been allocated yet.
(symbols_free): Free symbols_sorted.
(symbols_cmp, symbols_cmp_qsort): New functions.
(symbols_do): Sort symbol_table into symbols_sorted on first
invocation.
* tests/input.at (Numbered tokens): Recombine tests now that the
output should be deterministic across multiple numbers.
(cherry picked from commit 83b60c97ee1f98bb1f15ffa38acdc4cc765515f5)

15 years agodistcheck: fix.
Akim Demaille [Wed, 1 Jul 2009 10:19:18 +0000 (12:19 +0200)] 
distcheck: fix.

* examples/calc++/Makefile.am: (EXTRA_DIST): Ship calc.stamp.
(cherry picked from commit 67af719840616ed07ca120b8255a998f4533ce17)

15 years ago* tests/Makefile.am (TESTSUITE_AT): Add named-refs.at.
Joel E. Denny [Tue, 11 Aug 2009 03:39:43 +0000 (23:39 -0400)] 
* tests/Makefile.am (TESTSUITE_AT): Add named-refs.at.

15 years agoMiscellaneous code readability improvements.
Joel E. Denny [Tue, 11 Aug 2009 01:43:07 +0000 (21:43 -0400)] 
Miscellaneous code readability improvements.

* src/reader.c (reader): Move %define front-end variable
defaults and checking into...
(prepare_percent_define_front_end_variables): ... this new
function.

* src/scan-gram.l (INITIAL): For consistency with string
literals, don't store open quote on character literal.  It's
discarded before returning anyway.
(SC_ESCAPED_CHARACTER): Similarly, don't store close quote.
Make length test more readable, and make the character stored
for an empty literal more obvious while consistent with the
previous behavior.

* src/symtab.c, src/symtab.h: Rename USER_NUMBER_ALIAS to
USER_NUMBER_HAS_STRING_ALIAS throughout.
* src/symtab.c (symbol_make_alias): Remove comment from symtab.c
that is repeated in symtab.h.  Improve argument names to make it
clear which side of the symbol-string alias pair is which.
(symbol_check_alias_consistency): Improve local variable names
for the same purpose.
* src/symtab.h (struct symbol): Make comments about aliases
clearer.
(symbol_make_alias): Improve comments and argument name.
* src/output.c (token_definitions_output): Update for rename to
USER_NUMBER_HAS_STRING_ALIAS and improve comments about aliases.
(cherry picked from commit dfaa48602d4e6d329e3ae9063f44929490928b3d)

Conflicts:

src/symtab.c
src/symtab.h

15 years ago Convert "misleading reference" messages to warnings.
Alex Rozenman [Sat, 8 Aug 2009 15:10:23 +0000 (18:10 +0300)] 
Convert "misleading reference" messages to warnings.

* src/scan-code.l: New function 'show_sub_messages', more
factoring.
* tests/named-ref.at: Adjust tests.

15 years agomaint: run "make update-copyright"
Joel E. Denny [Thu, 6 Aug 2009 23:15:28 +0000 (19:15 -0400)] 
maint: run "make update-copyright"

15 years agomaint: make update-b4-copyright easier to use
Joel E. Denny [Thu, 6 Aug 2009 15:34:09 +0000 (11:34 -0400)] 
maint: make update-b4-copyright easier to use

* build-aux/update-b4-copyright: In warnings, report line
numbers rather than character positions.
* cfg.mk (update-copyright-local): Set to update-b4-copyright so
that update-copyright runs it.
* gnulib: Update.
(cherry picked from commit a1a9422d4a2f70ff89e06318ba154851c3700f60)

15 years agomaint: clean up update-b4-copyright code
Joel E. Denny [Wed, 5 Aug 2009 23:52:41 +0000 (19:52 -0400)] 
maint: clean up update-b4-copyright code

* build-aux/update-b4-copyright: Do not accept 2-digit
UPDATE_COPYRIGHT_YEAR, which was not handled correctly.
Don't accept a `[' in a b4_copyright argument.
Format code more consistently.
Don't assume b4*copyright never occurs.
(cherry picked from commit 0b61a8ec1842bfbd6130714d06b758165b32ead4)

15 years agomaint: automate b4_copyright updates.
Joel E. Denny [Tue, 4 Aug 2009 22:06:20 +0000 (18:06 -0400)] 
maint: automate b4_copyright updates.

* Makefile.am (update-b4-copyright): New target rule.
* build-aux/Makefile.am (EXTRA_DIST): Add update-b4-copyright.
* build-aux/update-b4-copyright: New.
* data/yacc.c: Remove stray characters around b4_copyright
invocations.
(cherry picked from commit 269e222e24b03ccc4ab7881d960750ddeb131b05)

Conflicts:

build-aux/local.mk
data/yacc.c

15 years agomaint: automate annual package-wide copyright-year update.
Joel E. Denny [Thu, 30 Jul 2009 21:12:10 +0000 (17:12 -0400)] 
maint: automate annual package-wide copyright-year update.

* .x-update-copyright: New.
* Makefile.am (EXTRA_DIST): Remove maint.mk.
* bootstrap.conf (gnulib_modules): Add maintainer-makefile and
update-copyright.  Remove gnumakefile, which is implied by
maintainer-makefile.
* cfg.mk (bootstrap-tools): Copy from old maint.mk.
* gnulib: Update.
* maint.mk: Remove, now copied from gnulib.
* examples/extexi: Add missing "(C)" in copyright statement so
update-copyright can recognize it.
* src/LR0.h: Likewise.
* src/print.h: Likewise.
* src/print_graph.h: Likewise.
* src/named-ref.c: Likewise.
* src/named-ref.h: Likewise.
* src/gram.c: Add missing comma in copyright statement.
* src/gram.h: Likewise.
(cherry picked from commit 50bcb22c4cda30353f44930b0a29519609527408)

Conflicts:

gnulib
src/gram.c

15 years agoFix "make distcheck".
Joel E. Denny [Tue, 4 Aug 2009 18:48:48 +0000 (14:48 -0400)] 
Fix "make distcheck".

* examples/calc++/Makefile.am: Say $(srcdir)/calc.stamp instead
of just calc.stamp.
(cherry picked from commit cfc9e431c31f7f7291dd16a4a505d6a41e662d0c)

15 years agoPacify "gcc -Wunused" for the input function from Flex.
Joel E. Denny [Sat, 1 Aug 2009 21:51:34 +0000 (17:51 -0400)] 
Pacify "gcc -Wunused" for the input function from Flex.

Reported by Alex Rozenman.  This warning shows up with gcc-4.3.0
and later.
* src/scan-code.l: Add "%option noinput", which I cannot find in
the Flex manual, but which Flex has supported since at least as
far back as 2.5.4.  However, if any of our developers still use
Flex 2.5.4, they'll need to stop configuring with
--enable-gcc-warnings because "%option noinput" didn't work
correctly until Flex 2.5.6.
* src/scan-gram.l: Likewise.
* src/scan-skel.l: Likewise.
(cherry picked from commit 42f8609bbd033edf6cca102ca080eade94ed08ef)

15 years agoFix mail address in ChangeLog.
Alex Rozenman [Fri, 31 Jul 2009 19:36:18 +0000 (22:36 +0300)] 
Fix mail address in ChangeLog.

15 years ago Fix --enable-gcc-warnings problems.
Alex Rozenman [Fri, 31 Jul 2009 19:23:23 +0000 (22:23 +0300)] 
Fix --enable-gcc-warnings problems.

* src/reader.c: Adjust variable names.
* src/scan-code.l: Fix prototypes and adjust names.
* src/named-ref.c: Remove redundant "if".

15 years agoFix a --enable-gcc-warnings problem.
Joel E. Denny [Wed, 29 Jul 2009 17:47:02 +0000 (13:47 -0400)] 
Fix a --enable-gcc-warnings problem.

* src/scan-gram.l (SC_ESCAPED_CHARACTER): Actually use length
variable.

15 years ago Fix some memory leaks.
Alex Rozenman [Fri, 24 Jul 2009 18:04:16 +0000 (21:04 +0300)] 
Fix some memory leaks.
* src/named-ref.c: Add a pointer check (named_ref_free).
* src/scan-code.l: New function (variant_table_free). Called in
code_scanner_free.
* src/symlist.c: Call to named_ref_free (symbol_list_free).

15 years agoWarn about character literals not of length one.
Joel E. Denny [Fri, 24 Jul 2009 14:29:07 +0000 (10:29 -0400)] 
Warn about character literals not of length one.

* NEWS (2.5): Document.
* src/scan-gram.l (INITIAL): Remove comment that we don't check
the length.
(SC_ESCAPED_CHARACTER): Warn if length is wrong.
* tests/input.at (Bad character literals): New test group.

15 years ago* src/lalr.c (state_lookahead_tokens_count): Correct comment.
Joel E. Denny [Fri, 24 Jul 2009 13:59:42 +0000 (09:59 -0400)] 
* src/lalr.c (state_lookahead_tokens_count): Correct comment.

15 years agoSome M4 cleanup in the testsuite.
Joel E. Denny [Wed, 22 Jul 2009 19:06:49 +0000 (15:06 -0400)] 
Some M4 cleanup in the testsuite.

Suggested by Eric Blake at
<http://lists.gnu.org/archive/html/bison-patches/2009-04/msg00083.html>.
* tests/existing.at (_AT_TEST_EXISTING_GRAMMAR): Do not
complicate the code by distinguishing between a missing value
and an empty string value for an optional argument.  This fix is
allowed by the similar fix in AT_TEST_TABLES_AND_PARSE below.
* tests/local.at (_AT_TEST_TABLES_AND_PARSE): Merge into...
(AT_TEST_TABLES_AND_PARSE): ... this now that the special
arguments are not needed because of the following changes.
Fix stale comments.
Bison developers should use GNU M4 and should not use
POSIXLY_CORRECT when building the test suite, so do not
complicate the code by avoiding $10 and above.
Do not quote an empty string value for an optional argument, and
do not distinguish between a missing value and an empty string
value.

15 years ago* m4/m4.m4: Make it a sym link to submodules/autoconf/m4/m4.m4.
Joel E. Denny [Tue, 21 Jul 2009 18:10:54 +0000 (14:10 -0400)] 
* m4/m4.m4: Make it a sym link to submodules/autoconf/m4/m4.m4.

15 years agoRevert unnecessary column realignment in --help output.
Joel E. Denny [Wed, 15 Jul 2009 08:21:00 +0000 (04:21 -0400)] 
Revert unnecessary column realignment in --help output.

Reported by Akim Demaille at
<http://lists.gnu.org/archive/html/bison-patches/2009-06/msg00010.html>.
* src/getargs.c (usage): Here.

15 years ago Alphabetical order in src/Makefile.am.
Alex Rozenman [Sat, 4 Jul 2009 19:59:29 +0000 (22:59 +0300)] 
Alphabetical order in src/Makefile.am.
* src/Makefile.am: Adjust.

15 years agoRegen.
Alex Rozenman [Sat, 4 Jul 2009 19:17:09 +0000 (22:17 +0300)] 
Regen.

15 years ago Style changes and factoring.
Alex Rozenman [Sat, 4 Jul 2009 19:16:17 +0000 (22:16 +0300)] 
Style changes and factoring.
* src/named-ref.h: Add comments.
* src/parse-gram.y: Readability and style changes.
* src/reader.c: Factoring: assign_named_ref function.
* src/scan-code.l: Factoring and style changes. Rename
parse_named_ref to parse_ref. Use "c-ctype.h" from gnulib.
Use "unsigned" type for variant index. Improve readablity.
* src/scan-gram.l: Change error messages and add comments.
* src/symlist.h: symbol_list_null: New function decl.
* src/symlist.c: symbol_list_null: Implement here.
* tests/named-refs.at: Adjust for new error messages.

15 years agoscan-code: avoid compiler warnings
Eric Blake [Mon, 29 Jun 2009 14:34:21 +0000 (08:34 -0600)] 
scan-code: avoid compiler warnings

* src/scan-code.l (parse_named_ref): Use correct specifiers.

Signed-off-by: Eric Blake <ebb9@byu.net>
15 years agobuild: avoid concurrent extraction of calc++.
Akim Demaille [Mon, 29 Jun 2009 13:02:48 +0000 (15:02 +0200)] 
build: avoid concurrent extraction of calc++.

* examples/calc++/Makefile.am (calc.stamp): New.
Depend on it to create the sources of calc++ so that concurrent
builds don't launch several "extexi" in parallel.
Not only this is inefficient, this also builds incorrect sources
with several extractions mixed together.

Cherry-picked from 5ece73eaa19c79d5dd40b36a2a7d38cb397c2fcd.

15 years agoRegen.
Alex Rozenman [Sat, 27 Jun 2009 20:45:54 +0000 (23:45 +0300)] 
Regen.

15 years agoNamed symbol references.
Alex Rozenman [Sat, 23 May 2009 15:48:03 +0000 (18:48 +0300)] 
Named symbol references.

Discussed in:
http://lists.gnu.org/archive/html/bison-patches/2009-01/msg00000.html
http://lists.gnu.org/archive/html/bison-patches/2009-02/msg00002.html
http://lists.gnu.org/archive/html/bison-patches/2009-03/msg00009.html

* src/parse-gram.y: Add new syntax (named_ref.opt).
* src/reader.c: Store named refs in symbol lists.
* src/reader.h: New argument for symbol_append and
action_append functions.
* src/scan-code.h: Add new field (named_ref) into
code_props data structure. Keeps named ref of midrule
actions.
* src/scan-code.l: Support for named refs in semantic
action code. New function 'parse_named_ref'.
* src/scan-gram.l: Support bracketed id.
* src/symlist.c: Store named refs in symbol lists.
* src/symlist.h: New field in symbol list: named_ref.
* src/named-ref.h: New file, a struct for named_ref.
* src/named-ref.c: New file, named_ref_new function.
* src/Makefile.am: Add two new files.
* tests/testsuite.at: Include new test group:
* tests/named-refs.at: this new file.

15 years agohash: check insertion for memory exhaustion.
Akim Demaille [Thu, 25 Jun 2009 04:03:18 +0000 (06:03 +0200)] 
hash: check insertion for memory exhaustion.

* src/uniqstr.c (uniqstr_new): New.

15 years agostyle changes.
Akim Demaille [Thu, 11 Jun 2009 12:50:25 +0000 (14:50 +0200)] 
style changes.

* data/xslt/xml2dot.xsl, data/xslt/xml2xhtml.xsl: Space changes.
* src/print-xml.c: Style changes.
* tests/conflicts.at: Comment changes.

15 years agoxml: beware of user strings used to give a %prec to rules.
Akim Demaille [Thu, 11 Jun 2009 12:45:10 +0000 (14:45 +0200)] 
xml: beware of user strings used to give a %prec to rules.

* tests/conflicts.at (%prec with user strings): New.
* src/gram.c (grammar_rules_print_xml): Escape the precedence for
XML output.

15 years agohash: check insertion for memory exhaustion.
Akim Demaille [Thu, 11 Jun 2009 12:42:12 +0000 (14:42 +0200)] 
hash: check insertion for memory exhaustion.

* src/muscle-tab.c (muscle_insert, muscle_grow)
* src/state.c (state_hash_insert): Check the return value of
hash_insert.

15 years agognulib: update.
Akim Demaille [Thu, 11 Jun 2009 13:24:13 +0000 (15:24 +0200)] 
gnulib: update.

15 years agodeterministic test suite.
Akim Demaille [Wed, 10 Jun 2009 18:14:52 +0000 (20:14 +0200)] 
deterministic test suite.

Some consistency checks on symbols are performed after all the
symbols were read, by an iteration over the symbol table.  This
traversal is nondeterministic, which can be a problem for test
cases.

Avoid this.

Addresses another form of nondeterminism reported by Joel E. Denny.
http://lists.gnu.org/archive/html/bison-patches/2009-05/msg00023.html

* tests/input.at (Numbered tokens): Split the hexadecimal/decimal
test in two.
Use different file names for the three tests to make the
maintenance easier.

15 years agodeterministic user-token-number redeclaration errors.
Akim Demaille [Wed, 3 Jun 2009 21:15:38 +0000 (23:15 +0200)] 
deterministic user-token-number redeclaration errors.

Address nondeterminism reported by Joel E. Denny.
http://lists.gnu.org/archive/html/bison-patches/2009-05/msg00023.html

* src/uniqstr.h: Comment changes.
* src/location.h (boundary_cmp, location_cmp): New.
* src/symtab.c (user_token_number_redeclaration): New.
(symbol_translation): Use it.
* tests/input.at (Numbered tokens): Adjust the expected output.

15 years agognulib: update.
Akim Demaille [Wed, 10 Jun 2009 08:40:55 +0000 (10:40 +0200)] 
gnulib: update.

* gnulib: Update to latest.
* lib/.cvsignore, lib/.gitignore, m4/.cvsignore,
* m4/.gitignore: Regen.
* src/symtab.c (symbol_from_uniqstr, semantic_type_from_uniqstr):
Call xalloc_die on hash_insert failures.
Requested by the new __warn_unused_result__ attribute of
hash_insert.

15 years agoConvert multiple variable definition warnings to complaints.
Joel E. Denny [Sat, 23 May 2009 06:25:28 +0000 (02:25 -0400)] 
Convert multiple variable definition warnings to complaints.

* NEWS (2.5): Add a new entry for that change.
* doc/bison.texinfo (Decl Summary): Update %define entry.
(Bison Options): Update -D/--define/-F/--force-define entry.
* src/muscle_tab.c (muscle_percent_define_insert): Implement.
* src/muscle_tab.h (muscle_percent_define_insert): Update
comments.
* tests/input.at (`%define errors'): Update.
(`%define, --define, --force-define'): Update.

15 years ago-F/--force-define and relative %define/-D/--define priorities.
Joel E. Denny [Fri, 22 May 2009 21:14:08 +0000 (17:14 -0400)] 
-F/--force-define and relative %define/-D/--define priorities.

* NEWS (2.5): Add documentation to -D/--define entry.
* build-aux/cross-options.pl: Hard-code association of
--force-define with %define.
* doc/bison.texinfo (Decl Summary): In %define entry,
cross-reference command-line options.
(Bison Options): Add documentation to -D/--define entry.
(Option Cross Key): Widen column for --force-define row.
* src/getargs.c (usage): Document -F/--force-define.  Realign
options in output.
(short_options, long_options, getargs): Parse -F/--force-define,
and update muscle_percent_define_insert invocation.
* src/muscle_tab.h (muscle_percent_define_how): New enum type.
(muscle_percent_define_insert): Add argument with that type.
* src/muscle_tab.c (muscle_percent_define_insert): Implement
-F/--force-define behavior and priorities.
* src/parse-gram.y (prologue_declaration): Update
muscle_percent_define_insert invocations.
* tests/input.at (`%define, --define'): Rename to...
(`%define, --define, --force-define'): ... this and extend.

15 years agoUpdate some comments to make sense for -D.
Joel E. Denny [Fri, 22 May 2009 05:39:07 +0000 (01:39 -0400)] 
Update some comments to make sense for -D.

* data/bison.m4 (b4_check_user_names): In header comments, say
"user occurrence" instead of "grammar occurrence".
* src/muscle_tab.h (muscle_percent_define_insert): Likewise.
(muscle_percent_code_grow): Likewise just for consistency.

15 years ago* data/c++.m4: Update copyright year.
Joel E. Denny [Fri, 22 May 2009 05:47:38 +0000 (01:47 -0400)] 
* data/c++.m4: Update copyright year.

15 years ago* data/c++.m4 (b4_namespace_close): Simplify slightly.
Joel E. Denny [Wed, 20 May 2009 21:14:08 +0000 (17:14 -0400)] 
* data/c++.m4 (b4_namespace_close): Simplify slightly.

15 years agoHandle a trailing `:' in a user-supplied C++ namespace better.
Joel E. Denny [Tue, 19 May 2009 21:51:05 +0000 (17:51 -0400)] 
Handle a trailing `:' in a user-supplied C++ namespace better.

* data/c++.m4 (b4_namespace_close): Don't let it be printed
among the closing braces here.  This fix might make the
generated code easier to debug, but otherwise it should be
insignificant because a trailing `:' is a C++ error already.

15 years agoremove useless variable.
Akim Demaille [Tue, 19 May 2009 09:29:40 +0000 (11:29 +0200)] 
remove useless variable.

* src/getargs.c (skeleton_arg): Remove now useless variable.
Should help the compiler see that this printf-like call is sane.

15 years agoFix ChangeLog for the previous patch.
Akim Demaille [Mon, 11 May 2009 06:53:35 +0000 (08:53 +0200)] 
Fix ChangeLog for the previous patch.

15 years agodoc: use C++ headers.
Akim Demaille [Thu, 7 May 2009 21:18:44 +0000 (23:18 +0200)] 
doc: use C++ headers.

* doc/bison.texinfo (Calc++ Scanner): Prefer C++ headers to C
headers.

15 years agofix hexadecimal token number support.
Akim Demaille [Tue, 5 May 2009 07:36:06 +0000 (09:36 +0200)] 
fix hexadecimal token number support.

* src/scan-gram.l: Catch incorrect ids after hexadecimal numbers.

15 years agotests: check token numbers.
Akim Demaille [Tue, 5 May 2009 07:35:34 +0000 (09:35 +0200)] 
tests: check token numbers.

* tests/input.at (Numbered tokens): New.

15 years agobison: catch bad symbol names.
Akim Demaille [Mon, 4 May 2009 19:23:55 +0000 (21:23 +0200)] 
bison: catch bad symbol names.

* src/scan-gram.l({int}{id}): Report as an invalid identifier.
* tests/input.at: Adjust.

15 years agospace changes.
Akim Demaille [Mon, 4 May 2009 19:15:52 +0000 (21:15 +0200)] 
space changes.

* src/scan-gram.l: Untabify to be robust to zealous editors.

15 years agoidentifiers: dashes are letters.
Akim Demaille [Mon, 4 May 2009 19:15:17 +0000 (21:15 +0200)] 
identifiers: dashes are letters.

Dashes can now start identifiers (symbols and directives).

* src/scan-gram.l ({letter}): Add dash.
({id}): Remove it.
* tests/input.at (Symbols): Adjust.
Remove stray comment.
* tests/regression.at (Invalid inputs): Adjust error message.
* doc/bison.texinfo (Symbols): Update.

15 years agoDeclare %code to be a permanent feature.
Joel E. Denny [Fri, 1 May 2009 06:51:31 +0000 (02:51 -0400)] 
Declare %code to be a permanent feature.

* NEWS (2.4.2): Here.
* doc/bison.texinfo (Prologue Alternatives): Don't say it's
experimental.
(Decl Summary): Likewise.
(cherry picked from commit cefb18280b83ea19b742a22f7be8661b518874b5)

15 years agoConvert underscores to dashes in some %define variable names.
Joel E. Denny [Thu, 30 Apr 2009 05:04:33 +0000 (01:04 -0400)] 
Convert underscores to dashes in some %define variable names.

For now, just api.push-pull and lr.keep-unreachable-states.
Maintain old names for backward compatibility.
* NEWS (2.5): Document.
* data/c.m4 (b4_identification): Update comment.
* data/yacc.c: Update access.
* doc/bison.texinfo: Update.
* etc/bench.pl.in (bench_grammar): Update use.
* src/files.c (tr): Move to...
* src/getargs.c, src/getargs.h (tr): ... here because I can't
think of a better place to expose it.  My logic is that, for all
uses of tr so far, command-line arguments can be involved, and
getargs.h is already included.
* src/main.c (main): Update access.
* src/muscle_tab.c (muscle_percent_define_insert): Convert old
variable names to new variable names before assigning value.
* src/reader.c (reader): Update setting default.
* tests/calc.at: Update uses.
* tests/conflicts.at (Unreachable States After Conflict
Resolution): Update use.
* tests/input.at (%define enum variables): Update use.
(%define backward compatibility): New test group.
* tests/push.at: Update uses.
* tests/reduce.at: Update uses.
* tests/torture.at: Update uses.

15 years agoSet all front-end %define defaults in one place.
Joel E. Denny [Thu, 30 Apr 2009 04:31:12 +0000 (00:31 -0400)] 
Set all front-end %define defaults in one place.

* src/main.c (main): Move lr.keep_unreachable_states default...
* src/reader.c (reader): ... to here.

15 years agoRename lr.default_reductions to lr.default-reductions.
Joel E. Denny [Thu, 30 Apr 2009 01:48:21 +0000 (21:48 -0400)] 
Rename lr.default_reductions to lr.default-reductions.

* NEWS (2.5): Here.
* doc/bison.texinfo: Here.
* src/lalr.c (initialize_LA): Here.
* src/print.c (print_reductions): Here.
* src/reader.c (reader): Here.
* src/tables.c (action_row): Here.
* tests/input.at (%define enum variables): Here.
* tests/reduce.at (AT_TEST_LR_DEFAULT_REDUCTIONS): Here.

15 years agoPacify ./configure --enable-gcc-warnings.
Joel E. Denny [Thu, 30 Apr 2009 00:50:01 +0000 (20:50 -0400)] 
Pacify ./configure --enable-gcc-warnings.

* tests/input.at (Symbols): Prototype yyerror and yylex.

15 years agotests: check the use of dashes and periods in symbols.
Akim Demaille [Tue, 21 Apr 2009 20:17:25 +0000 (22:17 +0200)] 
tests: check the use of dashes and periods in symbols.

* tests/input.at (Symbol): New test group.
(cherry picked from commit 746ee38c7cff93ad1fc97da6f06f124f394fb437)

15 years agoDocument how `%define "var" "value"' is not M4-friendly.
Joel E. Denny [Thu, 30 Apr 2009 00:05:32 +0000 (20:05 -0400)] 
Document how `%define "var" "value"' is not M4-friendly.

* src/parse-gram.y (variable): In comments here.

15 years agoAdd copyright updates missed during previous cherry pick.
Joel E. Denny [Thu, 30 Apr 2009 00:03:52 +0000 (20:03 -0400)] 
Add copyright updates missed during previous cherry pick.

* src/output.c: Here.
* src/parse-gram.y: Here.
* src/scan-gram.l: Here.

15 years agovariables: accept dashes.
Akim Demaille [Mon, 20 Apr 2009 10:24:23 +0000 (12:24 +0200)] 
variables: accept dashes.

* src/scan-gram.l ({id}): Also accept dashes after the initial
letter.
({directive}): Use {id}.
* src/parse-gram.y: Comment and formatting changes.
* doc/bison.texinfo (Symbols): Adjust the lexical definitions of
symbols.
* src/complain.h, src/complain.c (yacc_at): New.
* src/symtab.c (symbol_new): Use yacc_at to report inappropriate
symbol names.
* src/output.c (token_definitions_output): Do not #define token
names with dashes.
(cherry picked from commit 4f646c3794c45940aaf96d5409eff02a2c74978e)

Conflicts:

data/bison.m4
src/parse-gram.y

15 years agoClean up recent patches a little.
Joel E. Denny [Fri, 24 Apr 2009 06:13:26 +0000 (02:13 -0400)] 
Clean up recent patches a little.

Reported by Akim Demaille.
* doc/bison.texinfo (Understanding): Fix typos.
* src/print.c (print_reductions): Don't use negated variable.

15 years agoList accepted values for a %define enum variable with an invalid value.
Joel E. Denny [Fri, 24 Apr 2009 05:42:58 +0000 (01:42 -0400)] 
List accepted values for a %define enum variable with an invalid value.

Suggested by Akim Demaille at
<http://lists.gnu.org/archive/html/bison-patches/2009-04/msg00082.html>.
* data/bison.m4 (_b4_percent_define_check_values): Implement.
* src/muscle_tab.c (muscle_percent_define_check_values): Implement.
* tests/input.at (%define lr.default_reductions invalid values): Merge
into...
(%define enum variables): ... here, and update output.

15 years agoRename "default rule" to "default reduction".
Joel E. Denny [Thu, 23 Apr 2009 07:18:03 +0000 (03:18 -0400)] 
Rename "default rule" to "default reduction".

This includes changing variable names in code, changing
comments, and renaming %define lr.default_rules to %define
lr.default_reductions.
* NEWS (2.5): Update IELR documentation.
* data/glr.c, data/lalr1.cc, data/lalr1.java, data/yacc.c:
Adjust YYDEFACT and yydefact_ documentation.
* doc/bison.texinfo (Decl Summary): Adjust lr.default_reductions
and lr.type documentation.  Make some other wording
improvements.
(Glossary): Adjust cross-references and Default Reduction
definition.
* src/lalr.c (state_lookahead_tokens_count): Adjust code.
Remove a confusing comment pointed out by Akim Demaille.
(initialize_LA): Adjust code.
* src/print-xml.c (print_reductions): Adjust code.
* src/print.c (print_reductions): Adjust code.
* src/reader.c (reader): Adjust code.
* src/tables.c (action_row): Adjust code.
(token_actions): Adjust code.
* src/tables.h: Adjust YYDEFACT documentation.
* tests/input.at (%define lr.default_rules invalid values):
Rename test group to...
(%define lr.default_reductions invalid values): ... this, and
update grammar file and expected output.
* tests/reduce.at (AT_TEST_LR_DEFAULT_RULES): Rename to...
(AT_TEST_LR_DEFAULT_REDUCTIONS): ... this, and update.

15 years agoDocument %define lr.type and lr.default_rules.
Joel E. Denny [Tue, 21 Apr 2009 09:12:01 +0000 (05:12 -0400)] 
Document %define lr.type and lr.default_rules.

* NEWS (2.5): Add an entry.
* src/getargs.c (usage): Mention IELR(1) and canonical LR(1)
besides just LALR(1) and GLR(1).
* doc/bison.texinfo (Introduction): Likewise.
(Language and Grammar): Bison is no longer limited to LALR(1)
restrictions.
(GLR parsing): Say deterministic or LR(1) rather than LALR(1)
when trying to distinguish from GLR.  Talk about LR(1) grammars
rather than LALR(1) grammars.
(Decl Summary): In %define api.push_pull entry, say it applies
to deterministic parsers in C rather than LALR(1) parsers in C.
Add lr.default_rules entry.
Add lr.type entry.
(Mystery Conflicts): Bison is no longer limited to LALR(1)
restrictions.
(Generalized LR Parsing): Same changes as for the previous GLR
section.
(Memory Management): Say deterministic rather than LALR(1).
(Understanding): Correct some bison output.
Index discussion of "accepting state".
Say deterministic rather than LALR(1).
(Bison Options): In --yacc entry, say deterministic rather than
LALR(1).
In --report, --graph, and --xml entries, just don't mention
LALR(1).
(C++ Parsers): Say deterministic rather than LALR(1).
(Table of Symbols): Likewise in YYSTACK_USE_ALLOCA entry.
(Glossary): Add Accepting State, Consistent State, Default Rule,
and IELR(1) definitions.
In Generalized LR (GLR) definition, make same changes as in
previous GLR sections.
In LALR(1) definition, say Bison uses LALR(1) by default rather
than implying Bison is limited to LALR(1).
(LocalWords): Add IELR.

15 years agoFinish implementing %define lr.type.
Joel E. Denny [Tue, 21 Apr 2009 07:40:16 +0000 (03:40 -0400)] 
Finish implementing %define lr.type.

Its value can be "LALR", "IELR", or "canonical LR".
* lib/timevar.def (TV_IELR_PHASE1): New var.
(TV_IELR_PHASE2): New var.
(TV_IELR_PHASE3): New var.
(TV_IELR_PHASE4): New var.
* src/Makefile.am (bison_SOURCES): Add AnnotationList.c,
AnnotationList.h, InadequacyList.c, InadequacyList.h, Sbitset.c,
Sbitset.h, ielr.h, and ielr.c.
* src/getargs.h, src/getargs.c (enum trace, trace_args,
trace_types): Add trace_ielr.
* src/lalr.h, src/lalr.c (ngotos): Export it.
(F): Rename to...
(goto_follows): ... this, update all uses, and export it.
(set_goto_map): Export it.
(map_goto): Export it.
(compute_lookahead_tokens): Don't free goto_follows yet.  Now
handled in ielr.
(initialize_LA): Export it.  Move lookback allocation to...
(lalr): ... here because, for canonical LR, initialize_LA must
be invoked but lookback and much of the rest of LALR isn't
needed.
* main.c (main): Instead of lalr, invoke ielr, which invokes
lalr.
* src/reader.c (reader): Default lr.type to "LALR".
Default lr.default_rules to "accepting" if lr.type is "canonical
LR".  Leave the default as "all" otherwise.
Check for a valid lr.type value.
* src/state.h, src/state.c (struct state_list): Add state_list
member.
(state_new): Initialize state_list member to NULL.
(state_new_isocore): New function, exported.
* tests/existing.at (AT_TEST_EXISTING_GRAMMAR): New macro that
exercises all values of lr.type.
(GNU AWK Grammar): Rename test group to...
(GNU AWK 3.1.0 Grammar): ... this, and extend to use
AT_TEST_EXISTING_GRAMMAR.
(GNU Cim Grammar): Extend to use AT_TEST_EXISTING_GRAMMAR.
(GNU pic Grammar): Rename test group to...
(GNU pic (Groff 1.18.1) Grammar): ... this, and extend to use
AT_TEST_EXISTING_GRAMMAR.
* tests/reduce.at (AT_TEST_LR_TYPE): New macro that exercises
all values of lr.type.
(Single State Split): New test groups using AT_TEST_LR_TYPE.
(Lane Split): Likewise.
(Complex Lane Split): Likewise.
(Split During Added Lookahead Propagation): Likewise.

15 years agoAdd new files for IELR and canonical LR implementation.
Joel E. Denny [Tue, 21 Apr 2009 06:10:57 +0000 (02:10 -0400)] 
Add new files for IELR and canonical LR implementation.

* src/AnnotationList.c: New.
* src/AnnotationList.h: New.
* src/InadequacyList.c: New.
* src/InadequacyList.h: New.
* src/Sbitset.c: New.
* src/Sbitset.h: New.
* src/ielr.c: New.
* src/ielr.h: New.

15 years agoImplement %define lr.default_rules.
Joel E. Denny [Mon, 20 Apr 2009 04:55:50 +0000 (00:55 -0400)] 
Implement %define lr.default_rules.

Its value describes the states that are permitted to contain
default rules: "all", "consistent", or "accepting".
* src/reader.c (reader): Default lr.default_rules to "all".
Check for a valid lr.default_rules value.
* src/lalr.c (state_lookahead_tokens_count): If lr.default_rules
is "accepting", then only mark the accepting state as
consistent.
(initialize_LA): Tell state_lookahead_tokens_count whether
lr.default_rules is "accepting".
* src/tables.c (action_row): If lr.default_rules is not "all",
then disable default rules in inconsistent states.
* src/print.c (print_reductions): Use this opportunity to
perform some assertions about whether lr.default_rules was
obeyed correctly.
* tests/local.at (AT_TEST_TABLES_AND_PARSE): New macro that
helps with checking the parser tables for a grammar.
* tests/input.at (%define lr.default_rules invalid values): New
test group.
* tests/reduce.at (AT_TEST_LR_DEFAULT_RULES): New macro using
AT_TEST_TABLES_AND_PARSE.
(`no %define lr.default_rules'): New test group generated by
AT_TEST_LR_DEFAULT_RULES.
(`%define lr.default_rules "all"'): Likewise.
(`%define lr.default_rules "consistent"'): Likewise.
(`%define lr.default_rules "accepting"'): Likewise.

15 years agoConsistently refer to Yacc, not YACC.
Akim Demaille [Mon, 20 Apr 2009 10:53:46 +0000 (12:53 +0200)] 
Consistently refer to Yacc, not YACC.

* src/getargs.c (usage, warnings_args): s/YACC/Yacc/.

15 years agoPacify make maintainer-check-posix.
Joel E. Denny [Fri, 17 Apr 2009 20:14:17 +0000 (16:14 -0400)] 
Pacify make maintainer-check-posix.

* tests/input.at (%define, --define): Move bison command-line
options before grammar file name.

15 years agoDocument semicolon warnings.
Joel E. Denny [Sat, 4 Apr 2009 06:10:33 +0000 (02:10 -0400)] 
Document semicolon warnings.

* NEWS (2.5): Here.

15 years agoFix portability issue in the test suite.
Akim Demaille [Mon, 8 Dec 2008 09:26:38 +0000 (10:26 +0100)] 
Fix portability issue in the test suite.

* tests/local.at (AT_MATCHES_CHECK): New.
Based on Perl instead of Sed.  Sed has too many portability
pitfalls, not ever Sed is GNU Sed.
* tests/actions.at (Fix user actions without a trailing semicolon):
Use it.
(cherry picked from commit 6617622c9aaa6ec3a9de5b0867421e2849b68b2f)

15 years agoImplement the FIXME that ends an user action with a semicolon
Di-an Jan [Mon, 8 Dec 2008 05:54:45 +0000 (21:54 -0800)] 
Implement the FIXME that ends an user action with a semicolon
if it seems necessary.

* src/scan-code.l (flex rules section): Flag cpp directive from
any `#' to the first unescaped end-of-line.  Semicolon is not
needed after `;', `{', '}', or cpp directives and is needed after
any other token (whitespaces and comments have no effect).
* tests/actions.at (Fix user actions without a trailing semicolon):
New test.
* tests/input.at (AT_CHECK_UNUSED_VALUES): Add semicolons to
to make user actions complete statements.
Adjust column numbers in error messages.
* tests/regression.at (Fix user actions without a trailing semicolon):
Remove.  Covered by new test.
(cherry picked from commit e8cd1ad655bcc704b06fb2f191dc3ac1df32b796)

15 years agodoc: minor fixes.
Akim Demaille [Mon, 13 Apr 2009 18:57:38 +0000 (20:57 +0200)] 
doc: minor fixes.

* doc/bison.texinfo (Decl Summary): Fix entry about %debug.
(Table of Symbols): Remove duplicate entry for %debug.

15 years agosubmodules: update to latest
Eric Blake [Fri, 10 Apr 2009 13:36:49 +0000 (07:36 -0600)] 
submodules: update to latest

* submodules/autoconf: Use latest upstream Autoconf.

Signed-off-by: Eric Blake <ebb9@byu.net>
15 years agoWork around autoconf 2.63b bug in testsuite.
Eric Blake [Tue, 7 Apr 2009 04:05:38 +0000 (22:05 -0600)] 
Work around autoconf 2.63b bug in testsuite.

* tests/output.at (AT_CHECK_OUTPUT_FILE_NAME): Avoid tripping
autoconf bug related to # in test.

Signed-off-by: Eric Blake <ebb9@byu.net>
(cherry picked from commit ab3a683f0560e4ec24a06754386ee8c76da6ef67)

15 years ago* NEWS (2.5): Describe new -D/--define feature.
Joel E. Denny [Mon, 6 Apr 2009 10:22:27 +0000 (06:22 -0400)] 
* NEWS (2.5): Describe new -D/--define feature.

15 years ago--trace=muscles
Akim Demaille [Tue, 12 Aug 2008 19:48:44 +0000 (21:48 +0200)] 
--trace=muscles

* src/getargs.h, src/getargs.c (trace_muscle): New.
(trace_types, trace_args): Support it.
* src/output.c (output_skeleton): Use it.
(cherry picked from commit 5263bea9f7d576c20938619af2197eb5b47a90c3)

15 years agomuscles_output.
Akim Demaille [Tue, 12 Aug 2008 19:11:53 +0000 (21:11 +0200)] 
muscles_output.

* src/output.c (muscles_output): New, extracted from...
(output_skeleton): here.
Adjust.

15 years agoDisplay the changes in cross-options.texi.
Akim Demaille [Fri, 21 Nov 2008 20:21:52 +0000 (21:21 +0100)] 
Display the changes in cross-options.texi.

* build-aux/cross-options.pl ($sep): New, to separate items.
* doc/Makefile.am ($(srcdir)/cross-options.texi): Use diff to display
the changes.

15 years ago Improves options in the manual.
Di-an Jan [Thu, 20 Nov 2008 20:36:30 +0000 (12:36 -0800)] 
Improves options in the manual.
* doc/bison.texinfo (-g, -x): Add space before argument.
(Option Cross Key): Implement FIXME: listing directives also.
* build-aux/cross-options.pl:  Read from <STDIN> rather than <>.
(Short Option): Special case -d.  Put arguments inside @option.
(Bison Directive): Add column, automatically extracted from
src/scan-gram.l (actual name passed as the first argument)
with special case for %define.
* doc/Makefile.am (doc/cross-options.texi): Pass src/scan-gram.l
to build-aux/cross-options.pl.
* src/getargs.c (usage): Document limitations of cross-options.pl.
* src/scan-gram.l: Likewise.