On Fri, 25 Nov 2016, Marc Glisse wrote:
On Mon, 21 Nov 2016, Torbjörn Granlund wrote:
Marc Glisse <marc.gli...@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
_______________________________________________
gmp-devel mailing list
gmp-devel@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-devel