Akim Demaille [Sun, 30 Dec 2012 08:28:42 +0000 (09:28 +0100)]
todo: remove erroneous task
* tests/input.at: Check that there are no warnings about stray $ and @
in the epilogue.
* TODO: Remove the correponding task.
Akim Demaille [Fri, 28 Dec 2012 10:49:19 +0000 (11:49 +0100)]
gnulib: update
Akim Demaille [Fri, 28 Dec 2012 10:28:36 +0000 (11:28 +0100)]
regen
Akim Demaille [Fri, 28 Dec 2012 10:25:02 +0000 (11:25 +0100)]
syncline: one line is enough
So far we were issuing two lines for each syncline change:
/* Line 356 of yacc.c */
#line 1 "src/parse-gram.y"
This is a lot of clutter, especially when reading diffs, as these
lines change often. Fuse them into a single, shorter, line:
#line 1 "src/parse-gram.y" /* yacc.c:356 */
* data/bison.m4 (b4_syncline): Issue a single line.
Comment improvements.
(b4_sync_start, b4_sync_end): Issue a shorter comment.
* data/c++.m4 (b4_semantic_type_declare): b4_user_code must be
on its own line as it might start with a "#line" directive.
Akim Demaille [Fri, 28 Dec 2012 10:07:17 +0000 (11:07 +0100)]
regen
Akim Demaille [Fri, 28 Dec 2012 10:04:37 +0000 (11:04 +0100)]
maint: restore ANSI 89 compliance
* data/bison.m4, src/conflicts.c, src/files.c, src/output.c,
* src/symtab.c: Use /* ... */ comments only.
Declare variables before statements.
Akim Demaille [Fri, 28 Dec 2012 09:04:49 +0000 (10:04 +0100)]
graph: minor simplification
* src/gram.c (print_lhs): Use %*s to indent.
* src/print_graph.c (print_lhs): Use obstack_printf.
Became simple enough to be inlined in...
(print_core): here.
Use a "rule*" instead of an index in "rules[]".
Akim Demaille [Fri, 28 Dec 2012 09:16:37 +0000 (10:16 +0100)]
closure, gram: add missing const
* src/closure.h, src/closure.c, src/gram.h, src/gram.c: Add some missing
const where appropriate.
Theophile Ranquet [Thu, 13 Dec 2012 10:28:11 +0000 (11:28 +0100)]
carets: properly display when no line feed is present
* src/location.c (location_caret): finish the line with one whether or not it
is present in input. Rewrite code without getline.
(cleanup_caret): Reset the caret_info global.
* bootstrap.conf: No longer require getline.
Theophile Ranquet [Thu, 15 Nov 2012 17:10:35 +0000 (17:10 +0000)]
scanner: reintroduce unput for missing end tokens
Unput was no longer used since a POSIX-compatiblity issue with Flex 2.5.31,
which has been adressed in newer versions of Flex. See this discussion:
<http://lists.gnu.org/archive/html/bug-bison/2003-04/msg00029.html>
This partially reverts commit
aa4180418fff518198e1b0f2c43fec6432210dc7.
* src/scan-gram.l (unexpected_end): Here.
* tests/input.at: Adjust for new order of error reports.
Akim Demaille [Thu, 27 Dec 2012 09:52:42 +0000 (10:52 +0100)]
tables: scope reduction
* src/tables.c (default_goto): Make it easier to understand.
Akim Demaille [Thu, 27 Dec 2012 09:33:46 +0000 (10:33 +0100)]
regen
Akim Demaille [Thu, 27 Dec 2012 09:01:58 +0000 (10:01 +0100)]
skeletons: fix comments
The commit
38de4e570fdc7c8db9633c3b2054e565d8c1c6b9 underquoted the
content of the comments, which resulted in losing square brackets in
the comments. Besides, some other invocations were underquoting the
effective arguments.
* data/c.m4 (b4_comment_): Properly quote the comment.
(b4_comment_, b4_comment): Move to...
* data/c-like.m4: here, so that...
* data/java.m4: can use it instead of its own copy.
* data/bison.m4 (b4_integral_parser_tables_map): Fix some comments.
* data/lalr1.cc, data/lalr1.java, data/yacc.c: Comment fixes.
* data/lalr1.cc: Reorder a bit to factor some CPP directives.
Akim Demaille [Thu, 27 Dec 2012 08:45:17 +0000 (09:45 +0100)]
maint: which -> whose
Apparently, I was confusing both.
* data/bison.m4, data/c.m4, data/glr.c, data/lalr1.cc, data/yacc.c:
Use "whose" where appropriate.
Akim Demaille [Wed, 26 Dec 2012 17:16:55 +0000 (18:16 +0100)]
tables: scope reduction
* src/tables.c (matching_state): here.
Akim Demaille [Wed, 26 Dec 2012 17:15:21 +0000 (18:15 +0100)]
tables: scope reduction
* src/tables.c (token_actions): here.
Akim Demaille [Wed, 26 Dec 2012 17:14:47 +0000 (18:14 +0100)]
tables: scope reduction
* src/tables.c (save_row): here.
Akim Demaille [Wed, 26 Dec 2012 16:56:20 +0000 (17:56 +0100)]
tables: scope reduction
* src/tables.c (save_column, pack_vector): Reduce the scope to
emphasize the structure of the code.
Rename the returned value "res" to make understanding easier.
Akim Demaille [Wed, 26 Dec 2012 16:55:02 +0000 (17:55 +0100)]
tables: use size_t where appropriate
These changes aim at making the code easier to understand.
* src/tables.c (tally): This is a size, always >= 0, so make it
a size_t.
Akim Demaille [Wed, 26 Dec 2012 16:53:01 +0000 (17:53 +0100)]
tables: style changes
* src/tables.c: Prefer < to >.
Fix/complete some comments.
Remove useless parens.
Akim Demaille [Wed, 26 Dec 2012 07:18:03 +0000 (08:18 +0100)]
skeletons: no longer call yylex via a CPP macro
The YYLEX existed only to support YYLEX_PARAM, which is now removed.
This macro was a nuisance, since incorrect yylex calls where pointed
the macro _use_, instead of its definition.
* data/c.m4 (b4_lex_formals, b4_lex): New.
* data/glr.c, data/yacc.c: Use it.
* data/lalr1.cc (b4_lex): New.
Use it.
squash! skeletons: no longer call yylex via a CPP macro
Akim Demaille [Tue, 25 Dec 2012 16:13:39 +0000 (17:13 +0100)]
YYLEX_PARAM: drop support
* data/yacc.c, doc/bison.texi: Remove YYLEX_PARAM support.
* NEWS: Document it.
Akim Demaille [Wed, 26 Dec 2012 07:12:38 +0000 (08:12 +0100)]
examples: minor improvements
* examples/variant.yy: Don't use debug_stream(), obsoleted.
Use <*>.
Akim Demaille [Tue, 25 Dec 2012 15:27:16 +0000 (16:27 +0100)]
skeletons: factor comments about symbols
* data/variant.hh (b4_char_sizeof_): Rename as...
* data/bison.m4 (b4_symbol_tag_comment): this.
Provide more documentation about b4_symbol_*.
Akim Demaille [Sun, 23 Dec 2012 16:54:59 +0000 (17:54 +0100)]
c: improve the definition of public types
* data/c.m4 (b4_token_enum): Improve comments.
(b4_value_type_define, b4_location_type_define): New, extracted
from...
(b4_declare_yylstype): here.
Separate the typedefs from the union/struct definitions.
Akim Demaille [Sun, 23 Dec 2012 11:47:31 +0000 (12:47 +0100)]
doc: update variant usage
* doc/bison.texi, examples/variant.yy: Use "%define api.value.type variant",
instead of "%define variant".
Akim Demaille [Sun, 23 Dec 2012 09:52:23 +0000 (10:52 +0100)]
tests: check the "%define variant" is deprecated.
* tests/input.at: Rename some AT_SETUP to avoid that
AT_SETUP_STRIP thinks they contain %define directives.
("%define" backward compatibility): Merge tests together
to speed up the test suite, and to make maintenance easier
(multiple AT_CHECK means multiple runs of the test suite to
be sure to have updated all the error messages).
Check the "%define variant" is properly obsoleted.
Akim Demaille [Sun, 16 Dec 2012 09:20:46 +0000 (10:20 +0100)]
%define variables: support value changes in deprecation
* src/muscle-tab.c (define_directive): Be robust to "assignment"
containing '='.
(muscle_percent_variable_update): Upgrade "variant" to "api.value.type".
Support such upgrade patterns.
Adjust callers.
* data/bison.m4: Use api.value.type for variants.
* tests/c++.at: Adjust tests.
Akim Demaille [Sat, 15 Dec 2012 21:14:16 +0000 (22:14 +0100)]
diagnostics: treat obsolete %define variable names as obsolete directives
Instead of
warning: deprecated %define variable name: 'namespace', use 'api.namespace' [-Wdeprecated]
display (in -fno-caret mode):
warning: deprecated directive: '%define namespace foo', use '%define api.namespace foo' [-Wdeprecated]
and (in -fcaret mode):
warning: deprecated directive, use '%define api.namespace toto' [-Wdeprecated]
%define namespace toto
^^^^^^^^^
This is in preparation of cases where not only the variable is
renamed, but the values are too:
warning: deprecated directive: '%define variant', use '%define api.value.type variant' [-Wdeprecated]
* src/muscle-tab.c (define_directive): New.
(muscle_percent_variable_update): Take the value as argument, and use it
in the diagnostics.
Loop with a pointer instead of an index.
* tests/input.at (%define backward compatibility): Adjust.
Akim Demaille [Sat, 15 Dec 2012 20:54:17 +0000 (21:54 +0100)]
diagnostics: factor the deprecated directive message
* src/complain.h, src/complain.c (deprecated_directive): New.
* src/muscle-tab.c: Use it.
Akim Demaille [Sat, 22 Dec 2012 09:16:49 +0000 (10:16 +0100)]
variant: produce stable results
Improve the output by ensuring a well defined order for type switches.
* src/uniqstr.h: Style changes for macro arguments.
(UNIQSTR_CMP): Replace by...
(uniqstr_cmp): this.
* src/uniqstr.c (uniqstr_cmp): New.
Produce well defined results.
* src/output.c: Use it.
Akim Demaille [Sat, 22 Dec 2012 09:21:17 +0000 (10:21 +0100)]
uniqstr: formatting changes
* src/uniqstr.h: Sort functions by object type.
Akim Demaille [Sun, 23 Dec 2012 08:49:14 +0000 (09:49 +0100)]
skeletons: fix an error message
* data/bison.m4 (b4_flag_if): Display the invalid value.
Akim Demaille [Sat, 22 Dec 2012 12:39:54 +0000 (13:39 +0100)]
tests: improve titles
* tests/local.at (AT_SETUP_STRIP): New.
(AT_SETUP): Use it to shorten the test titles: remove %defines, %language
and %skeleton whose arguments suffice.
* tests/synclines.at: Use more precise AT_SETUP.
Akim Demaille [Sat, 22 Dec 2012 09:51:55 +0000 (10:51 +0100)]
c++: comment changes
* data/c++.m4, data/glr.cc, data/lalr1.cc: Convert some /* ... */
comments to //.
Akim Demaille [Sat, 22 Dec 2012 08:14:05 +0000 (09:14 +0100)]
c++: use // comments in the output
This is mostly used for the license header, the synclines, and the
generated tables:
- /* STOS_[STATE-NUM] -- The (internal number of the) accessing
- symbol of state STATE-NUM. */
+ // STOS_[STATE-NUM] -- The (internal number of the) accessing
+ // symbol of state STATE-NUM.
static const unsigned char yystos_[];
* data/c.m4: Comment changes.
(b4_comment_): Expand the text argument.
Before this change, we were actually formatting M4 code as a
C comment, and then expand it.
(b4_comment): Fix the closing of comments: there is no reason to
add the (line) prefix before the closing "*/".
* data/c++.m4 (b4_comment): New.
Akim Demaille [Fri, 21 Dec 2012 17:11:34 +0000 (18:11 +0100)]
maint: disable sc_prohibit_test_backticks
* cfg.mk: here.
And fix typos.
Reported by Stefano Lattarini.
Akim Demaille [Fri, 21 Dec 2012 15:52:11 +0000 (16:52 +0100)]
maint: more syntax-checks
* cfg.mk (sc_prohibit_tab_based_indentation, sc_prohibit_test_backticks)
(sc_preprocessor_indentation, sc_space_before_open_paren): New,
stolen from Coreutils (
2e9f5ca4ebbbdb6a9fa2dd3d5add3f7720a172d7).
Akim Demaille [Fri, 21 Dec 2012 15:51:17 +0000 (16:51 +0100)]
debug: no longer generate tabs
* src/closure.c, src/derives.c, src/nullable.c, tests/sets.at: Use
spaces.
Akim Demaille [Fri, 21 Dec 2012 15:45:30 +0000 (16:45 +0100)]
style changes: run cppi
Run it in src/ for a start.
* src/AnnotationList.h, src/InadequacyList.h, src/Sbitset.h,
* src/closure.c, src/complain.h, src/flex-scanner.h, src/getargs.h,
* src/gram.h, src/graphviz.h, src/ielr.h, src/location.h,
* src/muscle-tab.h, src/named-ref.h, src/relation.h, src/scan-code.h,
* src/state.h, src/symtab.h, src/system.h, src/uniqstr.h:
Reindent preprocessor directives.
Akim Demaille [Fri, 21 Dec 2012 15:36:32 +0000 (16:36 +0100)]
style changes: untabify
* data/xslt/xml2dot.xsl, data/xslt/xml2text.xsl, m4/flex.m4,
* tests/glr-regression.at, tests/torture.at: here.
Akim Demaille [Fri, 21 Dec 2012 12:23:54 +0000 (13:23 +0100)]
tests: be robust to set -e.
* examples/test (run): here.
Akim Demaille [Wed, 19 Dec 2012 09:18:03 +0000 (10:18 +0100)]
variants: prohibit simple copies
The "variant" structure provides a means to store, in a typeless way,
C++ objects. Manipulating it without provide the type of the stored
content is doomed to failure. So provide a means to copy in a type
safe way, and prohibit typeless assignments.
* data/c++.m4 (symbol_type::move): New.
* data/lalr1.cc: Use it.
* data/variant.hh (b4_variant_define): Provide variant::copy.
Let variant::operator= abort.
We cannot undefine it, yet, as it is still uses by the implicit
assigment in symbols, which must also be disabled.
Akim Demaille [Wed, 19 Dec 2012 09:09:07 +0000 (10:09 +0100)]
variant: more assertions
Equip variants with more checking code. Provide a means to request
includes.
* data/variant.hh (b4_variant_includes): New.
* data/lalr1.cc: Use it.
* data/variant.hh (variant::built): Define at the end, as a private member.
(variant::tname): New.
Somewhat makes "built" useless, but let's keep both for a start, in
case using "typeinfo" is considered unacceptable in some environments.
Fix some formatting issues.
Akim Demaille [Wed, 19 Dec 2012 10:19:52 +0000 (11:19 +0100)]
gnulib: update
Akim Demaille [Wed, 19 Dec 2012 10:17:29 +0000 (11:17 +0100)]
skeletons: fix output directives
* data/lalr1.cc, data/location.cc, data/glr.cc: Use b4_output_begin.
Broken during a merge.
Akim Demaille [Wed, 19 Dec 2012 10:05:56 +0000 (11:05 +0100)]
yacc.c: style changes
* data/yacc.c (b4_lex_param): Provide arguments with a name.
Akim Demaille [Wed, 19 Dec 2012 10:01:52 +0000 (11:01 +0100)]
glr.cc: simplifying the handling of parse/lex params
The fact that glr.cc uses glr.c makes the handling of parse params
more complex, as the parser object of glr.cc must be passed to the
parse function of glr.c. Yet not all the functions need access to
the parser object.
* data/glr.cc (b4_parse_param_wrap): New.
Use them.
Akim Demaille [Wed, 19 Dec 2012 09:48:09 +0000 (10:48 +0100)]
glr: rename lex params
* data/glr.c (b4_lex_param): Rename as...
(b4_lex_formals): this, for consistency.
Provide arguments a name.
(LEX): Adjust.
Akim Demaille [Wed, 19 Dec 2012 09:36:40 +0000 (10:36 +0100)]
glr.c: move function declaration earlier
* data/glr.c (yypstack, yypdumpstack): Declare earlier, to make
it easier to call them from other functions.
Akim Demaille [Wed, 19 Dec 2012 09:33:58 +0000 (10:33 +0100)]
%define variables: backward compatibility
* src/muscle-tab.c (muscle_percent_variable_update): Accept lex_symbol.
Reported by Roland Levillain.
Akim Demaille [Sat, 15 Dec 2012 20:54:27 +0000 (21:54 +0100)]
diagnostics: improve -fcaret for list of accepted values
Instead of
input.y:1.9-21: error: invalid value for %define variable 'api.push-pull': 'neither'
%define api.push_pull "neither"
^^^^^^^^^^^^^
input.y:1.9-21: accepted value: 'pull'
%define api.push_pull "neither"
^^^^^^^^^^^^^
input.y:1.9-21: accepted value: 'push'
%define api.push_pull "neither"
^^^^^^^^^^^^^
input.y:1.9-21: accepted value: 'both'
%define api.push_pull "neither"
^^^^^^^^^^^^^
report
input.y:1.9-21: error: invalid value for %define variable 'api.push-pull': 'neither'
%define api.push_pull "neither"
^^^^^^^^^^^^^
input.y:1.9-21: accepted value: 'pull'
input.y:1.9-21: accepted value: 'push'
input.y:1.9-21: accepted value: 'both'
* src/complain.h (no_caret): New.
* src/complain.c (error_message): Use it.
* src/muscle-tab.c (muscle_percent_define_check_values): Use it.
* src/scan-skel.l (flag): Ditto.
* tests/input.at: Adjust and check.
Akim Demaille [Sat, 15 Dec 2012 14:27:10 +0000 (15:27 +0100)]
skeletons: simplify the handling of default api.location.type
* data/bison.m4 (b4_bison_locations_if): New.
* data/glr.cc, data/lalr1.cc: Use it.
Akim Demaille [Sat, 15 Dec 2012 16:16:28 +0000 (17:16 +0100)]
tests: address syntax-check failures
* cfg.mk: Ignore failures in timevar (uses GCC style configuration,
not gnulib's).
* doc/local.mk: Space changes.
* lib/main.c, tests/calc.at: Remove useless HAVE_ tests.
Akim Demaille [Sat, 15 Dec 2012 15:20:51 +0000 (16:20 +0100)]
remove duplicate definitions
* src/system.h: here, inherited from a merge.
Akim Demaille [Sat, 15 Dec 2012 07:19:59 +0000 (08:19 +0100)]
doc: fix dependencies
* doc/local.mk: here.
Akim Demaille [Fri, 14 Dec 2012 15:38:02 +0000 (16:38 +0100)]
doc: style fixes
* doc/bison.texi: Add a couple of missing @var and @code.
Theophile Ranquet [Tue, 4 Dec 2012 15:09:24 +0000 (16:09 +0100)]
doc: fix build dependencies
Suggested by Nick Bowler
<http://lists.gnu.org/archive/html/bug-automake/2012-12/msg00001.html>
* doc/local.mk: Avoid overwriting Automake's rules.
Akim Demaille [Fri, 14 Dec 2012 12:56:11 +0000 (13:56 +0100)]
Merge branch 'origin/maint'
* origin/maint:
maint: credit Wojciech Polak
maint: post-release administrivia
version 2.7
yacc.c: scope reduction
tests: C90 compliance
fix C90 compliance
glr.c: scope reduction
gnulib: update
Conflicts:
NEWS
gnulib
src/scan-gram.l
src/system.h
Theophile Ranquet [Tue, 11 Dec 2012 12:23:44 +0000 (13:23 +0100)]
symtab: add missing initializations
* src/symtab.c (semantic_type_new): Here.
Theophile Ranquet [Tue, 11 Dec 2012 12:16:22 +0000 (13:16 +0100)]
symtab: fix some leaks
* src/symlist.c (symbol_list_free): Deep free it.
* src/symtab.c (symbols_free, semantic_types_sorted): Free it too.
(symbols_do, sorted): Call by address.
Theophile Ranquet [Mon, 10 Dec 2012 18:28:43 +0000 (19:28 +0100)]
tests: remove use of PARSE_PARAM
* tests/header.at: Here.
Akim Demaille [Thu, 13 Dec 2012 08:25:34 +0000 (09:25 +0100)]
maint: credit Wojciech Polak
* NEWS, THANKS: He is the author of XML support (including XSLTs).
Akim Demaille [Wed, 12 Dec 2012 15:23:44 +0000 (16:23 +0100)]
maint: post-release administrivia
* NEWS: Add header line for next release.
* .prev-version: Record previous version.
* cfg.mk (old_NEWS_hash): Auto-update.
Akim Demaille [Wed, 12 Dec 2012 15:07:46 +0000 (16:07 +0100)]
version 2.7
* NEWS: Record release date.
Akim Demaille [Wed, 12 Dec 2012 11:38:43 +0000 (12:38 +0100)]
yacc.c: scope reduction
* data/yacc.c (yysyntax_error): here.
Akim Demaille [Wed, 12 Dec 2012 11:38:28 +0000 (12:38 +0100)]
tests: C90 compliance
* tests/synclines.at: here.
Akim Demaille [Wed, 12 Dec 2012 10:37:02 +0000 (11:37 +0100)]
fix C90 compliance
* data/glr.c, src/graphviz.h, src/ielr.c, src/scan-gram.l,
* src/system.h, tests/actions.at, tests/glr-regression.at: Do not
use // comments.
Do not introduce variables after statements.
Provide "main" with a return value.
Akim Demaille [Wed, 12 Dec 2012 10:28:24 +0000 (11:28 +0100)]
glr.c: scope reduction
* data/glr.c (yyreportSyntaxError): Reduce the scope of yysize1 (now
yysz).
Akim Demaille [Tue, 11 Dec 2012 10:39:51 +0000 (11:39 +0100)]
gnulib: update
Theophile Ranquet [Mon, 10 Dec 2012 16:01:55 +0000 (17:01 +0100)]
Merge remote-tracking branch 'origin/maint'
* origin/maint:
news: prepare for forthcoming release
doc: explain how mid-rule actions are translated
error: use better locations for unused midrule values
doc: various minor improvements and fixes
tests: ignore more useless compiler warnings
tests: be robust to C being compiled with a C++11 compiler
build: beware of Clang++ not supporting POSIXLY_CORRECT
maint: post-release administrivia
version 2.6.90
build: fix syntax-check error.
cpp: simplify the Flex version checking macro
news: improve the carets example and fix a typo
cpp: improve the Flex version checking macro
carets: improve the code
maint: update news
build: keep -Wmissing-declarations and -Wmissing-prototypes for modern GCCs
build: drop -Wcast-qual
gnulib: update
Conflicts:
NEWS
doc/Makefile.am
doc/bison.texi
gnulib
src/reader.c
tests/actions.at
tests/atlocal.in
tests/input.at
Akim Demaille [Sun, 9 Dec 2012 15:50:12 +0000 (16:50 +0100)]
news: prepare for forthcoming release
* NEWS: Fill paragraph.
Reorder.
Update examples.
Remove line for 2.6.90.
Akim Demaille [Sun, 9 Dec 2012 15:49:58 +0000 (16:49 +0100)]
doc: explain how mid-rule actions are translated
* doc/bison.texi (Actions in Mid-Rule): Mention and use named references.
Split into three subsections, among which...
(Mid-Rule Action Translation): this new section.
Akim Demaille [Sun, 9 Dec 2012 11:06:21 +0000 (12:06 +0100)]
error: use better locations for unused midrule values
On
%%
exp: {;} {$$;} { $$ = $1; }
instead of reporting (with -fcaret -Wmidrule-value)
midrule.y:2.6-8: warning: unset value: $$ [-Wmidrule-values]
exp: {;} {$$;} { $$ = $1; }
^^^
midrule.y:2.6-27: warning: unused value: $2 [-Wmidrule-values]
exp: {;} {$$;} { $$ = $1; }
^^^^^^^^^^^^^^^^^^^^^^
report
midrule.y:2.6-8: warning: unset value: $$
exp: {;} {$$;} { $$ = $1; }
^^^
midrule.y:2.10-14: warning: unused value: $2
exp: {;} {$$;} { $$ = $1; }
^^^^^
* src/reader.c (grammar_rule_check): When warning about the value of a
midrule action, use the location of the midrule action instead of the
location of the rule.
the location of the part of the rule.
* tests/actions.at (Default %printer and %destructor for mid-rule values):
Adjust expectations
* tests/input.at (Unused values with default %destructor): Ditto.
(AT_CHECK_UNUSED_VALUES): Ditto.
And use -fcaret.
Akim Demaille [Sat, 8 Dec 2012 15:18:07 +0000 (16:18 +0100)]
doc: various minor improvements and fixes
* doc/figs/example.dot, doc/figs/example.y: New.
* doc/bison.texi: Prefer "token" to TOKEN.
Use @group where appropriate.
Adjust with style changes in the output (State 0, not state 0).
Fix some @ref that were missing the third argument.
Fix some incorrect line numbers.
Use "nonterminal", not "non-terminal".
Fix overfull and underfull TeX hboxes.
Put the comments in the index.
Remove duplicate index entries.
Fuse glossary entries where appropriate.
(Understanding): Improve the continuity between sections.
Use example.dot to show the whole graph.
* doc/Makefile.am: Adjust.
Akim Demaille [Sun, 9 Dec 2012 15:23:34 +0000 (16:23 +0100)]
tests: ignore more useless compiler warnings
* tests/synclines.at (AT_SYNCLINES_COMPILE): Ignore complains about
using c++ to compile C.
Akim Demaille [Sun, 9 Dec 2012 14:41:50 +0000 (15:41 +0100)]
tests: be robust to C being compiled with a C++11 compiler
* tests/glr-regression.at: Use YY_NULL instead of NULL.
Comment changes.
Akim Demaille [Sat, 8 Dec 2012 18:33:50 +0000 (19:33 +0100)]
build: beware of Clang++ not supporting POSIXLY_CORRECT
* m4/c-working.m4 (BISON_LANG_COMPILER_POSIXLY_CORRECT): New.
(BISON_C_COMPILER_POSIXLY_CORRECT): Use it.
For consistency with C++, also define BISON_C_WORKS.
* m4/cxx.m4 (BISON_CXX_COMPILER_POSIXLY_CORRECT): New.
* configure.ac: Use it.
* tests/atlocal.in: Get its result.
Propagate properly CXX values when used to compile C.
When POSIXLY_CORRECT, adjust BISON_C_WORKS and BISON_CXX_WORKS.
* tests/local.at (AT_COMPILE): Use BISON_C_WORKS.
Akim Demaille [Fri, 7 Dec 2012 10:49:12 +0000 (11:49 +0100)]
maint: post-release administrivia
* NEWS: Add header line for next release.
* .prev-version: Record previous version.
* cfg.mk (old_NEWS_hash): Auto-update.
Akim Demaille [Fri, 7 Dec 2012 10:37:14 +0000 (11:37 +0100)]
version 2.6.90
* NEWS: Record release date.
Akim Demaille [Fri, 7 Dec 2012 10:34:51 +0000 (11:34 +0100)]
build: fix syntax-check error.
* cfg.mk: Exclude names-refs, it includes a "double" if (end of first
line, first of second line below).
test.y:43.12-44.59: symbol not found in production: if
if-stmt-a: IF expr[cond] THEN stmt.list[then] ELSE stmt.list[else] FI
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Theophile Ranquet [Fri, 7 Dec 2012 11:13:38 +0000 (12:13 +0100)]
cpp: simplify the Flex version checking macro
* src/flex-scanner,h (FLEX_VERSION): Consider YY_FLEX_SUBMINOR_VERSION
defined.
Theophile Ranquet [Fri, 7 Dec 2012 10:57:19 +0000 (11:57 +0100)]
news: improve the carets example and fix a typo
* NEWS: Here.
Theophile Ranquet [Thu, 6 Dec 2012 12:21:36 +0000 (13:21 +0100)]
cpp: improve the Flex version checking macro
* src/flex-scanner.h (FLEX_VERSION): Here.
Theophile Ranquet [Thu, 6 Dec 2012 12:17:55 +0000 (13:17 +0100)]
carets: improve the code
* src/location.c: Remove duplicate documentations.
(caret_info): Stylistic change.
(location_caret): Many reworks.
Akim Demaille [Fri, 7 Dec 2012 09:40:31 +0000 (10:40 +0100)]
maint: update news
* NEWS: There is no 2.6.6, remove its stub.
Akim Demaille [Fri, 7 Dec 2012 08:58:40 +0000 (09:58 +0100)]
build: keep -Wmissing-declarations and -Wmissing-prototypes for modern GCCs
Fixes a -Werror failure of xalloc.h used in src.
From Eric Blake.
http://lists.gnu.org/archive/html/bug-gnulib/2012-12/msg00006.html
* configure.ac: Check whether GCC pragma diagnostic push/pop works.
Enable these warnings for bison if it does.
Enable these warnings for the test suite anyway.
Akim Demaille [Fri, 7 Dec 2012 08:48:41 +0000 (09:48 +0100)]
build: drop -Wcast-qual
Suggested by Jim Meyering.
http://lists.gnu.org/archive/html/bug-gnulib/2012-12/msg00017.html
* configure.ac (warn_common): Remove -Wcast-qual.
Akim Demaille [Wed, 5 Dec 2012 15:16:17 +0000 (16:16 +0100)]
gnulib: update
Theophile Ranquet [Thu, 6 Dec 2012 10:43:02 +0000 (11:43 +0100)]
Merge remote-tracking branch 'origin/maint'
* origin/maint:
misc: pacify the Tiny C Compiler
cpp: make the check of Flex version portable
misc: require getline
c++: support wide strings for file names
doc: document carets
tests: enhance existing tests with carets
errors: show carets
getargs: add support for --flags/-f
Conflicts:
doc/bison.texi
m4/.gitignore
src/complain.c
src/flex-scanner.h
src/getargs.c
src/getargs.h
src/gram.c
src/main.c
tests/headers.at
Theophile Ranquet [Thu, 6 Dec 2012 09:49:12 +0000 (10:49 +0100)]
misc: pacify the Tiny C Compiler
* src/graphviz.c (conclude_red): Remove a useless return.
Theophile Ranquet [Wed, 5 Dec 2012 17:26:36 +0000 (18:26 +0100)]
cpp: make the check of Flex version portable
This was problematic with tcc 0.9.25
* src/flex-scanner.h (FLEX_VERSION_GT): Rewrite and rename as...
(FLEX_VERSION): This.
Theophile Ranquet [Wed, 5 Dec 2012 14:27:25 +0000 (15:27 +0100)]
misc: require getline
* bootstrap.conf: Here, used by src/location.c.
* src/getargs.c (long_options): Rename --flags to --feature.
Akim Demaille [Wed, 5 Dec 2012 10:21:21 +0000 (11:21 +0100)]
c++: support wide strings for file names
Reported by Mark Boyall.
http://lists.gnu.org/archive/html/help-bison/2011-08/msg00002.html
* data/location.cc (operator<<): Be templated on the type of
output stream.
* tests/headers.at (Several parsers): Adjust.
Theophile Ranquet [Tue, 4 Dec 2012 12:12:12 +0000 (13:12 +0100)]
doc: document carets
* NEWS: Announce it.
* doc/bison.texi (Bison Options): Here.
Theophile Ranquet [Mon, 3 Dec 2012 10:12:07 +0000 (11:12 +0100)]
tests: enhance existing tests with carets
* tests/actions.at: Unset value.
* tests/conflicts.at: Rule useless due to conflicts.
* tests/input.at: Missing terminator, unexpected end of file, command line
redefinition of variable.
* tests/named-refs.at: Many errors.
* tests/reduce.at: Useless nonterminals and rules.
* tests/regression.at: Large token.
Theophile Ranquet [Fri, 30 Nov 2012 13:34:56 +0000 (14:34 +0100)]
errors: show carets
* src/locations.c (caret_info): New, persistant information useful
for...
(location_caret): New, print a caret.
(cleanup_caret): Release caret_info cleanly, call it...
* src/main.c (main): Here.
* src/complain.c (error_message): Call location_caret here.
Theophile Ranquet [Fri, 30 Nov 2012 13:33:05 +0000 (14:33 +0100)]
getargs: add support for --flags/-f
Introduce -fdiagnostics-show-caret
* src/getargs.c (flag_flag): New global.
* src/getargs.h (flag): New enum.
Akim Demaille [Wed, 5 Dec 2012 10:03:08 +0000 (11:03 +0100)]
Merge remote-tracking branch 'origin/maint'
* origin/maint:
getargs: don't label --language/-l as experimental
getargs: fix the locations of command-line input
errors: indent missing action code semicolon warning
Conflicts:
NEWS
src/scan-code.l
tests/actions.at
Theophile Ranquet [Fri, 30 Nov 2012 14:27:54 +0000 (15:27 +0100)]
getargs: don't label --language/-l as experimental
* NEWS: Announce it.
* doc/bison.texi, src/getargs.c (usage): Here.