2 failing tests with --enable-assert

[Torbjorn Granlund]

Martin Jurecko <jurecko at sors.com> writes:

  Hi,
  
  I have two failing 'make check' tests that both consistently fail with :
  rootrem.c:338: GNU MP assertion failed: bn >= qn
  The problematic tests are tests/mpz/reuse and tests/mpz/t-root .
  Details follow :
  1) GMP version number is 4.3.1 and I got it from
  ftp://ftp.gmplib.org/pub/gmp-4.3.1/gmp-4.3.1.tar.bz2
  2) gcc -v :
  Using built-in specs.
  Target: i486-linux-gnu
  Configured with: ../src/configure -v --with-pkgversion='Debian 4.3.2-1.1' --with-bugurl=file:///usr/share/doc/gcc-4.3/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --enable-nls --with-gxx-include-dir=/usr/include/c++/4.3 --program-suffix=-4.3 --enable-clocale=gnu --enable-libstdcxx-debug --enable-objc-gc --enable-mpfr --enable-targets=all --enable-cld --enable-checking=release --build=i486-linux-gnu --host=i486-linux-gnu --target=i486-linux-gnu
  Thread model: posix
  gcc version 4.3.2 (Debian 4.3.2-1.1)
  3) uname -a :
  Linux cygnus 2.6.26-2-686-bigmem #1 SMP Wed Aug 19 06:34:05 UTC 2009 i686 GNU/Linux
  4) ./config.guess ( guessed right) :
  athlon64-pc-linux-gnu
  5) I configured GMP using :
  ./configure --enable-cxx --prefix =/home/jurecko/cuda/3rd/gmp --enable-assert
  Only --enable-assert triggers the failures ( surprisingly :). Sorry if this is a known issue, I was not able to find similar bugreport.
  Otherwise, everything seems ( so far) to be working just fine so no pressure here :) - and thanks for GMP, as far as I can judge it is well written and darn useful !
  
Gcc 4.3.2 miscompiles GMP 4.3.x.  Gcc 4.3.1 and 4.3.3 are better.

-- 
Torbjörn