Issue 16398: One more assertion for good measure.

diff --git a/Modules/_collectionsmodule.c b/Modules/_collectionsmodule.c
index 17b1ad68e1cd6d0f89f95bcf9c3f26a9504c6627..d0a47b89926db1b8bcf230585538d6621833da0c 100644 (file)
--- a/Modules/_collectionsmodule.c
+++ b/Modules/_collectionsmodule.c
@@ -484,6 +484,8 @@ _deque_rotate(dequeobject *deque, Py_ssize_t n)
         if (m > BLOCKLEN - 1 - deque->rightindex)
             m = BLOCKLEN - 1 - deque->rightindex;
         assert (m > 0);
+        assert (deque->leftblock != deque->rightblock ||
+                deque->leftindex + m < deque->rightindex + 1);
         memcpy(&deque->rightblock->data[deque->rightindex + 1],
                &deque->leftblock->data[deque->leftindex],
                m * sizeof(PyObject *));