Hi Jeroen,

This looks like a very live bug. Thanks for the report and the trace.
I think this looks to be in code I added to MPIR when I worked on it,
so I'll try to track this down.

Regarding the internal undocumented functions used by Pari, if there
are no missing symbol errors when you build against MPIR, then it is
likely these are mpn functions that were formerly undocumented, but
now part of the documented interface. I think it would be safe to
leave that flag set (so long as it actually compiles and links).

Bill.

On 3 September 2010 22:10, Jeroen Demeyer <[email protected]> wrote:
> Hello mpir-devel,
>
> I think I found a bug in MPIR 2.1.1 in mpz_divexact() (or I'm doing
> something something very stupid).  Running the following program gives a
> Segmentation Fault:
>
> #include <mpir.h>
> int main()
> {
>    mpz_t Z, R;
>    mpz_init(Z);
>    mpz_init(R);
>    mpz_ui_pow_ui(Z, 10, 100000);
>    mpz_divexact(R, Z, Z);
>    return 0;
> }
>
>
> gdb backtrace:
>
> Program received signal SIGSEGV, Segmentation fault.
> 0x00007fa2f2b5245d in mpn_submul_1 () from
> /usr/local/src/pari/local/lib/libmpir.so.8
> (gdb) bt
> #0  0x00007fa2f2b5245d in mpn_submul_1 () from
> /usr/local/src/pari/local/lib/libmpir.so.8
> #1  0x00007fa2f2b73e72 in __gmpn_sb_divappr_q () from
> /usr/local/src/pari/local/lib/libmpir.so.8
> #2  0x00007fa2f2b812f2 in __gmpn_inv_divappr_q () from
> /usr/local/src/pari/local/lib/libmpir.so.8
> #3  0x00007fa2f2b88765 in __gmpn_divexact () from
> /usr/local/src/pari/local/lib/libmpir.so.8
> #4  0x00007fa2f2b3fb4b in __gmpz_divexact () from
> /usr/local/src/pari/local/lib/libmpir.so.8
> #5  0x0000000000400741 in main () at mpirtest.c:8
>
>
> My system is:
>
> $ uname -a
> Linux arcanis 2.6.32-gentoo-r7 #5 SMP Thu Jun 10 23:07:26 CEST 2010
> x86_64 Intel(R) Core(TM)2 Duo CPU T5870 @ 2.00GHz GenuineIntel GNU/Linux
>
> $ ./config.guess
> core2-unknown-linux-gnu
>
> $ gcc --version
> gcc-4.4.3 (Gentoo 4.4.3-r2 p1.2) 4.4.3
>
> This is with MPIR 2.1.1 configured with ./configure --enable-gmpcompat
>
>
> This bug was found thanks to Sage (see
> http://trac.sagemath.org/sage_trac/ticket/9837)
>
>
> Jeroen Demeyer.
>
> --
> You received this message because you are subscribed to the Google Groups 
> "mpir-devel" group.
> To post to this group, send email to [email protected].
> To unsubscribe from this group, send email to 
> [email protected].
> For more options, visit this group at 
> http://groups.google.com/group/mpir-devel?hl=en.
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"mpir-devel" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/mpir-devel?hl=en.

Reply via email to