Re: Bison 3.7.90 (beta)

[Dagobert Michelsen]

Hi Akim,

Am 13.08.2021 um 09:07 schrieb Akim Demaille <akim@lrde.epita.fr>:
> I'm very pleased to announce the forthcoming release of Bison 3.8,
> whose main novelty is the D backend for deterministic parsers,
> contributed by Adela Vais.  It supports all the bells and whistles of
> Bison's other deterministic parsers, which include: pull/push
> interfaces, verbose and custom error messages, lookahead correction,
> LALR(1), IELR(1), canonical LR(1), token constructors,
> internationalization, locations, printers, token and symbol prefixes,
> and more.
> 
> There are several other notable changes.  Please see the detailed NEWS
> below for more details.
> 
> To make sure Bison 3.8 will be a successful release, we need feedback
> on this beta.  *Please test it!*
> 
> ==================================================================
> 
> Here are the compressed sources:
>  https://alpha.gnu.org/gnu/bison/bison-3.7.90.tar.gz   (6.1MB)
>  https://alpha.gnu.org/gnu/bison/bison-3.7.90.tar.lz   (3.1MB)
>  https://alpha.gnu.org/gnu/bison/bison-3.7.90.tar.xz   (3.1MB)

I see errors on Solaris 10 x86:

  CXX      examples/c++/glr/examples_c___glr_c___types-c++-types.o
"examples/c++/glr/c++-types.cc", line 734: Warning:  The template qualifier can 
only be used within a template.
"/opt/developerstudio12.6/lib/compilers/CC-gcc/include/c++/5.4.0/bits/algorithmfwd.h",
 line 582: Error: Could not find a match for std::swap<_Tp>(_Tp, _Tp) needed in 
glr_stack_item::operator=(glr_stack_item).
"examples/c++/glr/c++-types.cc", line 1360:     Where: While instantiating 
"void std::swap<char, 60>(char(&)[60], char(&)[60])".
"examples/c++/glr/c++-types.cc", line 1360:     Where: Instantiated from 
non-template code.
"/opt/developerstudio12.6/lib/compilers/CC-gcc/include/c++/5.4.0/bits/algorithmfwd.h",
 line 582: Error: A constant expression is required here.
"examples/c++/glr/c++-types.cc", line 1360:     Where: While instantiating 
"void std::swap<char, 60>(char(&)[60], char(&)[60])".
"examples/c++/glr/c++-types.cc", line 1360:     Where: Instantiated from 
non-template code.
"examples/c++/glr/c++-types.cc", line 2124: Warning:  The template qualifier 
can only be used within a template.
"examples/c++/glr/c++-types.cc", line 2220: Warning:  The template qualifier 
can only be used within a template.
"examples/c++/glr/c++-types.cc", line 2462: Warning:  The template qualifier 
can only be used within a template.
"examples/c++/glr/c++-types.cc", line 2858: Warning:  The template qualifier 
can only be used within a template.
"examples/c++/glr/c++-types.cc", line 3098: Warning:  The template qualifier 
can only be used within a template.
"examples/c++/glr/c++-types.cc", line 3147: Warning:  The template qualifier 
can only be used within a template.
2 Error(s) and 7 Warning(s) detected.
gmake[3]: *** [Makefile:9470: 
examples/c++/glr/examples_c___glr_c___types-c++-types.o] Error 2


and there are also errors on Solaris 10 Sparc:
  YACC     examples/c/lexcalc/parse.c
/home/dam/mgar/pkg/bison/trunk/work/solaris10-sparc/build-isa-sparcv8plus/bison-3.7.90/examples/c/lexcalc/parse.y:
 error: 1 nonterminal useless in grammar [-Werror=other]
/home/dam/mgar/pkg/bison/trunk/work/solaris10-sparc/build-isa-sparcv8plus/bison-3.7.90/examples/c/lexcalc/parse.y:
 error: 1 rule useless in grammar [-Werror=other]
/home/dam/mgar/pkg/bison/trunk/work/solaris10-sparc/build-isa-sparcv8plus/bison-3.7.90/examples/c/lexcalc/parse.y:79.25-27:
 error: start symbol NUM does not derive any sentence  
   79 | %start input expression NUM
      |                         ^~~  
gmake[3]: *** [Makefile:9538: examples/c/lexcalc/parse.c] Error 1


The compiler in Oracle Studio 12.6 raised some time ago as discussed in
  https://lists.gnu.org/archive/html/bug-bison/2019-10/msg00045.html


Best regards

  — Dago

-- 
"You don't become great by trying to be great, you become great by wanting to 
do something,
and then doing it so hard that you become great in the process." - xkcd #896