[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug report:
From: |
Jean-Christophe Filliatre |
Subject: |
bug report: |
Date: |
Mon, 25 Jun 2001 13:08:37 +0200 (MEST) |
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
- bug report:,
Jean-Christophe Filliatre <=