372 Commits

Author	SHA1	Message	Date
Akim Demaille	8474dbc09e	glr.c: fix use of _Noreturn ... In C++, [[noreturn]] must not be between "static" and the rest of the function signature, it must precede it. C's _Noreturn does not seem to have such a constraint, but it is therefore compatible with the C++ constraint. Since we #define _Noreturn as [[noreturn]] is modern C++, be sure to push the _Noreturn first. Unfortunately this was not caught by the test suite, because it always loads config.h first, and config.h contains another definition of _Noreturn that does not use [[noreturn]], and hides ours. That's probably a sign we should avoid always loading config.h. * data/glr.c (yyFail, yyMemoryExhausted): here.	2018-11-16 17:37:47 +01:00
Akim Demaille	7d1b1133d0	style: comment changes ... * data/c++.m4, data/glr.c, data/lalr1.java, data/yacc.c (yytranslate, YYTRANSLATE): Harmonize comments.	2018-11-11 07:59:55 +01:00
Akim Demaille	b5515215c1	yacc.c: don't define _Noreturn uselessly ... Clang warns: aux/x.h:97:11: error: macro name is a reserved identifier [-Werror,-Wreserved-id-macro] # define _Noreturn YY_ATTRIBUTE ((__noreturn__)) Reported by Derek Clegg. http://lists.gnu.org/archive/html/bug-bison/2018-10/msg00024.html * data/c.m4 (b4_attribute_define): Don't define _Noreturn unconditionally. * data/glr.c: Ask for _Noreturn.	2018-10-23 09:08:57 +02:00
Akim Demaille	ab3dc5415c	pacify ICC 16.0.3 20160415 ... Found on the CI. yacc.c: error #2259: non-pointer conversion from "int" to "yytype_int16={short}" may lose significant bits yystate = (0 <= yyi && yyi <= YYLAST && yycheck[yyi] == *yyesp ^ glr.c: error #2259: non-pointer conversion from "int" to "yybool={unsigned char}" may lose significant bits yybool yynormal YY_ATTRIBUTE_UNUSED = (yystackp->yysplitPoint == YY_NULLPTR); ^ error #2259: non-pointer conversion from "int" to "yybool={unsigned char}" may lose significant bits return yypact_value_is_default (yypact[yystate]); ^ error #2259: non-pointer conversion from "int" to "yybool={unsigned char}" may lose significant bits return 0 < yyaction; ^ error #2259: non-pointer conversion from "int" to "yybool={unsigned char}" may lose significant bits return yyaction == 0; ^ error #2259: non-pointer conversion from "int" to "yybool={unsigned char}" may lose significant bits yystackp->yytops.yylookaheadNeeds[yys] = yychar != YYEMPTY; ^ * data/glr.c, data/yacc.c: Avoid these warnings.	2018-10-23 09:08:57 +02:00
Akim Demaille	121da2cbdb	glr.c: be strict about types ... * data/glr.c: Don't use `foo |= bar` with foo and bar being yybool: the result appears to be an int, not a yybool. Use yybool where appropriate. Add casts where needed.	2018-10-23 09:08:57 +02:00
Akim Demaille	73917e9e6f	all: display a clear warning about private macros ... * data/bison.m4 (b4_disclaimer): New. * data/glr.c, data/glr.cc, data/lalr1.cc, data/yacc.c: Use it.	2018-10-22 07:28:54 +02:00
Akim Demaille	81a9580622	all: avoid useless comments and #lines ... Currently we emit useless code for places where we might issue user content, but there is none. This commit avoids this. Besides, some of the comments looked like implementation details ("Copy the first part of user declarations"), rather than made for the reader of the result ("First part of user prologue"). On Bison's parse-gram.c we get: @@ -76,10 +76,6 @@ #define yynerrs gram_nerrs -/* Copy the first part of user declarations. */ - -#line 82 "src/parse-gram.c" /* yacc.c:339 */ - * data/bison.m4 (b4_define_user_code): Accept a comment to document the section. Do not emit any code if the content is empty. Adjust callers to not emit the comment. Do not * data/glr.c, data/glr.cc, data/lalr1.cc, data/lalr1.java, data/yacc.c: Adjust.	2018-10-21 09:58:44 +02:00
Akim Demaille	8c4a1163ee	style: remove useless parens ... * data/bison.m4, data/glr.c, data/glr.cc, data/lalr1.cc, * data/lalr1.java, data/location.cc, data/yacc.c: Call b4_output_end without parens.	2018-09-24 21:52:55 +02:00
Akim Demaille	a60a9e3071	glr.c: work around ICC limitations ... The CI is littered with # -*- compilation -*- 423. regression.at:907: testing Dancer %glr-parser ... ./regression.at:907: bison -fno-caret -o dancer.c dancer.y ./regression.at:907: $BISON_C_WORKS stderr: stdout: ./regression.at:907: $CC $CFLAGS $CPPFLAGS $LDFLAGS -o dancer dancer.c $LIBS stderr: icc: command line warning #10006: ignoring unknown option '-Wcast-align' icc: command line warning #10006: ignoring unknown option '-fparse-all-comments' icc: command line warning #10006: ignoring unknown option '-Wdocumentation' icc: command line warning #10006: ignoring unknown option '-Wnull-dereference' icc: command line warning #10006: ignoring unknown option '-Wbad-function-cast' icc: command line warning #10006: ignoring unknown option '-fno-color-diagnostics' icc: command line warning #10006: ignoring unknown option '-Wno-keyword-macro' dancer.c(755): error #1628: function declared with "noreturn" does return } ^ dancer.c(761): error #1628: function declared with "noreturn" does return } ^ compilation aborted for dancer.c (code 2) ICC sees that `longjmp(buf, 1);` does not return, it sees that `abort();` does not either, but fails to see it for `longjmp(buf, 1); abort();` * data/glr.c (YYLONGJMP): Be even clearer on the fact this does not return.	2018-09-18 17:21:13 +02:00
Akim Demaille	fb1e27cf47	glr.c: prefer true/false to 1/0 in C++ ... * data/glr.c: here.	2018-09-18 13:21:38 +02:00
Akim Demaille	79331541ae	skeletons: style/comment changes ... * data/c++.m4, data/c.m4, data/glr.c: Here.	2018-09-09 13:50:00 +02:00
Akim Demaille	5cc5703239	style: data: remove useless reference to 'int' in integral types ... * data/c.m4, data/glr.c, data/yacc.c: Prefer 'unsigned' to 'unsigned int'. Likewise for long and short.	2018-08-14 06:15:41 +02:00
Akim Demaille	f462a08572	Merge maint into master ... * upstream/maint: (48 commits) THANKS: update an address tests: adjust syncline tests to GCC 7 glr: fix improperly placed synclines bison: be git grep friendly Replace ftp with https maint: post-release administrivia version 3.0.5 bison: style: indentation fixes regen bison: please address sanitizer C++: style: fix indentation NEWS: update C++: style: prefer `unsigned` to `unsigned int` C++: style: space before paren C++: fix -Wdeprecated warnings tests: fix -Wdeprecated warning maint: update syntax-check exclusions autoconf: update regen Update copyright years ...	2018-06-17 18:43:59 +02:00
Akim Demaille	2e9e591889	Update copyright years ... Run `make update-copyright`.	2018-05-12 18:18:41 +02:00
Akim Demaille	2b5a27ba3d	Avoid compiler warnings ... At least GCC 7.3, with -O1 or -O2 (but not -O0 or -O3) generates warnings with -Wnull-dereference when using yyformat: it fails to see yyformat cannot be null. Reported by Frank Heckenbach, https://savannah.gnu.org/patch/?9620. * configure.ac: Use -Wnull-dereference if supported. * data/glr.c, data/lalr1.cc, data/yacc.c: Define yyformat in such a way that GCC cannot not see that yyformat is defined. Using `default: abort();` also addresses the issue, but forces the inclusion of `stdlib.h`, which we avoid.	2018-05-12 13:29:14 +02:00
Akim Demaille	55fb68aabf	style: formatting and comment changes ... * data/glr.c: Avoid empty lines. * data/lalr1.cc: Use the same comments as in glr.c and yacc.c.	2015-08-12 13:56:07 +02:00
Akim Demaille	13e294ee55	Merge remote-tracking branch 'origin/maint' ... * origin/maint: build: don't try to generate docs when cross-compiling package: fix a reporter's name %union: fix the support for named %union package: bump to 2015 flex: don't trust YY_USER_INIT yacc.c: fix broken union when api.value.type=union and %defines are used doc: fix missing xref gnulib: update location: remove some ugly debugging code traces build: use abort to pacify compiler errors package: bump to 2014 doc: specify documentation encoding	2015-01-05 13:51:30 +01:00
Akim Demaille	3209eb1c4c	package: bump to 2015 ... Which also requires: * gnulib: Update.	2015-01-04 17:49:13 +01:00
Akim Demaille	8d4dc896cb	yacc.c: fix broken union when api.value.type=union and %defines are used ... Reported by Rich Wilson. * data/c.m4 (b4_symbol_type_register): Append to b4_union_members, not b4_user_union_members. The latter invokes the former, but it is the former which is reinitialized to empty by b4_value_type_setup_union. * tests/types.at: Check it. This reveals another bug, this time in the case of glr.c parsers. * data/glr.c: Generate the header file before the implementation file, to be sure that the setup is run before what depends on it.	2014-12-31 14:39:05 +01:00
Akim Demaille	fc51acddb4	package: bump to 2014 ... * AUTHORS, ChangeLog-2012, Makefile.am, NEWS, PACKAGING, README, * README-alpha, README-hacking, THANKS, TODO, bootstrap.conf, * build-aux/darwin11.4.0.valgrind, build-aux/local.mk, * build-aux/update-b4-copyright, * build-aux/update-package-copyright-year, cfg.mk, configure.ac, * data/README, data/bison.m4, data/c++-skel.m4, data/c++.m4, * data/c-like.m4, data/c-skel.m4, data/c.m4, data/glr.c, data/glr.cc, * data/java-skel.m4, data/java.m4, data/lalr1.cc, data/lalr1.java, * data/local.mk, data/location.cc, data/stack.hh, data/variant.hh, * data/xslt/bison.xsl, data/xslt/xml2dot.xsl, data/xslt/xml2text.xsl, * data/xslt/xml2xhtml.xsl, data/yacc.c, djgpp/Makefile.maint, * djgpp/README.in, djgpp/config.bat, djgpp/config.sed, * djgpp/config.site, djgpp/config_h.sed, djgpp/djunpack.bat, * djgpp/local.mk, djgpp/subpipe.c, djgpp/subpipe.h, * djgpp/testsuite.sed, doc/bison.texi, doc/local.mk, doc/refcard.tex, * etc/README, etc/bench.pl.in, etc/local.mk, * examples/calc++/calc++.test, examples/calc++/local.mk, * examples/extexi, examples/local.mk, examples/mfcalc/local.mk, * examples/mfcalc/mfcalc.test, examples/rpcalc/local.mk, * examples/rpcalc/rpcalc.test, examples/test, examples/variant.yy, * lib/abitset.c, lib/abitset.h, lib/bbitset.h, lib/bitset.c, * lib/bitset.h, lib/bitset_stats.c, lib/bitset_stats.h, * lib/bitsetv-print.c, lib/bitsetv-print.h, lib/bitsetv.c, * lib/bitsetv.h, lib/ebitset.c, lib/ebitset.h, lib/get-errno.c, * lib/get-errno.h, lib/lbitset.c, lib/lbitset.h, lib/libiberty.h, * lib/local.mk, lib/main.c, lib/timevar.c, lib/timevar.def, * lib/timevar.h, lib/vbitset.c, lib/vbitset.h, lib/yyerror.c, * m4/bison-i18n.m4, m4/c-working.m4, m4/cxx.m4, m4/flex.m4, * m4/timevar.m4, src/AnnotationList.c, src/AnnotationList.h, * src/InadequacyList.c, src/InadequacyList.h, src/LR0.c, src/LR0.h, * src/Sbitset.c, src/Sbitset.h, src/assoc.c, src/assoc.h, * src/closure.c, src/closure.h, src/complain.c, src/complain.h, * src/conflicts.c, src/conflicts.h, src/derives.c, src/derives.h, * src/files.c, src/files.h, src/flex-scanner.h, src/getargs.c, * src/getargs.h, src/gram.c, src/gram.h, src/graphviz.c, * src/graphviz.h, src/ielr.c, src/ielr.h, src/lalr.c, src/lalr.h, * src/local.mk, src/location.c, src/location.h, src/main.c, * src/muscle-tab.c, src/muscle-tab.h, src/named-ref.c, * src/named-ref.h, src/nullable.c, src/nullable.h, src/output.c, * src/output.h, src/parse-gram.c, src/parse-gram.y, src/print-xml.c, * src/print-xml.h, src/print.c, src/print.h, src/print_graph.c, * src/print_graph.h, src/reader.c, src/reader.h, src/reduce.c, * src/reduce.h, src/relation.c, src/relation.h, src/scan-code.h, * src/scan-code.l, src/scan-gram.h, src/scan-gram.l, src/scan-skel.h, * src/scan-skel.l, src/state.c, src/state.h, src/symlist.c, * src/symlist.h, src/symtab.c, src/symtab.h, src/system.h, * src/tables.c, src/tables.h, src/uniqstr.c, src/uniqstr.h, * tests/actions.at, tests/atlocal.in, tests/bison.in, tests/c++.at, * tests/calc.at, tests/conflicts.at, tests/cxx-type.at, * tests/existing.at, tests/glr-regression.at, tests/headers.at, * tests/input.at, tests/java.at, tests/javapush.at, tests/local.at, * tests/local.mk, tests/named-refs.at, tests/output.at, tests/push.at, * tests/reduce.at, tests/regression.at, tests/sets.at, * tests/skeletons.at, tests/synclines.at, tests/testsuite.at, * tests/torture.at, tests/types.at: here.	2014-02-03 15:27:02 +01:00
Akim Demaille	fc6c85664a	Merge remote-tracking branch 'origin/maint' ... * origin/maint: (43 commits) maint: post-release administrivia version 3.0.2 gnulib: update output: do not generate source files when late errors are caught output: record what generated files are source or report files output: do not generate source files when early errors are caught xml: also use "%empty" with html output style: formatting changes xml: also display %empty for empty right-hand sides reports: display %empty in the generated pointed-rules news: YYERROR vs variants style: scope reduction in lalr.cc lalr1.cc: formatting changes lalr1.cc: fix the support of YYERROR with variants tests: check $$'s destruction with variant, YYERROR, and no error recovery tests: simplify useless obfuscation skeletons: use better names when computing a "goto" maint: post-release administrivia version 3.0.1 aver: it is no longer "protected against NDEBUG" ... Conflicts: data/glr.c	2013-12-09 10:43:37 +01:00
Akim Demaille	edb2e90531	skeletons: use better names when computing a "goto" ... * data/glr.c (yyLRgotoState): Name the symbol argument yysym, instead of yylhs. * data/lalr1.cc (yy_lr_goto_state_): Likewise. * data/lalr1.java (yy_lr_goto_state_): New, modeled after the previous two routines. Use it.	2013-11-14 16:26:16 +01:00
Akim Demaille	8d0b7cef7d	parsers: rename YY_NULL as YY_NULLPTR to avoid conflicts with Flex ... Flex also defines YY_NULL (to 0). Avoid gratuitous conflicts. * data/c.m4 (b4_null_define): Rename YY_NULL as YY_NULLPTR. * data/glr.c, data/lalr1.cc, data/location.cc, data/variant.hh, * data/yacc.c, src/parse-gram.c, tests/actions.at, tests/c++.at, * tests/cxx-type.at, tests/glr-regression.at, tests/headers.at, * tests/push.at, tests/regression.at: Adjust.	2013-11-08 10:52:15 +01:00
Akim Demaille	3cc83855d9	skeletons: update the handling of compiler attributes ... * data/c.m4 (b4_attribute_define): Instead of defining __attribute__, define YY_ATTRIBUTE conditionally. (YY_ATTRIBUTE_PURE, YY_ATTRIBUTE_UNUSED, _Noreturn): New. Use them. * data/glr.c: Use them.	2013-11-05 10:44:03 +01:00
Akim Demaille	4f3cc9c21b	Merge remote-tracking branch 'origin/maint' ... * origin/maint: glr: more assertions glr: shorten scopes glr: formatting changes glr: better use of tracing macros examples: improve the output of the "variant" example variant: remove useless assertion tests: remove stray debugging traces tests: do not use grep -q build: don't require flex for ordinary builds maint: update .gitignore build: port to pre-5.8.7 perl tests: minor change to make it easier to test other skeletons uniqstr: fix assertion	2013-09-19 16:33:20 +02:00
Akim Demaille	55a2063005	glr: simplify the invocation of YYLLOC_DEFAULT ... The commit which introduces yyresolveLocations (commit 8710fc41aa) saves and restores the look-ahead (type, value and location) for no clear reason. This appears to be useless. * data/glr.c (yyresolveLocations): Don't save/restore the current look-ahead to call YYLLOC_DEFAULT. Minor style changes.	2013-09-19 16:14:07 +02:00
Akim Demaille	77482f2783	glr: more assertions ... * data/glr.c (yyaddDeferredAction, yyglrShiftDefer, yypdumpstack): More assertions.	2013-09-19 15:58:00 +02:00
Akim Demaille	5a6e85fb8d	glr: shorten scopes ... * data/glr.c (yyglrReduce): Define yyflag with its value.	2013-09-19 15:57:59 +02:00
Akim Demaille	9e87ff5472	glr: formatting changes ... * data/glr.c: here.	2013-09-19 15:57:59 +02:00
Akim Demaille	3afe18fd1f	glr: better use of tracing macros ... * data/glr.c (yydestroyGLRState): Use YY_SYMBOL_PRINT instead of yy_symbol_print.	2013-09-19 15:57:59 +02:00
Akim Demaille	cc8962bdde	Merge remote-tracking branch 'origin/maint' ... * origin/maint: glr.cc: fix a clang warning maint: update copyright years build: fix VPATH issue build: avoid clang's colored diagnostics in the test suite tests: please clang and use ".cc", not ".c", for C++ input gnulib: update skeletons: avoid empty switch constructs lalr1.cc: fix compiler warnings yacc.c: do not use __attribute__ unprotected tests: style changes	2013-04-10 10:24:56 +02:00
Akim Demaille	68f91d58f1	maint: update copyright years ... Run "make update-copyright".	2013-04-08 13:44:57 +02:00
Akim Demaille	80a2826e69	yacc.c: do not use __attribute__ unprotected ... Reported by Victor Khomenko. http://lists.gnu.org/archive/html/bug-bison/2013-04/msg00001.html * data/glr.c (YYUSE, __attribute__): Fuse their definition into... * data/c.m4 (b4_attribute_define): this new macro. * data/yacc.c, data/glr.c: Use it.	2013-04-08 10:44:09 +02:00
Akim Demaille	f0f95a50ee	c: no longer require stdio.h when locations are enabled ... Recent changes (in 2.7) introduced a dependency on both FILE and fprintf, which are "available" only in %debug mode. This was to define yy_location_print_, which is used only in %debug mode by the parser, but massively used by the test suite to output the locations in yyerror. Break this dependency: the test suite should define its own routines to display the locations. Eventually Bison will provide the user with a means to display locations, but not yet. * data/c.m4 (b4_yy_location_print_define): Use YYFPRINTF instead of fprintf directly. * data/yacc.c (b4_yy_location_print_define): Invoke it only in %debug mode, so that stdio.h is included (needed for FILE*), and YYFPRINTF is defined. * tests/local.at (AT_YYERROR_DECLARE, AT_YYERROR_DEFINE): Declare and define location_print and LOCATION_PRINT. * tests/actions.at, tests/existing.at, tests/glr-regression.at, * tests/input.at, tests/named-refs.at, tests/regression.at: Adjust to use them. Fix the expected line numbers (as the prologue's length has changed).	2013-01-25 16:45:17 +01:00
Akim Demaille	7d6bad1959	maint: update copyright years ... Suggested by Stefano Lattarini. Run "make update-copyright".	2013-01-12 16:14:16 +01:00
Akim Demaille	39ad6cc6ac	glr.c: fix an unused argument issue ... * data/glr.c (yyuserAction): "Use" yyrhslen, as in variant mode, we might not use it.	2013-01-11 18:57:09 +01:00
Akim Demaille	bc19eadd65	glr.c: style changes ... * data/glr.c (yyuserAction): Use a size_t for sizes.	2013-01-11 18:57:09 +01:00
Theophile Ranquet	99d795e8f2	skel: better aliasing of identifiers ... * data/glr.c, data/yacc.c: Avoid emitting useless defines. * data/glr.cc: Restore prefixes for epilogue.	2013-01-11 18:57:09 +01:00
Akim Demaille	e672a4ba5e	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.	2012-12-27 09:45:17 +01:00
Akim Demaille	64b3612ab1	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	2012-12-26 10:38:59 +01:00
Akim Demaille	ca90437a61	glr: rename lex params ... * data/glr.c (b4_lex_param): Rename as... (b4_lex_formals): this, for consistency. Provide arguments a name. (LEX): Adjust.	2012-12-19 11:26:00 +01:00
Akim Demaille	ea45ade792	glr.c: move function declaration earlier ... * data/glr.c (yypstack, yypdumpstack): Declare earlier, to make it easier to call them from other functions.	2012-12-19 11:26:00 +01:00
Akim Demaille	b9278c7d17	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	2012-12-14 13:58:04 +01:00
Akim Demaille	1127a75a72	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.	2012-12-12 11:44:39 +01:00
Akim Demaille	fc28638e1c	glr.c: scope reduction ... * data/glr.c (yyreportSyntaxError): Reduce the scope of yysize1 (now yysz).	2012-12-12 11:28:24 +01:00
Akim Demaille	064e42b0ac	Merge remote-tracking branch 'origin/maint' ... * origin/maint: parser: accept #line NUM m4: use a safer pattern to enable/disable output tests: beware of gnulib's need for config.h gnulib: update yacc.c, glr.c: check and fix the display of locations formatting changes glr.c: remove stray macro Conflicts: data/c.m4 data/glr.cc data/lalr1.cc data/lalr1.java data/location.cc data/stack.hh data/yacc.c src/scan-gram.l	2012-12-03 16:27:23 +01:00
Akim Demaille	1c7ec959b1	m4: use a safer pattern to enable/disable output ... Work on some other areas of Bison revealed that some macros expanded to be expanded only once were actually expanded several times. This was due to the fact that changecom was not properly restored each time, and macro names appearing in comments were then expanded. Introduce begin/end macros which are easier to match that changecom()/changecom(#). * data/bison.m4 (b4_output_begin, b4_output_end): New. * data/glr.c, data/glr.cc, data/lalr1.cc, data/lalr1.java, * data/location.cc, data/stack.hh, data/yacc.c: Use them.	2012-12-03 15:44:40 +01:00
Akim Demaille	5215919366	glr.c: remove stray macro ... * data/glr.c (YYOPTIONAL_LOC): Remove, unused since commit 769a8ef9bc.	2012-11-30 11:15:12 +01:00
Akim Demaille	e42906f790	Merge remote-tracking branch 'origin/maint' ... * origin/maint: (24 commits) tests: calc: modernize the use of locations tests: remove useless location initializations lalr1.cc: always initialize yylval. tests: check that C and C++ objects can be linked together. yacc.c: also disable -Wuninitialized. glr.cc, yacc.c: initialize yylloc properly yacc.c, glr.c: a better YY_LOCATION_PRINT yacc.c: simplify initialization doc: formatting changes c++: fix position operator signatures tests: remove useless location initialization. tests: fix locations in C tests: handle %parse-param in the generated yyerror tests: simplifications grammars: fix display of nul character in error message tests: sort tests: cosmetic changes comment changes autoconf: update gnulib: update ... Conflicts: data/lalr1.cc gnulib src/scan-gram.l submodules/autoconf tests/calc.at	2012-11-06 18:30:16 +01:00
Akim Demaille	a1d1ab50a0	glr.cc, yacc.c: initialize yylloc properly ... There are several issues to address here. One is that yylloc should be initialized when possible. Another is that the push parser needs to update yypushed_loc when the user modified it. And if the parser starts by a reduction of an empty, it uses the first location on the stack, which, therefore, must also be initialized to this initial location. This is getting complex, especially since because initializing a global (impure interface) is different from initializing a local variable. To simplify, the local yylloc is not initialized during its definition. * data/c.m4 (b4_yyloc_default_define): Replace by... (b4_yyloc_default): this. Adjust dependencies. * data/glr.cc: Initialize yylloc. * data/yacc.c (b4_declare_scanner_communication_variables): Initialize yylloc during its definition. Don't define yyloc_default. (yypush_parse): The location formal is not const, as we might initialize it. (yyparse): Define yyloc_default. Use it before running the user initial action. Possibly update the first location on the stack, and the pushed location after the user initial action. * tests/actions.at (Initial locations): Check that the initial location is correct.	2012-11-06 17:35:38 +01:00