summaryrefslogtreecommitdiff
path: root/exp_2.c
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2008-07-26 10:29:57 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2008-07-26 10:29:57 +0000
commitd7293e9fa86e824e9e9d7a61a67846caa2f69322 (patch)
tree559e3d7bdbec0bf4059b2a6988023d4c9f8083af /exp_2.c
parent25b6131a53c28f6fbbbcf82a03c9c12a3bab8712 (diff)
downloadmpfr-d7293e9fa86e824e9e9d7a61a67846caa2f69322.tar.gz
exp_2.c: added another assertion, that is checked independently of
the value of MPFR_EXP_2_THRESHOLD (better for debugging). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@5452 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'exp_2.c')
-rw-r--r--exp_2.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/exp_2.c b/exp_2.c
index 95b284250..39247cb72 100644
--- a/exp_2.c
+++ b/exp_2.c
@@ -166,6 +166,7 @@ mpfr_exp_2 (mpfr_ptr y, mpfr_srcptr x, mp_rnd_t rnd_mode)
MY_INIT_MPZ(ss, 3 + 2*((q-1)/BITS_PER_MP_LIMB));
exps = mpfr_get_z_exp (ss, s);
/* s <- 1 + r/1! + r^2/2! + ... + r^l/l! */
+ MPFR_ASSERTD (MPFR_IS_PURE_FP (r) && MPFR_EXP (r) < 0);
l = (precy < MPFR_EXP_2_THRESHOLD)
? mpfr_exp2_aux (ss, r, q, &exps) /* naive method */
: mpfr_exp2_aux2 (ss, r, q, &exps); /* Paterson/Stockmeyer method */