Is this a bug for gmplib?

yi lu zhiwudazhanjiangshi at
Tue Nov 24 02:35:52 UTC 2015

Thank you for your reply.
I cannot reproduce it in the C testcase, but it occurs in the ghci. I will
report if it has further problems.


On Mon, Nov 23, 2015 at 8:37 PM, Marc Glisse <marc.glisse at> wrote:

> On Mon, 23 Nov 2015, yi lu wrote:
> I wonder if this is a bug of gmplib. The descriptions are in [1] [2]. I
>> used to use gmp-6.0.0a downloaded from `homebrew`. Now I use the new
>> version gmp-6.1.0. The bus error still occurs. Can it be fixed?
> [...]
>> [1]
>> [2]
> Your links say that this doesn't happen for people using the latest
> version of GMP, which contradicts your statement. If you can extract a
> self-contained C testcase, we will happily look at it.
> --
> Marc Glisse

More information about the gmp-discuss mailing list