diff options
| author | Kevin Ryde <user42@zip.com.au> | 2002-04-22 23:39:50 +0200 |
|---|---|---|
| committer | Kevin Ryde <user42@zip.com.au> | 2002-04-22 23:39:50 +0200 |
| commit | 6a86af5219dc9b3b3b73c1cfbab468a44a343a9d (patch) | |
| tree | 3cc383681778f48c128b79afc441833d445c8272 /mpn | |
| parent | 7dc6dec60b2f81b05ad01f27067450b3b118f1de (diff) | |
| download | gmp-6a86af5219dc9b3b3b73c1cfbab468a44a343a9d.tar.gz | |
* mpn/generic/sb_divrem_mn.c, mpn/generic/divrem_2.c: Nailify ASSERTs.
Diffstat (limited to 'mpn')
| -rw-r--r-- | mpn/generic/divrem_2.c | 4 | ||||
| -rw-r--r-- | mpn/generic/sb_divrem_mn.c | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/mpn/generic/divrem_2.c b/mpn/generic/divrem_2.c index 1052cb13d..65d0a21f6 100644 --- a/mpn/generic/divrem_2.c +++ b/mpn/generic/divrem_2.c @@ -75,8 +75,10 @@ mpn_divrem_2 (mp_ptr qp, mp_size_t qxn, ASSERT (nn >= 2); ASSERT (qxn >= 0); - ASSERT (dp[1] & MP_LIMB_T_HIGHBIT); + ASSERT (dp[1] & GMP_NUMB_HIGHBIT); ASSERT (! MPN_OVERLAP_P (qp, nn-2+qxn, np, nn) || qp+2 >= np); + ASSERT_MPN (np, nn); + ASSERT_MPN (dp, 2); np += nn - 2; d1 = dp[1]; diff --git a/mpn/generic/sb_divrem_mn.c b/mpn/generic/sb_divrem_mn.c index cbd152dd9..7a221a106 100644 --- a/mpn/generic/sb_divrem_mn.c +++ b/mpn/generic/sb_divrem_mn.c @@ -75,10 +75,12 @@ mpn_sb_divrem_mn (mp_ptr qp, ASSERT (dn > 2); ASSERT (nn >= dn); - ASSERT (dp[dn-1] & MP_LIMB_T_HIGHBIT); + ASSERT (dp[dn-1] & GMP_NUMB_HIGHBIT); ASSERT (! MPN_OVERLAP_P (np, nn, dp, dn)); ASSERT (! MPN_OVERLAP_P (qp, nn-dn, dp, dn)); ASSERT (! MPN_OVERLAP_P (qp, nn-dn, np, nn) || qp+dn >= np); + ASSERT_MPN (np, nn); + ASSERT_MPN (dp, dn); np += qn; dx = dp[dn - 1]; |