Make the various iterators' "setstate" sliently and consistently clip the

index.  This avoids the possibility of setting an iterator to an invalid
state.
This commit is contained in:
Kristján Valur Jónsson 2014-03-05 13:47:57 +00:00
parent 4ca688edeb
commit 25dded041f
8 changed files with 66 additions and 15 deletions

View File

@ -380,6 +380,18 @@ class RangeTest(unittest.TestCase):
self.assertEqual(list(it), data[1:]) self.assertEqual(list(it), data[1:])
def test_exhausted_iterator_pickling(self): def test_exhausted_iterator_pickling(self):
r = range(2**65, 2**65+2)
i = iter(r)
while True:
r = next(i)
if r == 2**65+1:
break
d = pickle.dumps(i)
i2 = pickle.loads(d)
self.assertEqual(list(i), [])
self.assertEqual(list(i2), [])
def test_large_exhausted_iterator_pickling(self):
r = range(20) r = range(20)
i = iter(r) i = iter(r)
while True: while True:

View File

@ -2798,6 +2798,8 @@ arrayiter_setstate(arrayiterobject *it, PyObject *state)
return NULL; return NULL;
if (index < 0) if (index < 0)
index = 0; index = 0;
else if (index > Py_SIZE(it->ao))
index = Py_SIZE(it->ao); /* iterator exhausted */
it->index = index; it->index = index;
Py_RETURN_NONE; Py_RETURN_NONE;
} }

View File

@ -3043,9 +3043,13 @@ bytearrayiter_setstate(bytesiterobject *it, PyObject *state)
Py_ssize_t index = PyLong_AsSsize_t(state); Py_ssize_t index = PyLong_AsSsize_t(state);
if (index == -1 && PyErr_Occurred()) if (index == -1 && PyErr_Occurred())
return NULL; return NULL;
if (index < 0) if (it->it_seq != NULL) {
index = 0; if (index < 0)
it->it_index = index; index = 0;
else if (index > PyByteArray_GET_SIZE(it->it_seq))
index = PyByteArray_GET_SIZE(it->it_seq); /* iterator exhausted */
it->it_index = index;
}
Py_RETURN_NONE; Py_RETURN_NONE;
} }

View File

@ -2996,9 +2996,13 @@ striter_setstate(striterobject *it, PyObject *state)
Py_ssize_t index = PyLong_AsSsize_t(state); Py_ssize_t index = PyLong_AsSsize_t(state);
if (index == -1 && PyErr_Occurred()) if (index == -1 && PyErr_Occurred())
return NULL; return NULL;
if (index < 0) if (it->it_seq != NULL) {
index = 0; if (index < 0)
it->it_index = index; index = 0;
else if (index > PyBytes_GET_SIZE(it->it_seq))
index = PyBytes_GET_SIZE(it->it_seq); /* iterator exhausted */
it->it_index = index;
}
Py_RETURN_NONE; Py_RETURN_NONE;
} }

View File

@ -2803,6 +2803,8 @@ listiter_setstate(listiterobject *it, PyObject *state)
if (it->it_seq != NULL) { if (it->it_seq != NULL) {
if (index < 0) if (index < 0)
index = 0; index = 0;
else if (index > PyList_GET_SIZE(it->it_seq))
index = PyList_GET_SIZE(it->it_seq); /* iterator exhausted */
it->it_index = index; it->it_index = index;
} }
Py_RETURN_NONE; Py_RETURN_NONE;

View File

@ -1000,10 +1000,11 @@ rangeiter_setstate(rangeiterobject *r, PyObject *state)
long index = PyLong_AsLong(state); long index = PyLong_AsLong(state);
if (index == -1 && PyErr_Occurred()) if (index == -1 && PyErr_Occurred())
return NULL; return NULL;
if (index < 0 || index > r->len) { /* silently clip the index value */
PyErr_SetString(PyExc_ValueError, "index out of range"); if (index < 0)
return NULL; index = 0;
} else if (index > r->len)
index = r->len; /* exhausted iterator */
r->index = index; r->index = index;
Py_RETURN_NONE; Py_RETURN_NONE;
} }
@ -1178,6 +1179,28 @@ longrangeiter_reduce(longrangeiterobject *r)
static PyObject * static PyObject *
longrangeiter_setstate(longrangeiterobject *r, PyObject *state) longrangeiter_setstate(longrangeiterobject *r, PyObject *state)
{ {
int cmp;
/* clip the value */
PyObject *zero = PyLong_FromLong(0);
if (zero == NULL)
return NULL;
cmp = PyObject_RichCompareBool(state, zero, Py_LT);
if (cmp > 0) {
Py_CLEAR(r->index);
r->index = zero;
Py_RETURN_NONE;
}
Py_DECREF(zero);
if (cmp < 0)
return NULL;
cmp = PyObject_RichCompareBool(r->len, state, Py_LT);
if (cmp < 0)
return NULL;
if (cmp > 0)
state = r->len;
Py_CLEAR(r->index); Py_CLEAR(r->index);
r->index = state; r->index = state;
Py_INCREF(r->index); Py_INCREF(r->index);

View File

@ -998,8 +998,8 @@ tupleiter_setstate(tupleiterobject *it, PyObject *state)
if (it->it_seq != NULL) { if (it->it_seq != NULL) {
if (index < 0) if (index < 0)
index = 0; index = 0;
else if (it->it_seq != NULL && index > PyTuple_GET_SIZE(it->it_seq)) else if (index > PyTuple_GET_SIZE(it->it_seq))
index = PyTuple_GET_SIZE(it->it_seq); index = PyTuple_GET_SIZE(it->it_seq); /* exhausted iterator */
it->it_index = index; it->it_index = index;
} }
Py_RETURN_NONE; Py_RETURN_NONE;

View File

@ -14420,9 +14420,13 @@ unicodeiter_setstate(unicodeiterobject *it, PyObject *state)
Py_ssize_t index = PyLong_AsSsize_t(state); Py_ssize_t index = PyLong_AsSsize_t(state);
if (index == -1 && PyErr_Occurred()) if (index == -1 && PyErr_Occurred())
return NULL; return NULL;
if (index < 0) if (it->it_seq != NULL) {
index = 0; if (index < 0)
it->it_index = index; index = 0;
else if (index > PyUnicode_GET_LENGTH(it->it_seq))
index = PyUnicode_GET_LENGTH(it->it_seq); /* iterator truncated */
it->it_index = index;
}
Py_RETURN_NONE; Py_RETURN_NONE;
} }