Akim Demaille [Thu, 25 Aug 2005 08:53:33 +0000 (08:53 +0000)]
* tests/local.at (AT_COMPILE_CXX): Pass $LINKS too.
Paul Eggert [Thu, 25 Aug 2005 06:11:35 +0000 (06:11 +0000)]
* data/glr.c (yyrecoverSyntaxError, yyreturn):
Don't invoke destructor on unresolved entries.
* tests/glr-regression.at
(User destructor for unresolved GLR semantic value): New test case.
Problem reported by Joel E. Denny in:
http://lists.gnu.org/archive/html/bison-patches/2005-08/msg00016.html
Paul Eggert [Mon, 22 Aug 2005 06:38:59 +0000 (06:38 +0000)]
* lib/.cvsignore: Remove realloc.c, strncasecmp.c, xstrdup.c.
Add strnlen.c.
* m4/.cvsignore: Remove codeset.m4, gettext.m4, lib-ld.m4,
lib-prefix.m4, po.m4.
Paul Eggert [Mon, 22 Aug 2005 06:33:38 +0000 (06:33 +0000)]
Fix typo in name of lalr1.cc.
Paul Eggert [Mon, 22 Aug 2005 02:33:18 +0000 (02:33 +0000)]
Regenerate.
Paul Eggert [Mon, 22 Aug 2005 02:31:10 +0000 (02:31 +0000)]
* data/glr.c (yyreturn): Use "Cleanup:" rather than "Error:"
in yydestruct diagnostic, since it might not be an error.
Problem reported by Joel Denny near end of
<http://lists.gnu.org/archive/html/help-bison/2005-07/msg00040.html>.
* data/lalr1cc (yyerturn): Likewise.
* data/yacc.c (yyreturn): Likewise.
* tests/calc.at (_AT_CHECK_CALC_ERROR): Adjust to the above change.
Paul Eggert [Mon, 22 Aug 2005 01:28:07 +0000 (01:28 +0000)]
Remove obsolete FIXME.
Paul Eggert [Mon, 22 Aug 2005 01:05:52 +0000 (01:05 +0000)]
(YY_SYMBOL_PRINT): Append a newline, for consistency
with the other templates, and to fix bogus run-on messages such
as the one reported at the end of
<http://lists.gnu.org/archive/html/help-bison/2005-07/msg00040.html>.
All callers changed to avoid the newline.
(yyprocessOneStack): Output two lines rather than one, to accommodate
the above change. This changes the debug output format slightly.
Paul Eggert [Mon, 22 Aug 2005 00:11:30 +0000 (00:11 +0000)]
Regenerate.
Paul Eggert [Sun, 21 Aug 2005 23:43:56 +0000 (23:43 +0000)]
* data/glr.c (yyresolveValue): Fix redundant parse tree problem
reported by Joel E. Denny in
<http://lists.gnu.org/archive/html/bison-patches/2005-08/msg00004.html>
(trivial change).
* tests/glr-regression.at (Duplicate representation of merged trees):
New test, from Joel E. Denny in:
<http://lists.gnu.org/archive/html/help-bison/2005-07/msg00013.html>.
* THANKS: Add Joel E. Denny.
Paul Eggert [Sun, 21 Aug 2005 22:39:21 +0000 (22:39 +0000)]
(AC_INIT): Bump to 2.0c.
Paul Eggert [Mon, 25 Jul 2005 06:45:32 +0000 (06:45 +0000)]
* Makefile.am (SUBDIRS): Put examples before tests, so that
"make check" doesn't finish with "All 1 tests passed".
Paul Eggert [Mon, 25 Jul 2005 06:36:13 +0000 (06:36 +0000)]
* tests/regression.at (Token definitions): Don't rely on
AT_PARSER_CHECK for data that contains backslashes. It currently
uses 'echo', and 'echo' isn't portable if its argument contains
backslashes. Problem found on OpenBSD 3.4. Also, do not assume
that the byte '\0xff' is not printable in the C locale; it is,
under OpenBSD 3.4 (!). Luckily, '\0x80' through '\0x9e' are
not printable, so use '\0x81' to test.
Paul Eggert [Mon, 25 Jul 2005 04:20:55 +0000 (04:20 +0000)]
* data/glr.c (YYOPTIONAL_LOC): Define even if it's not a recent
version of GCC, since the macro is used with non-GCC compilers.
Paul Eggert [Mon, 25 Jul 2005 04:20:39 +0000 (04:20 +0000)]
(YYOPTIONAL_LOC): Define even if it's not a recent
version of GCC, since the macro is used with non-GCC compilers.
Paul Eggert [Mon, 25 Jul 2005 03:41:34 +0000 (03:41 +0000)]
Regenerate.
Paul Eggert [Mon, 25 Jul 2005 03:38:42 +0000 (03:38 +0000)]
Fix core dump reported by Pablo De Napoli in
<http://lists.gnu.org/archive/html/bug-bison/2005-07/msg00053.html>.
* tests/regression.at (Invalid inputs with {}): New test.
* src/parse-gram.y (token_name): Translate type before using
it as an index.
Paul Eggert [Mon, 25 Jul 2005 03:12:53 +0000 (03:12 +0000)]
Update copyright.
Paul Eggert [Sun, 24 Jul 2005 07:26:45 +0000 (07:26 +0000)]
Regenerate.
Paul Eggert [Sun, 24 Jul 2005 07:24:22 +0000 (07:24 +0000)]
* NEWS: Version 2.0b.
* data/glr.c (ATTRIBUTE_UNUSED): Remove, since it infringes on
the user's name space. All uses changed to __attribute__
((__unused__)).
(yyFail, yyMemoryExhausted, yyreportAmbiguity):
Add __attribute__ ((__noreturn__)).
* etc/clcommit: Remove. We weren't using it, and it failed
"make maintainer-distcheck".
* Makefile.maint: Merge from coreutils.
(CVS_LIST, CVS_LIST_EXCEPT): New macros.
(syntax-check-rules): Change list of rules as described below.
(sc_cast_of_alloca_return_value, sc_dd_max_sym_length):
(sc_file_system, sc_obsolete_symbols, sc_prohibit_atoi_atof):
(sc_prohibit_jm_in_m4, sc_root_tests, sc_tight_scope):
(sc_trailing_space): New rules.
(sc_xalloc_h_in_src): Remove.
(sc_cast_of_argument_to_free, sc_cast_of_x_alloc_return_value):
(sc_space_tab, sc_error_exit_success, sc_changelog):
(sc_system_h_headers, sc_sun_os_names, sc_unmarked_diagnostics):
(makefile-check, po-check, author_mark_check):
(makefile_path_separator_check, copyright-check):
Use grep -n, to make it easier to find violations.
Use CVS_LIST and CVS_LIST_EXCEPT.
(header_regexp, h_re): Remove.
(dd_c): New macro.
(sc_dd_max_sym_length, .re-list, news-date-check): New rules.
(my-distcheck): Use more-modern GCC flags.
(signatures, %.asc): Remove.
(rel-files, announcement): Remove signatures.
Restore old updating code, even though we don't use it, so
that we're the same as coreutils.
(alpha, beta, major): Depend on news-date-check.
Make the upload commands.
* data/c.m4, data/lalr1.cc, data/yacc.c: Normalize white space.
* lib/abitset.h, lib/bbitset.h, lib/bitset.h: Likewise.
* lib/bitset_stats.c, lib/ebitset.h, lib/lbitset.c: Likewise.
* lib/libitset.h, lib/timevar.c, lib/vbitset.h: Likewise.
* src/Makefile.am, src/gram.c, src/muscle_tab.h: Likewise.
* src/parse-gram.y, src/system.h, src/tables.c, src/vcg.c: Likewise.
* src/vcg_defaults.h, tests/cxx-type.at, tests/existing.at: Likewise.
* tests/sets.at: Likewise.
* data/m4sugar/m4sugar.m4: Sync from Autoconf, except that
we comment out the Autoconf version number.
* doc/bison.texinfo (Calc++ Scanner): Don't use atoi, as
it's error-prone and "make maintainer-distcheck" rejects it.
* lib/subpipe.c: Include <fcntl.h> without checking for HAVE_FCNTL_H.
Indent calls to "error" to pacify "make maintainer-distcheck",
when the calls are not intended to be translated.
* m4/subpipe.m4 (BISON_PREREQ_SUBPIPE): Don't check for fcntl.h.
* src/Makefile.am (DEFS): Use +=, to pacify
"make maintainer-distcheck".
(bison_SOURCES): Add scan-skel.h.
(sc_tight_scope): New rule, from coreutils.
* src/files.c (src_extension, header_extension):
Now static, not extern.
* src/getargs.c (short_options): Likewise.
* src/muscle_tab.c (muscle_table): Likewise.
* src/parse-gram.y (current_class, current_type, current_prec):
Likewise.
* src/reader.c (grammar_end, previous_rule_end): Likewise.
* src/getargs.h: Redo comments to pacify "make maintainer-distcheck".
* src/main.c (main): Cast bindtextdomain and textdomain calls to
void, to avoid warning when NLS is disabled.
* src/output.c: Include scan-skel.h.
(scan_skel): Remove decl, since scan-skel.h does this.
(output_skeleton):
Indent calls to "error" to pacify "make maintainer-distcheck".
* src/print_graph.c: Don't include <obstack.h>, as system.h does this.
* src/reader.h (gram_end, gram_lineno): New decls to pacify
"make maintainer-distcheck".
* src/scan-skel.l (skel_lex, skel_get_lineno, skel_get_in):
(skel_get_out, skel_get_leng, skel_get_text, skel_set_lineno):
(skel_set_in, skel_set_out, skel_get_debug, skel_set_debug):
(skel_lex_destroy, scan_skel): Move these decls to...
* src/scan-skel.h: New file.
* src/uniqstr.c (uniqstr_assert):
Indent calls to "error" to pacify "make maintainer-distcheck".
* tests/Makefile.am ($(srcdir)/package.m4): Use $(VAR),
not @VAR@.
* tests/torture.at: Revamp to avoid misuse of atoi that
"make maintainer-distcheck" complained about.
Paul Eggert [Sun, 24 Jul 2005 07:17:06 +0000 (07:17 +0000)]
(ATTRIBUTE_UNUSED): Remove, since it infringes on
the user's name space. All uses changed to __attribute__
((__unused__)).
(yyFail, yyMemoryExhausted, yyreportAmbiguity):
Add __attribute__ ((__noreturn__)).
Paul Eggert [Sat, 23 Jul 2005 17:06:41 +0000 (17:06 +0000)]
(message): Don't print a message more than once,
and omit line-number decoration that makes Emacs compile think
that informative messages are worth worrying about.
Paul Eggert [Fri, 22 Jul 2005 23:02:50 +0000 (23:02 +0000)]
(SUBDIRS): Add examples; somehow this got removed accidentally.
Paul Eggert [Fri, 22 Jul 2005 22:32:03 +0000 (22:32 +0000)]
Update copyright.
Paul Eggert [Fri, 22 Jul 2005 22:30:13 +0000 (22:30 +0000)]
* lib/bitset.c (bitset_alloc): Don't cast xcalloc result.
* lib/bitset_stats.c (bitset_stats_init): Likewise.
* lib/bitsetv.c (bitsetv_alloc): Likewise.
Paul Eggert [Fri, 22 Jul 2005 21:56:20 +0000 (21:56 +0000)]
(relation_transpose): Rewrite to avoid bogus complaint
from maintainer-distcheck about casting the argument of 'free'.
Paul Eggert [Fri, 22 Jul 2005 21:46:02 +0000 (21:46 +0000)]
Add *.yy.
Paul Eggert [Fri, 22 Jul 2005 21:44:03 +0000 (21:44 +0000)]
Mention lib/xalloc-die.c, not lib/xmalloc.c.
Paul Eggert [Fri, 22 Jul 2005 21:26:26 +0000 (21:26 +0000)]
Version 2.0b.
Paul Eggert [Fri, 22 Jul 2005 21:20:58 +0000 (21:20 +0000)]
Add Anthony Heading, twlevo@xs4all.nl.
Paul Eggert [Fri, 22 Jul 2005 18:35:27 +0000 (18:35 +0000)]
For translations that have not yet been upgraded to
the new runtime-po domain, prime the pump by extracting the
relevant strings from the obsolete translations. This code can be
removed once the bison-runtime domain has been translated by each
team.
Paul Eggert [Fri, 22 Jul 2005 17:58:51 +0000 (17:58 +0000)]
(<SC_PRE_CODE>.): Don't double-quote token names,
now that token names are already quoted.
Paul Eggert [Fri, 22 Jul 2005 17:07:31 +0000 (17:07 +0000)]
* data/glr.c (YYTOKEN_TABLE): New macro.
(yytname): Define if YYTOKEN_TABLE.
* data/yacc.c (YYTOKEN_TABLE, yytname): Likewise.
* data/lalr1.cc (YYTOKEN_TABLE, yytname_): Likewise.
(YYERROR_VERBOSE): Define the same way the other skeletons do.
* src/output.c (prepare_symbols): Output token_table_flag.
Paul Eggert [Fri, 22 Jul 2005 04:56:35 +0000 (04:56 +0000)]
Catch up to last couple of days' checkins.
Paul Eggert [Fri, 22 Jul 2005 04:56:14 +0000 (04:56 +0000)]
(yyinitGLRStack, yyreturn): Don't call malloc again if the first call
fails.
Paul Eggert [Thu, 21 Jul 2005 20:55:33 +0000 (20:55 +0000)]
Regenerate.
Paul Eggert [Thu, 21 Jul 2005 20:53:03 +0000 (20:53 +0000)]
* data/glr.c (yytnamerr): New function.
(yyreportSyntaxError): Use it to dequote most string literals.
* data/lalr1.c (yytname_): Renamed from yyname_, for compatibility
with other skeletons. All uses changed.
(yytnameerr_): New function.
(yyreport_syntax_error): Use it to dequote most string literals.
* data/yacc.c (yytnamerr): New function.
(yyerrlab): Use it to decode most string literals.
* doc/bison.texinfo (Decl Summary, Calling Convention):
Clarify quoting convention of yytname.
* src/output.c (prepare_symbols): Quote all names. This undoes
the 2005-04-17 change, which is now accomplished (mostly) via
changes in the parsers as described above.
* tests/regression.at (Token definitions, Web2c Actions):
Undo most 2005-04-17 change here, too.
Paul Eggert [Wed, 20 Jul 2005 22:01:47 +0000 (22:01 +0000)]
Don't pipe output of ./types through sed to
remove trailing spaces. This loses the exit status of ./types,
and isn't needed since ./types shouldn't be emitting trailing
spaces.
Paul Eggert [Wed, 20 Jul 2005 21:43:32 +0000 (21:43 +0000)]
(yyreturn): Don't pop stack if yyinitStateSet failed,
as the stack isn't valid in that case.
Paul Eggert [Wed, 20 Jul 2005 21:23:35 +0000 (21:23 +0000)]
* src/scan-gram.l (gram_get_lineno, gram_get_in, gram_get_out):
(gram_get_leng, gram_get_text, gram_set_lineno, gram_set_in):
(gram_set_out, gram_get_debug, gram_set_debug, gram_lex_destroy):
Add declarations to pacify "gcc -Wmissing-prototypes" when flex 2.5.31
is used.
* src/scan-skel.l (skel_get_lineno, skel_get_in, skel_get_out):
(skel_get_leng, skel_get_text, skel_set_lineno, skel_set_in):
(skel_set_out, skel_get_debug, skel_set_debug, skel_lex_destroy):
Likewise.
Paul Eggert [Wed, 20 Jul 2005 21:19:40 +0000 (21:19 +0000)]
(_AT_TEST_GLR_CXXTYPES): Work even with
overly-picky compilers that reject 'char *foo = "bar";'.
Paul Eggert [Wed, 20 Jul 2005 21:17:04 +0000 (21:17 +0000)]
(SYMBOL_ATTR_PRINT, symbol_print): Direct output
to FILE * parameter, not to stderr.
Paul Eggert [Wed, 20 Jul 2005 21:12:54 +0000 (21:12 +0000)]
(create_subpipe): Rewrite slightly to avoid warnings from GCC 4.
Paul Eggert [Wed, 20 Jul 2005 21:06:26 +0000 (21:06 +0000)]
(yyexpandGLRStack, yyaddDeferredAction, yyexpandGLRStack):
(yyglrShiftDefer, yysplitStack):
Remove unused parameters b4_pure_formals. All uses changed.
(yyglrShift): Remove unused parameters b4_user_formals.
All uses changed.
(yyglrReduce): Removed unused parameter yylocp. All uses changed.
Paul Eggert [Tue, 19 Jul 2005 07:10:32 +0000 (07:10 +0000)]
Regenerate.
Paul Eggert [Tue, 19 Jul 2005 06:56:44 +0000 (06:56 +0000)]
Destructor cleanups and regularization among the three skeletons.
* NEWS: Document the behavior changes.
* data/glr.c (yyrecoverSyntaxError): Don't bother to pop the
stack before failing, as the cleanup code will do it for us now.
* data/lalr1.cc (yyerrlab): Likewise.
* data/glr.c (yyparse): Pop everything off the stack before
freeing it, so that destructors get called properly.
* data/lalr1.cc (yyreturn): Likewise.
* data/yacc.c (yyreturn): Pop and destroy the start symbol, too.
This is more consistent.
* doc/bison.texinfo (Destructor Decl): Mention more reasons
why destructors might be called. 1.875 -> 2.1.
(Destructor Decl, Decl Summary, Table of Symbols):
Some English-language cleanups for %destructor.
* tests/actions.at (_AT_CHECK_PRINTER_AND_DESTRUCTOR):
Add output line for destructor of start symbol.
* tests/calc.at (AT_CHECK_CALC): Add one to line counts,
because of that same extra output line.
Paul Eggert [Tue, 19 Jul 2005 03:38:13 +0000 (03:38 +0000)]
Regenerate.
Paul Eggert [Tue, 19 Jul 2005 03:32:40 +0000 (03:32 +0000)]
(_AT_TEST_GLR_CXXTYPES): Don't try to have yyerror return 0, now that
it returns void.
Paul Eggert [Tue, 19 Jul 2005 00:05:57 +0000 (00:05 +0000)]
* NEWS: Document minor wording changes in diagnostics of
Bison-generated parsers.
* data/glr.c (yyMemoryExhausted): Renamed from yyStackOverflow.
Remove unused formals. All uses changed.
(yyreportAmbiguity): "ambiguity detected" -> "syntax is ambiguous".
(yyparse): Rename yyoverflowlab to yyexhaustedlab.
* data/yacc.c (yyparse): "parser stack overflow" -> "memory exhausted".
Rename yyoverflowab to yyexhaustedlab.
When memory exhaustion occurs during syntax-error reporting,
report it separately rather than in a single diagnostic; this
eases translation.
* doc/bison.texinfo (Memory Management): Renamed from Stack Overflow.
(Memory Exhausted): Renamed from Parser Stack Overflow.
Revamp wording slightly to prefer "memory exhaustion".
* tests/actions.at: "parser stack overflow" -> "memory exhausted".
Paul Eggert [Mon, 18 Jul 2005 22:25:54 +0000 (22:25 +0000)]
Add bison-runtime.pot; remove bison-runtime.old.pot.
Paul Eggert [Mon, 18 Jul 2005 22:22:49 +0000 (22:22 +0000)]
Add Makefile.in.in.
Paul Eggert [Mon, 18 Jul 2005 22:16:44 +0000 (22:16 +0000)]
* data/c.m4 (b4_yysymprint_generate): Use YYFPRINTF, not fprintf.
Paul Eggert [Mon, 18 Jul 2005 22:14:15 +0000 (22:14 +0000)]
Update copyright.
Paul Eggert [Mon, 18 Jul 2005 22:10:15 +0000 (22:10 +0000)]
Add i18n support to the GLR skeleton. Partially fix the C++
skeleton; a C++ expert needs to finish this. Remove debugging
msgids; there's little point to having them translated, since they
can be understood only by someone who can read the
(English-language) source code.
Generate runtime-po/bison-runtime.pot automatically, so that we
don't have to worry about garbage getting in that file. We'll
make sure after the next official release that old msgids don't
get lost. See
<http://lists.gnu.org/archive/html/bison-patches/2005-07/msg00119.html>.
* runtime-po/Makefile.in.in, runtime-po/bison-runtime.pot: Remove.
Now auto-generated.
* PACKAGING: Don't claim that Gawk, GCC, Perl use this method yet.
Fix typos in explanations of the runtime file.
* bootstrap: Change gettext keyword from YYI18N to YY_.
Use standard Makefile.in.in in runtime-po, since we'll arrange
for backward-compatible bison-runtime.po files in a different way.
* data/glr.c (YY_): New macro, from yacc.c.
(yyuserAction, yyreportAmbiguity, yyreportSyntaxError, yyparse):
Translate messages intended for users.
(yyreportSyntaxError): Change "virtual memory" to "memory" to match
the wording in the other skeletons. We don't know that the memory
is virtual.
* data/lalr1.cc (YY_): Renamed from _. All uses changed.
Use same method that yacc.c uses.
Don't translate debugging messages.
(yy::yyreport_syntax_error): Put in a FIXME for the i18n stuff;
it doesn't work (yet), and requires C++ expertise to fix.
* data/yacc.c (YY_): Renamed from YY18N. All uses changed.
Move defn to a more logical place, to be consistent with other
skeletons.
Don't translate debugging messages.
Don't assume line numbers fit in unsigned int; use unsigned long fmts.
* doc/bison.texinfo: Mention <libintl.h>. Change glibc cross reference
to gettext cross reference. Add indexing terms. Mention YYENABLE_NLS.
* runtime-po/POTFILES.in: Add data/glr.c, data/lalr1.cc.
Paul Eggert [Mon, 18 Jul 2005 18:39:01 +0000 (18:39 +0000)]
Fix yyerror / yylex test glitches noted by twlevo@xs4all.nl.
* tests/cxx-type.at (_AT_TEST_GLR_CXXTYPES): Have yyerror return
void, not int.
* tests/glr-regression.at (Badly Collapsed GLR States):
Likewise.
(Improper handling of embedded actions and dollar(-N) in GLR parsers):
yylex should return 0 at EOF rather than aborting.
Paul Eggert [Mon, 18 Jul 2005 18:09:40 +0000 (18:09 +0000)]
Improve tests for stack overflow in GLR parser.
Problem reported by twlevo@xs4all.nl.
* data/glr.c (struct yyGLRStack): Remove yyerrflag member.
All uses removed.
(yyStackOverflow): Just longjmp, but with value 2 so that caller
can handle the problem.
(YYCHK1): Use goto (a la yacc.c) rather than setting a flag.
(yyparse): New local variable yyresult to record the result.
Use result of setjmp to set it, rather than storing itinto
struct.
(yyDone): Remove label.
(yyacceptlab, yyabortlab, yyoverflowlab, yyreturn): New labels,
to mimic yacc.c. Do not discard lookahead if it's EOF (possible
if YYABORT is used).
* tests/actions.at (_AT_CHECK_PRINTER_AND_DESTRUCTOR): Exit with
yyparse status; put status > 1 into diagnostic.
Check that status==2 works.
* tests/calc.at, tests/cxx-type.at, tests/glr-regression.at:
Use exit status 3 for failure to open (which shouldn't happen).
Paul Eggert [Mon, 18 Jul 2005 06:14:16 +0000 (06:14 +0000)]
* tests/conflicts.at (%nonassoc and eof): Don't exit with status
1 on syntax error; just let yyparse do its thing.
* tests/glr-regression.at (Badly Collapsed GLR States): Likewise.
* tests/torture.at (AT_DATA_STACK_TORTURE): Likewise.
(Exploding the Stack Size with Alloca):
(Exploding the Stack Size with Malloc):
Expect exit status 2, not 1, since the parser is supposed to blow
its stack. Problem reported by twlevo@xs4all.nl.
Paul Eggert [Sun, 17 Jul 2005 07:30:38 +0000 (07:30 +0000)]
* data/glr.c (yyparse): Don't assume that the initial calls
to YYMALLOC succeed; in that case, yyparse incorrectly returned 0.
Print a stack-overflow message and fail instead.
Initialize the line-number information before creating the stack,
so that the stack-overflow message can report line zero safely.
Paul Eggert [Thu, 14 Jul 2005 23:57:45 +0000 (23:57 +0000)]
More changes to pacify C++ compilers.
Paul Eggert [Thu, 14 Jul 2005 23:15:47 +0000 (23:15 +0000)]
* data/glr.c (YYSTACKEXPANDABLE): Don't define if already defined.
(yyuserMerge): Provide a default case if b4_mergers is empty.
* tests/cxx-type.at (_AT_TEST_GLR_CXXTYPES): Define YYSTACKEXPANDABLE.
* tests/glr-regression.at
(Improper handling of embedded actions and dollar(-N) in GLR parsers):
YYSTYPE is char *, not char const *, so that strcpy ($$, ...) works.
Paul Eggert [Thu, 14 Jul 2005 21:42:40 +0000 (21:42 +0000)]
* tests/glr-regression.at (Improper merging of GLR delayed action
sets): Declare yylex before using it.
Paul Eggert [Thu, 14 Jul 2005 17:27:01 +0000 (17:27 +0000)]
* tests/Makefile.am (maintainer-check-g++): Remove bogus
test for valgrind; valgrind is independent of g++.
(maintainer-check-posix): Add _POSIX2_VERSION=200112, to check
for compatibility with POSIX 1003.1-2001 (if running coreutils).
* tests/cxx-type.at (_AT_TEST_GLR_CXXTYPES): Port to stricter C++.
Use a destructor, so that we can expand the stack. Change
YYSTYPE to char * so that we can free it. Cast result of malloc.
Paul Eggert [Thu, 14 Jul 2005 16:34:15 +0000 (16:34 +0000)]
Update copyright.
Paul Eggert [Thu, 14 Jul 2005 16:33:40 +0000 (16:33 +0000)]
GXX -> CXX
Paul Eggert [Thu, 14 Jul 2005 16:33:28 +0000 (16:33 +0000)]
(maintainer-check-g++): Fix a stray
$(GXX) that escaped the renaming of GXX to CXX.
Paul Eggert [Thu, 14 Jul 2005 05:08:03 +0000 (05:08 +0000)]
* data/glr.c (yyuserAction): Fix uninitialized variable that caused
a valgrind failure. Problem reported by twlevo@xs4all.nl.
Paul Eggert [Wed, 13 Jul 2005 18:16:30 +0000 (18:16 +0000)]
* PACKAGING: New file, suggested by Bruno Haible and taken from
similar wording in gettext's PACKAGING file.
* NEWS: Mention PACKAGING.
* Makefile.am (EXTRA_DIST): Add PACKAGING.
Paul Eggert [Wed, 13 Jul 2005 17:35:34 +0000 (17:35 +0000)]
Bison-generated C parser -> Bison-generated parser
Akim Demaille [Wed, 13 Jul 2005 11:55:16 +0000 (11:55 +0000)]
Update.
Paul Eggert [Tue, 12 Jul 2005 23:40:43 +0000 (23:40 +0000)]
Don't imply the latest change was in 2.0a.
Paul Eggert [Tue, 12 Jul 2005 23:37:16 +0000 (23:37 +0000)]
* NEWS: Document recent i18n improvements.
Paul Eggert [Tue, 12 Jul 2005 23:28:54 +0000 (23:28 +0000)]
* bootstrap: Get runtime translations into runtime-po.
Create runtime-po files automatically, if possible.
* configure.ac: Invoke BISON_I18N, so that we eat our own dog food.
* data/yacc.c: Rewrite inclusion of <libintl.h> so that ENABLE_NLS
does not infringe on the user's name space.
(YYENABLE_NLS): Renamed from ENABLE_BISON_NLS.
* doc/bison.texinfo (Internationalization): Revamp the English
and Texinfo syntax a bit, to try to make it clearer.
(Bison Options, Option Cross Key): Mention --print-localedir.
* m4/bison-i18n.m4 (BISON_I18N): Rename ENABLE_BISON_NLS to
YYENABLE_NLS. Quote a bit more.
* runtime-po/.cvsignore: New file.
* runtime-po/Makefile.in.in (mostlyclean): Remove *.old.pot.
* runtime-po/Rules-quot: Remove; now created by bootstrap.
* runtime-po/quot.sed: Likewise.
* runtime-po/boldquot.sed: Likewise.
* runtime-po/en@quot.header: Likewise.
* runtime-po/en@boldquot.header: Likewise.
* runtime-po/insert-header.sin: Likewise.
* runtime-po/remove-potcdate.sin: Likewise.
* runtime-po/Makevars: Likewise.
* runtime-po/LINGUAS: Likewise.
* runtime-po/de.po: Likewise; we will rely on the translation project
to maintain this, so "bootstrap" should get it.
* src/getarg.s (PRINT_LOCALEDIR_OPTION): Let the C compiler determine
its value.
* src/main.c (main): Bind the bison-runtime domain, too.
* data/yacc.c: Include <libintl.h> when NLS is enabled.
(YYI18N): Renamed from _. Use dgettext when NLS is enabled.
* po/POTFILES.in: Remove autogenerated file src/parse-gram.c.
* runtime-po: New directory.
* runtime-po/Makefile.in.in: New file, copied from po/, with modified
$(DOMAIN).pot-update rule, so that old messages are never dropped.
* runtime-po/Rules-quot: New file, copied from po/.
* runtime-po/quot.sed: Likewise.
* runtime-po/boldquot.sed: Likewise.
* runtime-po/en@quot.header: Likewise.
* runtime-po/en@boldquot.header: Likewise.
* runtime-po/insert-header.sin: Likewise.
* runtime-po/remove-potcdate.sin: Likewise.
* runtime-po/Makevars: New file.
* runtime-po/POTFILES.in: New file.
* runtime-po/LINGUAS: New file.
* runtime-po/bison-runtime.pot: New file.
* runtime-po/de.po: New file.
* m4/bison.m4: New file.
* Makefile.am (SUBDIRS): Add runtime-po.
(aclocaldir, aclocal_DATA): New variables.
* configure.ac: Add AC_CONFIG_FILES of runtime-po/Makefile.in.
Define aclocaldir.
* src/getargs.c (usage): Document --print-localedir option.
(PRINT_LOCALEDIR_OPTION): New enum item.
(long_options): Add --print-localedir option.
(getargs): Handle --print-localedir option.
* doc/bison.texinfo (Bison Parser): Remove paragraph about _().
(Internationalization): New section.
Akim Demaille [Tue, 12 Jul 2005 15:58:49 +0000 (15:58 +0000)]
* src/symtab.h, src/symtab.c (symbol_print): Swap the arguments,
for consistency with the rest of the code.
* src/symlist.h, src/symlist.c (symbol_list_print): Ditto.
Add separators.
Akim Demaille [Tue, 12 Jul 2005 13:54:41 +0000 (13:54 +0000)]
* src/parse-gram.y: Use %printer instead of YYPRINT.
Akim Demaille [Tue, 12 Jul 2005 13:48:48 +0000 (13:48 +0000)]
Sync.
Akim Demaille [Tue, 12 Jul 2005 13:47:09 +0000 (13:47 +0000)]
2005-07-12 Akim Demaille <akim@epita.fr>
* data/glr.c (b4_syncline): Fix (swap) the definitions of
b4_at_dollar and b4_dollar_dollar.
Akim Demaille [Tue, 12 Jul 2005 13:43:00 +0000 (13:43 +0000)]
Trailing trace.
Akim Demaille [Tue, 12 Jul 2005 13:41:58 +0000 (13:41 +0000)]
* src/symtab.h, src/symtab.c (symbol_print): New.
* src/symlist.h, src/symlist.c (symbol_list_print): New.
* src/symlist.c (symbol_list_n_type_name_get): Report the culprit.
Akim Demaille [Tue, 12 Jul 2005 13:39:38 +0000 (13:39 +0000)]
* data/glr.c (b4_syncline): Fix (swap) the definition of
b4_at_dollar and b4_dollar_dollar.
Paul Eggert [Mon, 11 Jul 2005 22:29:55 +0000 (22:29 +0000)]
* doc/bison.texinfo (Mystery Conflicts): Add reference to DeRemer
and Pennello's paper.
Paul Eggert [Sat, 9 Jul 2005 08:27:02 +0000 (08:27 +0000)]
Regenerate.
Paul Eggert [Sat, 9 Jul 2005 08:26:29 +0000 (08:26 +0000)]
* data/yacc.c (yyparse): Undo previous patch. Instead,
set yylsp[0] and yyvsp[0] only if the initial action
sets yylloc and yylval, respectively.
Paul Eggert [Sat, 9 Jul 2005 07:14:18 +0000 (07:14 +0000)]
* data/yacc.c (yyparse): In the initial action, set
yylsp[0] and yyvsp[0] rather than yylloc and yylval.
This avoids the use of undefined variables if the initial
action does not set yylloc and/or yylval.
Paul Eggert [Thu, 7 Jul 2005 23:18:32 +0000 (23:18 +0000)]
Add *.ll.
Paul Eggert [Thu, 7 Jul 2005 23:16:46 +0000 (23:16 +0000)]
* examples/calc++/calc++-driver.cc, examples/calc++/calc++-driver.hh:
* examples/calc++/calc++-scanner.ll, examples/calc++/calc++.cc:
Remove from CVS. These files are automatically generated.
* examples/extexi: Clarify that this file is now part of Bison,
not GNU M4, and that it works with any POSIX-compatible Awk.
* examples/calc++/Makefile.am (run_extexi): Remove; not used.
($(calc_extracted)): Renamed from $(calc_sources_extracted),
so that we also get calc++-parser.yy. Geneate it.
Use $(AWK), not gawk, since any conforming Awk will do.
Put comment before action, since older 'make' can't handle comment
in action.
$(BUILT_SOURCES): List all built sources, not just some of them.
$(MAINTAINERCLEANFILES): Remove *.stamp, and all built sources.
$($(srcdir)/calc++-parser.stamp): Work even if POSIXLY_CORRECT.
$($(calc_sources_generated)): Remove unnecessary test for existence
of target. (This had a shell syntax error anyway; a stray "x".)
(calc_extracted): List $(srcdir)/calc++-parser.yy, not
calc++-parser.yy.
* examples/.cvsignore, examples/calc++/.cvsignore: New files.
Paul Eggert [Thu, 7 Jul 2005 16:06:50 +0000 (16:06 +0000)]
* bootstrap (gnulib_modules): Add gettext, now that it's no longer
implied by the other modules.
Akim Demaille [Wed, 6 Jul 2005 07:49:25 +0000 (07:49 +0000)]
Bind examples/calc++ to the package.
* examples/calc++/Makefile: Remove, replaced by...
* examples/calc++/Makefile.am: ... this new file.
* examples/calc++/test: Remove input.
* examples/calc++/compile: Remove.
* examples/Makefile.am: New.
* configure.ac, Makefile.am: Adjust.
* doc/Makefile.am (clean-local): New, for more recent texi2dvis.
Paul Eggert [Wed, 6 Jul 2005 04:12:23 +0000 (04:12 +0000)]
* data/glr.c (yyFail): Drastically simplify; since the format argument
never had any % directives, we can simply pass it to yyerror.
(yyparse): Use "t a; a=b;" rather than "t a = b;" when a will
be modified later, as that is the usual style in glr.c.
Paul Eggert [Tue, 5 Jul 2005 21:58:37 +0000 (21:58 +0000)]
Rewrite GLR parser to catch more buffer overrun, storage exhaustion,
and size overflow errors.
* data/glr.c: Include <stdio.h> etc. after user prolog, not before,
in case the user prolog sets feature-test macros like _GNU_SOURCE.
(YYSIZEMAX): New macro.
(yystpcpy): New function, taken from yacc.c.
(struct yyGLRStack.yyspaceLeft): Now size_t, not int.
(yyinitGLRStack, yyfreeGLRstack): Remove unnecessary forward decls,
so that we don't have to maintain their signatures.
(yyFail): Check for buffer overflow, by using vsnprintf rather
than vsprintf. Allocate a bigger buffer if possible.
Report an error if buffer allocation fails.
(yyStackOverflow): New function.
(yyinitStateSet, yyinitGLRStack): Return a boolean indicating whether
the initialization was successful. It might fail if storage was
exhausted.
(yyexpandGLRStack): Add more checks for storage allocation failure.
Use yyStackOverflow to report failures.
(yymarkStackDeleted, yyglrShift, yyglrShiftDefer, yydoAction):
(yysplitStack, yyprocessOneStack, yyparse, yypstack):
Don't assume stack number fits in int.
(yysplitStack): Check for storage allocation failure.
(yysplitStack, yyprocessOneStack): Add pure_formals, so that we
can print diagnostics on storage allocation failure. All callers
changed.
(yyresolveValue): Use yybool for boolean.
(yyreportSyntaxError): Check for size-calculation overflow.
This code is taken from yacc.c.
(yyparse): Check for storage allocation errors when allocating
the initial stack.
Akim Demaille [Tue, 5 Jul 2005 07:21:30 +0000 (07:21 +0000)]
Extract calc++ from the documentation.
* doc/bison.texinfo (Calc++): Add the extraction marks.
* examples/extexi: New, from the aborted GNU Programming 2E.
Separate the different paragraph of a file with empty lines.
* examples/Makefile: Use it to extract the whole calc++ example.
Akim Demaille [Fri, 24 Jun 2005 14:56:11 +0000 (14:56 +0000)]
* doc/bison.texinfo (C++ Parser Interface): Use defcv to define
class typedefs.
Akim Demaille [Wed, 22 Jun 2005 16:49:19 +0000 (16:49 +0000)]
* doc/bison.texinfo (C++ Language Interface): First stab.
(C++ Parsers): Remove.
Akim Demaille [Wed, 22 Jun 2005 15:37:22 +0000 (15:37 +0000)]
* data/lalr1.cc (yylex_): Honor %lex-param.
Akim Demaille [Wed, 22 Jun 2005 15:32:10 +0000 (15:32 +0000)]
Start a set of simple examples.
* examples/calc++/Makefile, examples/calc++/calc++-driver.cc,
* examples/calc++/calc++-driver.hh,
* examples/calc++/calc++-parser.yy,
* examples/calc++/calc++-scanner.ll, examples/calc++/calc++.cc,
* examples/calc++/compile, examples/calc++/test: New.
Paul Eggert [Thu, 9 Jun 2005 20:44:28 +0000 (20:44 +0000)]
* data/yacc.c (malloc, free) [defined __cplusplus]: Wrap inside extern "C" {}.
Paul Hilfinger [Tue, 7 Jun 2005 02:47:12 +0000 (02:47 +0000)]
data/glr.c: Modify treatment of unused parameters to permit use
of g++ (which doesn't allow __attribute__ ((unused)) for parameters).
Paul Eggert [Mon, 30 May 2005 17:25:18 +0000 (17:25 +0000)]
Regenerate.
Paul Eggert [Mon, 30 May 2005 17:23:52 +0000 (17:23 +0000)]
Fix infringement on user name space reported by Janos Zoltan Szabo.
Paul Eggert [Mon, 30 May 2005 17:22:55 +0000 (17:22 +0000)]
(yyparse): strlen -> yystrlen.
Akim Demaille [Mon, 30 May 2005 07:02:40 +0000 (07:02 +0000)]
* data/lalr1.cc (_): New.
Translate the various messages.