Re: One failed self test on Alpine Linux

[Akim Demaille]

Hi Jefrey,

> Le 10 janv. 2021 à 12:26, Akim Demaille <akim@lrde.epita.fr> a écrit :
> 
>> Le 9 janv. 2021 à 22:56, Jeffrey Walton <noloader@gmail.com> a écrit :
>> ./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

I don't understand this part.  The result is the expected one, a
nonunifying example.  So the timeout was fired.  Just was just
not printed.  I don't understand how this can happen.

>> @@ -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 .

This part does not make sense to me either.  It behaves as is it
did not find a unifying example (it printed "First" and "Second",
instead of just "Example" once), yet it's the same example.  Also,
it started from $accept instead of just `a`.


Would you agree to try to same test with the current git version
of Bison?  It's available here:

https://www.lrde.epita.fr/~akim/private/bison/bison-3.7.4.254-a0905.tar.gz
https://www.lrde.epita.fr/~akim/private/bison/bison-3.7.4.254-a0905.tar.lz
https://www.lrde.epita.fr/~akim/private/bison/bison-3.7.4.254-a0905.tar.xz

There is no known issue in this tarball, it's just as good as a release,
except that it includes unfinished new features.

Build it, and check it.  Test 263 in 3.7.4 is test 271 in this tarball.
Once 271 failed, please run:

./src/bison -Tcex -Wcex ./tests/testsuite.dir/271/input.y >/tmp/271.log 2>&1

Compress and please send /tmp/271.log.  It is probably very long,
instead of sending it, maybe you can leave it somewhere on the
Internet.

Thanks in advance!