diff options
| author | Mark Dickinson <mdickinson@enthought.com> | 2012-04-15 15:30:35 (GMT) |
|---|---|---|
| committer | Mark Dickinson <mdickinson@enthought.com> | 2012-04-15 15:30:35 (GMT) |
| commit | a13b109bc00487182b13c1d02c03e8910dfb9234 (patch) | |
| tree | 4043e61e11e85fc06117149f879283e09ab99e28 /Modules/_bisectmodule.c | |
| parent | 18e3d81f96a592a0307fa41645017483eabcfc51 (diff) | |
| download | cpython-a13b109bc00487182b13c1d02c03e8910dfb9234.zip cpython-a13b109bc00487182b13c1d02c03e8910dfb9234.tar.gz cpython-a13b109bc00487182b13c1d02c03e8910dfb9234.tar.bz2 | |
Issue 13496: Fix bisect.bisect overflow bug for large collections.
Diffstat (limited to 'Modules/_bisectmodule.c')
| -rw-r--r-- | Modules/_bisectmodule.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/Modules/_bisectmodule.c b/Modules/_bisectmodule.c index 7fecfc6..93d0eed 100644 --- a/Modules/_bisectmodule.c +++ b/Modules/_bisectmodule.c @@ -21,7 +21,10 @@ internal_bisect_right(PyObject *list, PyObject *item, Py_ssize_t lo, Py_ssize_t return -1; } while (lo < hi) { - mid = (lo + hi) / 2; + /* The (size_t)cast ensures that the addition and subsequent division + are performed as unsigned operations, avoiding difficulties from + signed overflow. (See issue 13496.) */ + mid = ((size_t)lo + hi) / 2; litem = PySequence_GetItem(list, mid); if (litem == NULL) return -1; @@ -121,7 +124,10 @@ internal_bisect_left(PyObject *list, PyObject *item, Py_ssize_t lo, Py_ssize_t h return -1; } while (lo < hi) { - mid = (lo + hi) / 2; + /* The (size_t)cast ensures that the addition and subsequent division + are performed as unsigned operations, avoiding difficulties from + signed overflow. (See issue 13496.) */ + mid = ((size_t)lo + hi) / 2; litem = PySequence_GetItem(list, mid); if (litem == NULL) return -1; |