Home Original page

bpo-35091: Objects/listobject.c: Replace overflow checks in gallop fu… by izbyshev · Pull Request #10202 · python/cpython

…nctions with asserts

The actual overflow can never happen because of the following:
* The size of a list can't be greater than PY_SSIZE_T_MAX / sizeof(PyObject*).
* The size of a pointer on all supported plaftorms is at least 4 bytes.
* ofs is positive and less than the list size at the beginning of each iteration.

miss-islington pushed a commit to miss-islington/cpython that referenced this pull request

May 23, 2019 
pythonGH-10202)

…nctions with asserts

The actual overflow can never happen because of the following:
* The size of a list can't be greater than PY_SSIZE_T_MAX / sizeof(PyObject*).
* The size of a pointer on all supported plaftorms is at least 4 bytes.
* ofs is positive and less than the list size at the beginning of each iteration.

https://bugs.python.org/issue35091
(cherry picked from commit 6bc5917)

Co-authored-by: Alexey Izbyshev <izbyshev@ispras.ru>

miss-islington added a commit that referenced this pull request

May 23, 2019 
GH-10202)

…nctions with asserts

The actual overflow can never happen because of the following:
* The size of a list can't be greater than PY_SSIZE_T_MAX / sizeof(PyObject*).
* The size of a pointer on all supported plaftorms is at least 4 bytes.
* ofs is positive and less than the list size at the beginning of each iteration.

https://bugs.python.org/issue35091
(cherry picked from commit 6bc5917)

Co-authored-by: Alexey Izbyshev <izbyshev@ispras.ru>

This was referenced

May 23, 2019