mpz_gcdext bug in mini-gmp

Syed Jafri syedjafri97 at
Sun Mar 22 09:52:35 UTC 2020

Hello GMP Team,

Thank you for the wonderful library, I have been using mini-gmp and I have run into a bug with the mpz_gcdext function. The full GMP version gives the correct output, while the mini-gmp version of the function fails at line 2911 of mini-gmp.c, at the code ```assert (mpz_even_p (t0) && mpz_even_p (s0));```

I have created a full reproduction with both mini-gmp and gmp, using the mpz_gcdext function and sample inputs at

I am currently using unmodified GMP and mini-GMP version 6.2.0, with Apple clang version 11.0. Please let me know if you need any additional information, I will provide it to you promptly. Looking forward to solving this bug as quickly as possible.

Thank you,
Syed Jafri

More information about the gmp-bugs mailing list