check for overflow in combinations_with_replacement (closes #23365)

diff --git a/Lib/test/test_itertools.py b/Lib/test/test_itertools.py
index cbb1b9266d1e435ce2a8e1bde887e1b68793023d..9cd3ad8c0c112485e48e5a1ca50dd9363da3a43b 100644 (file)
--- a/Lib/test/test_itertools.py
+++ b/Lib/test/test_itertools.py
@@ -213,6 +213,11 @@ class TestBasicOps(unittest.TestCase):
                 self.assertEqual(result, list(cwr1(values, r)))         # matches first pure python version
                 self.assertEqual(result, list(cwr2(values, r)))         # matches second pure python version
 
+    @test_support.bigaddrspacetest
+    def test_combinations_with_replacement_overflow(self):
+        with self.assertRaises(OverflowError):
+            combinations_with_replacement("AA", 2**30)
+
     @test_support.impl_detail("tuple reuse is specific to CPython")
     def test_combinations_with_replacement_tuple_reuse(self):
         cwr = combinations_with_replacement

diff --git a/Misc/NEWS b/Misc/NEWS
index 87a1d9f72081c8599a04236eaf520928b4575553..b213a29f9ee4ff07c8de60bd0f112bcc1d6008cb 100644 (file)
--- a/Misc/NEWS
+++ b/Misc/NEWS
@@ -18,6 +18,9 @@ Core and Builtins
 Library
 -------
 
+- Issue #23365: Fixed possible integer overflow in
+  itertools.combinations_with_replacement.
+
 - Issue #23366: Fixed possible integer overflow in itertools.combinations.
 
 - Issue #23191: fnmatch functions that use caching are now threadsafe.

diff --git a/Modules/itertoolsmodule.c b/Modules/itertoolsmodule.c
index 4eab79ce748d037b97c1116a556dcace64bc8584..47a5e8bcb0a316094e4e3a6516d119d5a0cb392c 100644 (file)
--- a/Modules/itertoolsmodule.c
+++ b/Modules/itertoolsmodule.c
@@ -2346,6 +2346,10 @@ cwr_new(PyTypeObject *type, PyObject *args, PyObject *kwds)
         goto error;
     }
 
+    if (r > PY_SSIZE_T_MAX/sizeof(Py_ssize_t)) {
+        PyErr_SetString(PyExc_OverflowError, "r is too big");
+        goto error;
+    }
     indices = PyMem_Malloc(r * sizeof(Py_ssize_t));
     if (indices == NULL) {
         PyErr_NoMemory();