coredump

张金政 tianchaijz at gmail.com
Sat Aug 3 16:14:30 UTC 2019


张金政 <tianchaijz at gmail.com>
8月3日周六 上午10:58 (13小时前)
发送至 Torbjörn
Thanks for your reply. I'm using the latest GMP 6.1.2, and build it from
source.

Build command:

cc -g -Wl,-rpath,.libs -L.libs -lgmp bug.c -o gmp_bug.out

Ldd output:

        linux-vdso.so.1 (0x00007fff4c3d3000)
        libgmp.so.10 => .libs/libgmp.so.10 (0x00007f2bb536b000)
        libc.so.6 => /usr/lib/libc.so.6 (0x00007f2bb5183000)
        /lib64/ld-linux-x86-64.so.2 => /usr/lib64/ld-linux-x86-64.so.2
(0x00007f2bb53ea000)

You may need run gmp_bug.out several times to reproduce a segfault.

After applying the patch, all works fine.

Thanks again!

Torbjörn Granlund <tg at gmplib.org> 于2019年8月3日周六 上午5:57写道:

> I cannot repro a segfault, but then I might not be using the same GMP
> release as you.  But your test case does indeed show a bug with floating
> point input in bases which are a power of two and have many leading
> zeros.
>
> Here is a patch:
>
>   https://gmplib.org/repo/gmp/raw-rev/0fe70584021b
>
> Please apply it and report back.
>
> --
> Torbjörn
> Please encrypt, key id 0xC8601622
>


More information about the gmp-bugs mailing list