Help stabilising mini-gmp

[Marc Glisse]

On Fri, 25 Nov 2016, Marc Glisse wrote:

> On Mon, 21 Nov 2016, Torbjörn Granlund wrote:
>
>> Marc Glisse <marc.glisse at inria.fr> writes:
>>
>>  On Sun, 20 Nov 2016, Niels Möller wrote:
>>
>>  > It would make sense to test both gmp and mini-gmp with
>>  > -fsanitize=undefined.
>>
>>  If we are not already doing it, yes, I highly recommend it.
>>
>> It is now running for ivydeb64v9 and ivydeb32v9.
>>
>> Two errors were triggered for the former, one in mini-gmp (presumably
>> fixed by nisse) and one on cxx/t-ops2z.  Please take a look, glisse.
>
> Fixed. It was unhappy about (-13) << 2. I am a bit surprised it doesn't 
> complain about (-13) >> 2 on the next line, we'll see if it ever becomes 
> an issue.

There is something strange with https://gmplib.org/devel/tm/gmp/date.html 
. When I click to get the logs for ivydeb32v9.gmplib.org-dyn-noasm-ubsan, 
the build log is from 26/11, but the check log is from 21/11...


-- 
Marc Glisse