Commit a5cafdf2 authored by Mark Dickinson's avatar Mark Dickinson

Merged revisions 68974-68975 via svnmerge from

svn+ssh://pythondev@svn.python.org/python/trunk

........
  r68974 | mark.dickinson | 2009-01-26 21:36:30 +0000 (Mon, 26 Jan 2009) | 4 lines

  Fix undefined behaviour (left shift of negative value) in long_hash.  Also,
  rewrap a line of length > 79, and update comments.
........
  r68975 | mark.dickinson | 2009-01-26 21:40:08 +0000 (Mon, 26 Jan 2009) | 2 lines

  Fix comment.
........
parent 27fe9fc4
...@@ -2274,7 +2274,7 @@ long_richcompare(PyObject *self, PyObject *other, int op) ...@@ -2274,7 +2274,7 @@ long_richcompare(PyObject *self, PyObject *other, int op)
static long static long
long_hash(PyLongObject *v) long_hash(PyLongObject *v)
{ {
long x; unsigned long x;
Py_ssize_t i; Py_ssize_t i;
int sign; int sign;
...@@ -2294,17 +2294,18 @@ long_hash(PyLongObject *v) ...@@ -2294,17 +2294,18 @@ long_hash(PyLongObject *v)
i = -(i); i = -(i);
} }
#define LONG_BIT_PyLong_SHIFT (8*sizeof(long) - PyLong_SHIFT) #define LONG_BIT_PyLong_SHIFT (8*sizeof(long) - PyLong_SHIFT)
/* The following loop produces a C long x such that (unsigned long)x /* The following loop produces a C unsigned long x such that x is
is congruent to the absolute value of v modulo ULONG_MAX. The congruent to the absolute value of v modulo ULONG_MAX. The
resulting x is nonzero if and only if v is. */ resulting x is nonzero if and only if v is. */
while (--i >= 0) { while (--i >= 0) {
/* Force a native long #-bits (32 or 64) circular shift */ /* Force a native long #-bits (32 or 64) circular shift */
x = ((x << PyLong_SHIFT) & ~PyLong_MASK) | ((x >> LONG_BIT_PyLong_SHIFT) & PyLong_MASK); x = ((x << PyLong_SHIFT) & ~PyLong_MASK) |
((x >> LONG_BIT_PyLong_SHIFT) & PyLong_MASK);
x += v->ob_digit[i]; x += v->ob_digit[i];
/* If the addition above overflowed (thinking of x as /* If the addition above overflowed we compensate by
unsigned), we compensate by incrementing. This preserves incrementing. This preserves the value modulo
the value modulo ULONG_MAX. */ ULONG_MAX. */
if ((unsigned long)x < v->ob_digit[i]) if (x < v->ob_digit[i])
x++; x++;
} }
#undef LONG_BIT_PyLong_SHIFT #undef LONG_BIT_PyLong_SHIFT
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment