Added some assertions (any unsigned long must be representable

in a mp_limb_t).


git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@1900 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 1 insertions, 0 deletions

diff --git a/sqrt_ui.c b/sqrt_ui.c
index 46eff9f81..92c11b053 100644
--- a/sqrt_ui.c
+++ b/sqrt_ui.c
@@ -36,6 +36,7 @@ mpfr_sqrt_ui (mpfr_ptr r, unsigned long u, mp_rnd_t rnd_mode)
       int inex;
 
       MPFR_INIT1(up, uu, BITS_PER_MP_LIMB, 1);
+      MPFR_ASSERTN(u == (mp_limb_t) u);
       count_leading_zeros (cnt, (mp_limb_t) u);
       *up = (mp_limb_t) u << cnt;
       MPFR_EXP(uu) = BITS_PER_MP_LIMB - cnt;