Re: One failed self test on Alpine Linux

[Akim Demaille]

> Le 9 janv. 2021 à 22:56, Jeffrey Walton <noloa...@gmail.com> a écrit :
> 
> Hi Everyone,

Hi Jeffrey,

Thanks for the complete bug report, the attachment is precious.

> I'm working on Alpine Linux 3.10, x86_64, fully patched. Alpine is
> different because it uses Musl and BusyBox. I'm building Bison from
> release tarball 3.7.4. Bison is failing one self test:
> 
>    ERROR: 602 tests were run,
>    1 failed unexpectedly.
>    60 tests were skipped.
> 
> It looks like the offender is:
> 
> 262: R/R cex with prec                               ok
> 263: Null nonterminals                               FAILED
> (counterexample.at:621)
> 264: Non-unifying Prefix Share                       ok
> ...


> ./counterexample.at:621: sed -e 's/time limit exceeded: [0-9][.0-9]*/time 
> limit exceeded: XXX/g;s/ *$//;' stderr
> --- -
> +++ 
> /home/jwalton/Build-Scripts/bison-3.7.4/tests/testsuite.dir/at-groups/263/stdout
> @@ -31,7 +31,6 @@
>                `-> c     A
>                    `-> .
>  input.y: warning: reduce/reduce conflict on token A [-Wcounterexamples]
> -time limit exceeded: XXX
>    First example: c . c A A $end
>    First reduce derivation
>      $accept
> @@ -48,7 +47,6 @@
>                `-> c     A
>                    `-> .
>  input.y: warning: shift/reduce conflict on token A [-Wcounterexamples]
> -time limit exceeded: XXX
>    First example: b c . A
>    Shift derivation
>      a
> @@ -100,23 +98,29 @@
>                          `-> c     A
>                              `-> .
>  input.y: warning: reduce/reduce conflict on token $end [-Wcounterexamples]
> -  Example: b d .
> +  First example: b d . $end
>    First reduce derivation
> -    a
> -    `-> b d .
> +    $accept
> +    `-> a         $end
> +        `-> b d .
> +  Second example: b d . $end
>    Second reduce derivation
> -    a
> -    `-> b d
> -          `-> d .
> +    $accept
> +    `-> a             $end
> +        `-> b d
> +              `-> d .
>  input.y: warning: reduce/reduce conflict on token $end [-Wcounterexamples]
> -  Example: c d .
> +  First example: c d . $end
>    First reduce derivation
> -    a
> -    `-> c d .
> +    $accept
> +    `-> a         $end
> +        `-> c d .
> +  Second example: c d . $end
>    Second reduce derivation
> -    a
> -    `-> c d
> -          `-> d .
> +    $accept
> +    `-> a             $end
> +        `-> c d
> +              `-> d .


This is really weird.  We might have to do co-debugging sessions.
But I have other things in the TODO to flush before.  I'll keep
in touch.

Thanks a lot for the report.

Cheers!