fma.c: added an assertion.

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

1 files changed, 1 insertions, 0 deletions

diff --git a/fma.c b/fma.c
index ab71f8f18..07e9b086b 100644
--- a/fma.c
+++ b/fma.c
@@ -180,6 +180,7 @@ mpfr_fma (mpfr_ptr s, mpfr_srcptr x, mpfr_srcptr y, mpfr_srcptr z,
                     int inex2;
 
                     mpfr_clears (zo4, u, (void *) 0);
+                    MPFR_ASSERTN (! mpfr_overflow_p ());
                     inex2 = mpfr_mul_2ui (s, s, 2, rnd_mode);
                     if (inex2)  /* overflow */
                       {