bug report:

[Jean-Christophe Filliatre]

Hello,

I think  I've found a  bug of mpz_fdiv_q.  The file bug.c  is attached
below. Here is the bug report:

======================================================================
GMP version number: 3.1.1

test program: bug.c

compilation: gcc -c -I. bug.c .libs/libgmp.a

what is wrong: execution crashes on a floating point exception

Configuration options:
   ./configure --prefix=/usr

gcc -v:
   Reading specs from /usr/lib/gcc-lib/i686-pc-linux-gnu/pgcc-2.91.66/specs
   gcc version pgcc-2.91.66 19990314 (egcs-1.1.2 release)

uname -a: 
   Linux gemini 2.2.13-7mdk #1 Wed Sep 15 18:02:18 CEST 1999 i686 unknown
 
./config.guess:
   pentium2-pc-linux-gnu
======================================================================

I noticed that bug doesn't  reproduce on another of my machines, where
we have:

======================================================================
gcc -v:
   Reading specs from /usr/lib/gcc-lib/i386-redhat-linux/egcs-2.91.66/specs
   gcc version egcs-2.91.66 19990314/Linux (egcs-1.1.2 release)

uname -a:
   Linux pc803 2.2.17 #2 Thu Sep 21 16:18:38 MEST 2000 i686 unknown

./config.guess:
   pentium3-pc-linux-gnu
======================================================================

So  I guess it  is related  to specialized  assembly code  for Celeron
processors.

(This bug is  quite annoying for me, so I would  appreciate a patch if
you can provide one easily.)

Sincerely,
-- 
Jean-Christophe Filliatre
  mailto:address@hidden
  http://www.lri.fr/~filliatr

bug.c
Description: bug.c