diff options
| -rw-r--r-- | src/round_p.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/round_p.c b/src/round_p.c index 26232d5c9..2e7a49854 100644 --- a/src/round_p.c +++ b/src/round_p.c @@ -60,6 +60,8 @@ mpfr_round_p (mp_limb_t *bp, mp_size_t bn, mpfr_exp_t err0, mpfr_prec_t prec) mp_limb_t tmp, mask; int s; + MPFR_ASSERTD(bp[bn - 1] & MPFR_LIMB_HIGHBIT); + err = (mpfr_prec_t) bn * GMP_NUMB_BITS; if (MPFR_UNLIKELY (err0 <= 0 || (mpfr_uexp_t) err0 <= prec || prec >= err)) return 0; /* can't round */ |