Fix for mini-gmp mpz_clrbit.

954cbd3c · Niels Möller · cc86df70 · 954cbd3c · 954cbd3c
Commit 954cbd3c authored Aug 26, 2014 by Niels Möller
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 1 deletion

ChangeLog ChangeLog +5 -0

mini-gmp.c mini-gmp.c +1 -1

No files found.
--- a/ChangeLog
+++ b/ChangeLog
+2014-08-26  Niels Möller  <nisse@lysator.liu.se>
+
+	* mini-gmp.c (mpz_abs_sub_bit): Do full normalization, needed in
+	case the most significant bit is cleared.
+
 2014-08-25  Niels Möller  <nisse@lysator.liu.se>

 	* testsuite/ecdh-test.c (set_point): Check return value of

--- a/mini-gmp.c
+++ b/mini-gmp.c
@@ -3569,7 +3569,7 @@ mpz_abs_sub_bit (mpz_t d, mp_bitcnt_t bit_index)

  gmp_assert_nocarry (mpn_sub_1 (dp + limb_index, dp + limb_index,
 				 dn - limb_index, bit));
-  dn -= (dp[dn-1] == 0);
+  dn = mpn_normalized_size (dp, dn);
  d->_mp_size = (d->_mp_size < 0) ? - dn : dn;
 }