undefined behavior in GMP 5.1.2
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
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