Help stabilising mini-gmp

[Marc Glisse]

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.

-- 
Marc Glisse