Bug found in nightbuilds

2014-02-15 Thread Torbjorn Granlund
We currently have many spurious failures flagged in red at https://gmplib.org/devel/tm-date.html, mainly due to hardware errors with the system `biko'. But the `hark' failure looks real: hark$ cd /var/tmp/gmp-obj/hark-stat-64 hark$ GMP_CHECK_RANDOMIZE=3526906869 tests/mpn/t-div

Re: Bug found in nightbuilds

2014-02-15 Thread Niels Möller
Torbjorn Granlund t...@gmplib.org writes: I suspect this is a new bug, and that the error is in the test code. It seems to happen for many seeds, around one in 25, for s390. If the bug were old it'd had happened before. Hmm. Look like it's the returning of the high limb via the separate *qp

Re: Bug found in nightbuilds

2014-02-15 Thread Torbjorn Granlund
ni...@lysator.liu.se (Niels Möller) writes: Hmm. Look like it's the returning of the high limb via the separate *qp which is broken? And there's no (non-inline) assembly involved, its generic/mpn_div_qr_1.c. I traced it to a nn=0 call to the underlying pi1 call. Dunno if that's

Re: Bug found in nightbuilds

2014-02-15 Thread bodrato
Ciao, Il Sab, 15 Febbraio 2014 4:55 pm, Torbjorn Granlund ha scritto: I traced it to a nn=0 call to the underlying pi1 call. Dunno if that's problematic. Yes, that's the problem. When n=1. Code says: if (d GMP_NUMB_HIGHBIT) { /* Normalized case */ uh = up[--n]; /* Here n goes