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/ui_div.c b/ui_div.c
index d0e8b15ef..c47c8ab93 100644
--- a/ui_div.c
+++ b/ui_div.c
@@ -55,6 +55,7 @@ mpfr_ui_div (mpfr_ptr y, unsigned long int u, mpfr_srcptr x, mp_rnd_t rnd_mode)
   if (u)
     {
       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;