Help stabilising mini-gmp
marc.glisse at inria.fr
Thu Nov 24 23:17:57 UTC 2016
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
More information about the gmp-devel