----------------------------------------------------------------- bison-3.8.2 fails one test 159. diagnostics.at:527: testing Counterexamples -----------------------------------------------------------------
Only a single test failure on an old old DEC AlphaStation 600 running the most recent OpenBSD 7.8 :
## ---------------------- ## ## Detailed failed tests. ## ## ---------------------- ## # -*- compilation -*- 159. diagnostics.at:527: testing Counterexamples ..../diagnostics.at:527: COLUMNS=1000; export COLUMNS; NO_TERM_HYPERLINKS=1; export NO_TERM_HYPERLINKS; VALGRIND_OPTS="$VALGRIND_OPTS --leak-check=summary --show-reachable=no"; export VALGRIND_OPTS; LC_ALL="$locale" bison -fcaret --color=debug -Wall,cex input.y
./diagnostics.at:527: "$PERL" -pi -e '
s{(</?(-|\w)+>)}{ $1 eq "<tag>" ? $1 : "" }ge;
if (/Example/)
{
++$example;
$_ = "" if $example % 2 == 0;
}
' experr || exit 77
./diagnostics.at:527: COLUMNS=1000; export COLUMNS;
NO_TERM_HYPERLINKS=1; export NO_TERM_HYPERLINKS;
VALGRIND_OPTS="$VALGRIND_OPTS --leak-check=summary --show-reachable=no";
export VALGRIND_OPTS; LC_ALL="$locale" bison -fcaret -Wall,cex input.y
--- experr Sun Mar 22 20:58:13 2026+++ /opt/bw/build/bison-3.8.2_OpenBSD_alpha_21164.001/tests/testsuite.dir/at-groups/159/stderr Sun Mar 22 20:58:20 2026
@@ -60,7 +60,7 @@
↳ 2: "if" exp "then" exp "else" exp
↳ 1: "if" exp "then" exp •
input.y: warning: shift/reduce conflict on token "+" [-Wcounterexamples]
- Example: "if" exp "then" exp • "+" exp
+Productions leading up to the conflict state found. Still finding a
possible unifying counterexample... Example: "if" exp "then" exp • "+" exp
Shift derivation
exp
↳ 1: "if" exp "then" exp
159. diagnostics.at:527: 159. Counterexamples (diagnostics.at:527):
FAILED (diagnostics.at:527)
The entire testsuite.log is attached. Maybe this is some sort of a little glitch due to OpenBSD not providing GNU grep or gawk or some such. I am betting it is something trivial. Just a hunch. -- -- Dennis Clarke RISC-V/SPARC/PPC/ARM/CISC UNIX and Linux spoken
bison-3.8.2_OpenBSD_alpha_21164_testsuite.log.gz
Description: application/gzip
