summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2005-08-18 13:08:07 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2005-08-18 13:08:07 +0000
commit50c94414907cf3dfe0aa2732ff6a5b0abc3348ae (patch)
tree8eee33d95ecddd821e237c199373f1ddce4608f6
parent9dc15536de390fdfd08bc044d936303e2fb5af09 (diff)
downloadmpfr-50c94414907cf3dfe0aa2732ff6a5b0abc3348ae.tar.gz
Added an assertion.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@3721 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--get_ld.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/get_ld.c b/get_ld.c
index 19c30b558..82d8f103f 100644
--- a/get_ld.c
+++ b/get_ld.c
@@ -156,6 +156,7 @@ mpfr_get_ld (mpfr_srcptr x, mp_rnd_t rnd_mode)
}
else
{
+ MPFR_ASSERTN (denorm <= 32);
ld.s.manl = (tmpmant[0] >> denorm) | (tmpmant[1] << (32-denorm));
ld.s.manh = tmpmant[1] >> denorm;
}