[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug report:
From: |
Jean-Christophe Filliatre |
Subject: |
Re: bug report: |
Date: |
Fri, 29 Jun 2001 09:43:09 +0200 (MEST) |
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
- bug report:, Jean-Christophe Filliatre, 2001/06/25
- Re: bug report:, Kevin Ryde, 2001/06/28
- Re: bug report:,
Jean-Christophe Filliatre <=