summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2016-06-06 12:15:56 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2016-06-06 12:15:56 +0000
commitc4d3cdb70230a418460101fd925a971f8e7192a0 (patch)
tree2bb5152bc9167f7ef18580a0d28c833f4bf746ce
parent6b2d391f012bd38e878fdedba90d4e0b4a37b6ad (diff)
downloadmpfr-c4d3cdb70230a418460101fd925a971f8e7192a0.tar.gz
[src/add1.c] Simplified code: removed fb = 1 since it was already 1
in the "if (fb > 0)" branch. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10435 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--src/add1.c6
1 files changed, 1 insertions, 5 deletions
diff --git a/src/add1.c b/src/add1.c
index abb9b40d3..671836899 100644
--- a/src/add1.c
+++ b/src/add1.c
@@ -235,11 +235,7 @@ mpfr_add1 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode)
if (fb > 0)
{
if (bb != MPFR_LIMB_MAX)
- {
- fb = 1; /* c hasn't been taken into account
- ==> sticky bit != 0 */
- goto rounding;
- }
+ goto rounding;
}
else /* fb not initialized yet */
{