[src/fma.c] Removed a redundant test since the second condition of

the && expression implies the first one.
Note: This test came from the time when the precision type was unsigned,
in order to make sure that the result of the subtraction was positive.

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

1 files changed, 1 insertions, 2 deletions

diff --git a/src/fma.c b/src/fma.c
index 9fa113099..a1d0d4100 100644
--- a/src/fma.c
+++ b/src/fma.c
@@ -260,8 +260,7 @@ mpfr_fma (mpfr_ptr s, mpfr_srcptr x, mpfr_srcptr y, mpfr_srcptr z,
             mpfr_srcptr zz;
             MPFR_BLOCK_DECL (flags);
 
-            if (MPFR_GET_EXP (u) > MPFR_GET_EXP (z) &&
-                MPFR_GET_EXP (u) - MPFR_GET_EXP (z) > MPFR_PREC (s) + 1)
+            if (MPFR_GET_EXP (u) - MPFR_GET_EXP (z) > MPFR_PREC (s) + 1)
               {
                 /* |z| < ulp(u)/4, where the ulp is meant with the precision
                    of the result s, therefore one can use z instead of z/4,