From: Mark Dickinson <dickinsm@gmail.com>
Date: Sun, 21 Aug 2016 09:59:48 +0000 (+0100)
Subject: Issue #25604: Fix bug in integer true division that could have resulted in off-by... 
X-Git-Tag: v2.7.13rc1~201
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=89446b2c91b664a851874b43a295859c8383343d;p=python

Issue #25604: Fix bug in integer true division that could have resulted in off-by-one-ulp results in unusual cases.
---

diff --git a/Misc/NEWS b/Misc/NEWS
index e393d322f9..392e9e7f88 100644
--- a/Misc/NEWS
+++ b/Misc/NEWS
@@ -10,6 +10,10 @@ What's New in Python 2.7.13?
 Core and Builtins
 -----------------
 
+- Issue #25604: Fix a minor bug in integer true division; this bug could
+  potentially have caused off-by-one-ulp results on platforms with
+  unreliable ldexp implementations.
+
 - Issue #27473: Fixed possible integer overflow in str, unicode and bytearray
   concatenations and repetitions.  Based on patch by Xiang Zhang.
 
diff --git a/Objects/longobject.c b/Objects/longobject.c
index ead8f284b7..6f469bf3e3 100644
--- a/Objects/longobject.c
+++ b/Objects/longobject.c
@@ -3315,9 +3315,9 @@ long_true_divide(PyObject *v, PyObject *w)
     /* Round by directly modifying the low digit of x. */
     mask = (digit)1 << (extra_bits - 1);
     low = x->ob_digit[0] | inexact;
-    if (low & mask && low & (3*mask-1))
+    if ((low & mask) && (low & (3U*mask-1U)))
         low += mask;
-    x->ob_digit[0] = low & ~(mask-1U);
+    x->ob_digit[0] = low & ~(2U*mask-1U);
 
     /* Convert x to a double dx; the conversion is exact. */
     dx = x->ob_digit[--x_size];