Help stabilising mini-gmp
marc.glisse at inria.fr
Sat Nov 26 07:45:06 UTC 2016
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...
More information about the gmp-devel