[src/ui_sub.c] make code work for limb < long

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

1 files changed, 8 insertions, 1 deletions

diff --git a/src/ui_sub.c b/src/ui_sub.c
index aca412719..44853eb1c 100644
--- a/src/ui_sub.c
+++ b/src/ui_sub.c
@@ -63,18 +63,25 @@ mpfr_ui_sub (mpfr_ptr y, unsigned long int u, mpfr_srcptr x, mpfr_rnd_t rnd_mode
     int inex;
     MPFR_SAVE_EXPO_DECL (expo);
 
+#ifdef MPFR_LONG_WITHIN_LIMB
     MPFR_TMP_INIT1 (up, uu, GMP_NUMB_BITS);
-    MPFR_STAT_STATIC_ASSERT (MPFR_LIMB_MAX >= ULONG_MAX);
     /* So, u fits in a mp_limb_t, which justifies the casts below. */
     MPFR_ASSERTD (u != 0);
     count_leading_zeros (cnt, (mp_limb_t) u);
     up[0] = (mp_limb_t) u << cnt;
+#else
+    mpfr_init2 (uu, sizeof (unsigned long) * CHAR_BIT);
+    mpfr_set_ui (uu, u, MPFR_RNDZ);
+#endif
 
     /* Optimization note: Exponent save/restore operations may be
        removed if mpfr_sub works even when uu is out-of-range. */
     MPFR_SAVE_EXPO_MARK (expo);
     MPFR_SET_EXP (uu, GMP_NUMB_BITS - cnt);
     inex = mpfr_sub (y, uu, x, rnd_mode);
+#ifndef MPFR_LONG_WITHIN_LIMB
+    mpfr_clear (uu);
+#endif
     MPFR_SAVE_EXPO_UPDATE_FLAGS (expo, __gmpfr_flags);
     MPFR_SAVE_EXPO_FREE (expo);
     return mpfr_check_range (y, inex, rnd_mode);