Re: bug report:

[Jean-Christophe Filliatre]

Kevin Ryde writes:
 > Jean-Christophe Filliatre <address@hidden> writes:
 > > 
 > > 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
                      ^^

This a typo, of course. I did compile with -g, not -c.

Actually, I did not have this  p2 machine anymore, and thus I'm not in
position  to re-execute  the  program in  gdb.  I sent  you the  file,
expecting you could reproduce the bug...

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