Hello,

We observe that ‘tests/mpz/reuse’ from GMP 6.0.0 occasionally fails on
GNU/Linux on ARMv7 (hard-float ABI.)

We are building with GCC 4.9.3, using libc 2.22, and configuring with:

  --enable-fat --enable-cxx --build=arm-unknown-linux-gnueabihf

Additional system info:

--8<---------------cut here---------------start------------->8---
$ ./config.guess
neon
neon
neon
neon-unknown-linux-gnueabihf
$ ./configfsf.guess
armv7l-unknown-linux-gnueabihf
$ uname -srmpi
Linux 3.19.0-00273-ge3b61d5 armv7l unknown unknown
$ cat /proc/cpuinfo 
processor       : 0
model name      : ARMv7 Processor rev 10 (v7l)
BogoMIPS        : 9.09
Features        : half thumb fastmult vfp edsp thumbee neon vfpv3 tls vfpd32 
CPU implementer : 0x41
CPU architecture: 7
CPU variant     : 0x2
CPU part        : 0xc09
CPU revision    : 10

[...]

Hardware        : Freescale i.MX6 Quad/DualLite (Device Tree)
Revision        : 0000
Serial          : 0000000000000000
--8<---------------cut here---------------end--------------->8---

Example build log:

  http://hydra.gnu.org/build/704686/nixlog/1/raw

To reproduce the problem, run this command long enough:

  while ./tests/mpz/reuse ; do : ; done

Usually the failure comes up after one or two iterations.

After removing occurrences of “0 &&” in the ‘dump’ function of reuse.c.
The attached files show the output for two different failures
(mpz_tdiv_qr and mpz_mul.)

Thanks,
Ludo’.