From mboxrd@z Thu Jan 1 00:00:00 1970 From: Michael Tremer To: development@lists.ipfire.org Subject: Re: [PATCH] bison: Update to version 3.8.2 Date: Thu, 21 Oct 2021 11:11:29 +0100 Message-ID: <72E8B7F9-4A0B-4D8F-B6D1-A7CBCA6C8FC9@ipfire.org> In-Reply-To: <20211020202758.3061772-1-adolf.belka@ipfire.org> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="===============5839758493069419632==" List-Id: --===============5839758493069419632== Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Reviewed-by: Michael Tremer > On 20 Oct 2021, at 21:27, Adolf Belka wrote: >=20 > - Update from 3.7.6 to 3.8.2 > - Update rootfile > - Changelog > Noteworthy changes in release 3.8.2 (2021-09-25) [stable] > Fixed portability issues of bison on Cygwin. > Improvements in glr2.cc: add support for custom error messages (`%define > parse.error custom`), allow linking several parsers together. > Noteworthy changes in release 3.8.1 (2021-09-11) [stable] > The generation of prototypes for yylex and yyerror in Yacc mode is > breaking existing grammar files. To avoid breaking too many grammars,= the > prototypes are now generated when `-y/--yacc` is used *and* the > `POSIXLY_CORRECT` environment variable is defined. > Avoid using `-y`/`--yacc` simply to comply with Yacc's file name > conventions, rather, use `-o y.tab.c`. Autoconf's AC_PROG_YACC macro = uses > `-y`. Avoid it if possible, for instance by using gnulib's gl_PROG_BI= SON. > Noteworthy changes in release 3.8 (2021-09-07) [stable] > ** Backward incompatible changes > In conformance with the recommendations of the Graphviz team > (https://marc.info/?l=3Dgraphviz-devel&m=3D129418103126092), `-g`/`--g= raph` > now generates a *.gv file by default, instead of *.dot. A transition > started in Bison 3.4. > To comply with the latest POSIX standard, in Yacc compatibility mode > (options `-y`/`--yacc`) Bison now generates prototypes for yyerror and > yylex. In some situations, this is breaking compatibility: if the user > has already declared these functions but with some differences (e.g., = to > declare them as static, or to use specific attributes), the generated > parser will fail to compile. To disable these prototypes, #define yye= rror > (to `yyerror`), and likewise for yylex. > ** Deprecated features > Support for the YYPRINT macro is removed. It worked only with yacc.c and > only for tokens. It was obsoleted by %printer, introduced in Bison 1.= 50 > (November 2002). > It has always been recommended to prefer `%define api.value.type foo` to > `#define YYSTYPE foo`. The latter is supported in C for compatibility > with Yacc, but not in C++. Warnings are now issued if `#define YYSTYP= E` > is used in C++, and eventually support will be removed. > In C++ code, prefer value_type to semantic_type to denote the semantic > value type, which is specified by the `api.value.type` %define variabl= e. > ** New features > *** A skeleton for the D programming language > The "lalr1.d" skeleton is now officially part of Bison. > It was originally contributed by Oliver Mangold, based on Paolo Bonzini= 's > lalr1.java, and was improved by H. S. Teoh. Adela Vais then took over > maintenance and invested a lot of efforts to complete, test and docume= nt > it. > It now supports all the bells and whistles of the other deterministic > parsers, which include: pull/push interfaces, verbose and custom error > messages, lookahead correction, token constructors, internationalizati= on, > locations, printers, token and symbol prefixes, etc. > Two examples demonstrate the D parsers: a basic one (examples/d/simple), > and an advanced one (examples/d/calc). > *** Option -H, --header and directive %header > The option `-H`/`--header` supersedes the option `--defines`, and the > directive %header supersedes %defines. Both `--defines` and `%defines` > are, of course, maintained for backward compatibility. > *** Option --html > Since version 2.4 Bison can be used to generate HTML reports. However = it > was a two-step process: first bison must be invoked with option `--xml= `, > and then xsltproc must be run to the convert the XML reports into HTML. > The new option `--html` combines these steps. The xsltproc program must > be available. > *** A C++ native GLR parser > A new version of the C++ GLR parser was added: "glr2.cc". It generates > "true C++11", instead of a C++ wrapper around a C parser as does the > existing "glr.cc" parser. As a first significant consequence, it supp= orts > `%define api.value.type variant`, contrary to glr.cc. > It should be upward compatible in terms of interface, feature and > performance to "glr.cc". To try it out, simply use > %skeleton "glr2.cc" > It will eventually replace "glr.cc". However we need user feedback on > this skeleton. _Please_ report your results and comments about it. > *** Counterexamples > Counterexamples now show the rule numbers, and always show =CE=B5 for r= ules > with an empty right-hand side. For instance > exp > =E2=86=B3 1: e1 e2 "a" > =E2=86=B3 3: =CE=B5 =E2=80=A2 =E2=86=B3 1: =CE=B5 > instead of > exp > =E2=86=B3 e1 e2 "a" > =E2=86=B3 =E2=80=A2 =E2=86=B3 =CE=B5 > *** Lookahead correction in Java > The Java skeleton (lalr1.java) now supports LAC, via the `parse.lac` > %define variable. > *** Abort parsing for memory exhaustion (C) > User actions may now use `YYNOMEM` (similar to `YYACCEPT` and `YYABORT`) > to abort the current parse with memory exhaustion. > *** Printing locations in debug traces (C) > The `YYLOCATION_PRINT(File, Loc)` macro prints a location. It is defin= ed > when (i) locations are enabled, (ii) the default type for locations is > used, (iii) debug traces are enabled, and (iv) `YYLOCATION_PRINT` is n= ot > already defined. > Users may define `YYLOCATION_PRINT` to cover other cases. > *** GLR traces > There were no debug traces for deferred calls to user actions. They are > logged now. > Noteworthy changes in release 3.7.6 (2021-03-08) [stable] > ** Bug fixes > *** Reused Push Parsers > When a push-parser state structure is used for multiple parses, it was > possible for some state to leak from one run into the following one. > *** Fix Table Generation > In some very rare conditions, when there are many useless tokens, it was > possible to generate incorrect parsers. >=20 > Signed-off-by: Adolf Belka > --- > config/rootfiles/common/bison | 14 +++++++++++--- > lfs/bison | 4 ++-- > 2 files changed, 13 insertions(+), 5 deletions(-) >=20 > diff --git a/config/rootfiles/common/bison b/config/rootfiles/common/bison > index 2fc2e6d1d..5cbbc1f8d 100644 > --- a/config/rootfiles/common/bison > +++ b/config/rootfiles/common/bison > @@ -9,7 +9,6 @@ > #usr/share/bison/m4sugar/foreach.m4 > #usr/share/bison/m4sugar/m4sugar.m4 > #usr/share/bison/skeletons > -#usr/share/bison/skeletons/README-D.txt > #usr/share/bison/skeletons/bison.m4 > #usr/share/bison/skeletons/c++-skel.m4 > #usr/share/bison/skeletons/c++.m4 > @@ -20,6 +19,7 @@ > #usr/share/bison/skeletons/d.m4 > #usr/share/bison/skeletons/glr.c > #usr/share/bison/skeletons/glr.cc > +#usr/share/bison/skeletons/glr2.cc > #usr/share/bison/skeletons/java-skel.m4 > #usr/share/bison/skeletons/java.m4 > #usr/share/bison/skeletons/lalr1.cc > @@ -68,6 +68,10 @@ > #usr/share/doc/bison/examples/c/calc/Makefile > #usr/share/doc/bison/examples/c/calc/README.md > #usr/share/doc/bison/examples/c/calc/calc.y > +#usr/share/doc/bison/examples/c/glr > +#usr/share/doc/bison/examples/c/glr/Makefile > +#usr/share/doc/bison/examples/c/glr/README.md > +#usr/share/doc/bison/examples/c/glr/c++-types.y > #usr/share/doc/bison/examples/c/lexcalc > #usr/share/doc/bison/examples/c/lexcalc/Makefile > #usr/share/doc/bison/examples/c/lexcalc/README.md > @@ -90,9 +94,13 @@ > #usr/share/doc/bison/examples/c/rpcalc/Makefile > #usr/share/doc/bison/examples/c/rpcalc/rpcalc.y > #usr/share/doc/bison/examples/d > -#usr/share/doc/bison/examples/d/Makefile > #usr/share/doc/bison/examples/d/README.md > -#usr/share/doc/bison/examples/d/calc.y > +#usr/share/doc/bison/examples/d/calc > +#usr/share/doc/bison/examples/d/calc/Makefile > +#usr/share/doc/bison/examples/d/calc/calc.y > +#usr/share/doc/bison/examples/d/simple > +#usr/share/doc/bison/examples/d/simple/Makefile > +#usr/share/doc/bison/examples/d/simple/calc.y > #usr/share/doc/bison/examples/java > #usr/share/doc/bison/examples/java/README.md > #usr/share/doc/bison/examples/java/calc > diff --git a/lfs/bison b/lfs/bison > index 3a2681406..26df21aa8 100644 > --- a/lfs/bison > +++ b/lfs/bison > @@ -24,7 +24,7 @@ >=20 > include Config >=20 > -VER =3D 3.7.6 > +VER =3D 3.8.2 >=20 > THISAPP =3D bison-$(VER) > DL_FILE =3D $(THISAPP).tar.xz > @@ -45,7 +45,7 @@ objects =3D$(DL_FILE) >=20 > $(DL_FILE) =3D $(DL_FROM)/$(DL_FILE) >=20 > -$(DL_FILE)_MD5 =3D d61aa92e3562cb7292b004ce96173cf7 > +$(DL_FILE)_MD5 =3D c28f119f405a2304ff0a7ccdcc629713 >=20 > install : $(TARGET) >=20 > --=20 > 2.33.0 >=20 --===============5839758493069419632==--