>> Feedback on the format of the counterexamples would also be most useful. > > Here are the compressed sources: > https://alpha.gnu.org/gnu/bison/bison-3.6.91.tar.gz (5.1MB) > https://alpha.gnu.org/gnu/bison/bison-3.6.91.tar.lz (3.1MB) > https://alpha.gnu.org/gnu/bison/bison-3.6.91.tar.xz (3.1MB) > > Here are the GPG detached signatures[*]: > https://alpha.gnu.org/gnu/bison/bison-3.6.91.tar.gz.sig > https://alpha.gnu.org/gnu/bison/bison-3.6.91.tar.lz.sig > https://alpha.gnu.org/gnu/bison/bison-3.6.91.tar.xz.sig > > Cheers! >
On ye old SPARC Sol10 boxen I was surprised to see : . . . /opt/developerstudio12.6/bin/cc -D_STDC_C99= -DEXEEXT=\"\" -I. -I./lib -I. -I./lib -I/opt/bw/include -D_POSIX_PTHREAD_SEMANTICS -D_LARGEFILE64_SOURCE -D_TS_ERRNO -D_REENTRANT -m64 -xarch=sparc -g -Xa -xs -xO0 -errfmt=error -erroff=%none -errshort=full -xstrconst -xildoff -xmemalign=8s -xnolibmil -xcode=pic32 -xregs=no%appl -xlibmieee -mc -ftrap=%none -xbuiltin=%none -xunroll=1 -Qy -xdebugformat=dwarf -c -o lib/main.o lib/main.c source='lib/yyerror.c' object='lib/yyerror.o' libtool=no \ DEPDIR=.deps depmode=none /bin/bash ./build-aux/depcomp \ /opt/developerstudio12.6/bin/cc -D_STDC_C99= -DEXEEXT=\"\" -I. -I./lib -I. -I./lib -I/opt/bw/include -D_POSIX_PTHREAD_SEMANTICS -D_LARGEFILE64_SOURCE -D_TS_ERRNO -D_REENTRANT -m64 -xarch=sparc -g -Xa -xs -xO0 -errfmt=error -erroff=%none -errshort=full -xstrconst -xildoff -xmemalign=8s -xnolibmil -xcode=pic32 -xregs=no%appl -xlibmieee -mc -ftrap=%none -xbuiltin=%none -xunroll=1 -Qy -xdebugformat=dwarf -c -o lib/yyerror.o lib/yyerror.c rm -f lib/liby.a /usr/ccs/bin/ar cr lib/liby.a lib/main.o lib/yyerror.o ranlib lib/liby.a gmake[2]: Leaving directory '/opt/bw/build/bison-3.6.91_sunos5.10_sparcv9.001' gmake[1]: Leaving directory '/opt/bw/build/bison-3.6.91_sunos5.10_sparcv9.001' Looks like malloc is being redefined and using a YYSIZE_T that we don't need defined as aything else other than size_t. I will poke around later and see if I can find where we went wrong here. -- Dennis Clarke RISC-V/SPARC/PPC/ARM/CISC UNIX and Linux spoken GreyBeard and suspenders optional