undefined behavior in GMP 5.1.2

Vincent Lefevre vincent at vinc17.net
Sat Sep 21 01:29:43 CEST 2013

On 2013-09-20 20:43:49 +0200, Marc Glisse wrote:
> On Fri, 20 Sep 2013, Vincent Lefevre wrote:
> >It also detects other problems:
> >
> >t-constants.c:221:3: runtime error: left shift of negative value -9223372036854775808
> >FAIL: t-constants
> >
> >t-parity.c:53:22: runtime error: left shift of 1 by 63 places cannot be represented in type 'long'
> >FAIL: t-parity
> >
> >and possible other ones...
> Those are in the testsuite, so less of a priority (not that we should ignore
> them). Did you find others in the library itself?

I haven't tried: the "make check" stopped early because of these
two failures.

So, one first needs to fix them or disable the corresponding tests
to get the following tests of the testsuite.

Vincent Lefèvre <vincent at vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

More information about the gmp-bugs mailing list