Commit

Author: StanFromIreland

Lib/test/test_range.py

@@ -584,11 +584,14 @@ def check(start, stop, step=None):
             check(0, -1)
             check(-1, -3, -1)
 
-        for test in (range(5), range(0), range(1, 10, 2), range(10, 0, -1)):
+        for test in (range(5), range(0), range(1, 10, 2), range(10, 0, -1), range(-1, 200, 1)):
             with self.subTest(test=test):
                 self.assertIs(test, test[:])
+                self.assertIs(test, test[:len(test):])
+                self.assertIs(test, test[0:len(test):1])
 
                 if len(test) > 1:
+                    self.assertIsNot(test, test[1:len(test):2])
                     self.assertIsNot(test, test[1:])
                     self.assertIsNot(test, test[:-1])
 

Misc/NEWS.d/next/Core_and_Builtins/2025-10-04-14-06-40.gh-issue-139476.02iIfn.rst

@@ -1,2 +1,2 @@
-:func:`range` slicing with ``[:]`` no longer creates a copy, it now returns
-the same object, consistent with :func:`copy.copy`.
+:func:`range` slicing with ``[:]`` and ``[:len(r):]`` no longer creates a copy,
+it now returns the same object, consistent with :func:`copy.copy`.

Objects/rangeobject.c

@@ -409,14 +409,17 @@ compute_slice(rangeobject *r, PyObject *_slice)
     PyObject *substart = NULL, *substop = NULL, *substep = NULL;
     int error;
 
-    if (slice->start == Py_None && slice->stop == Py_None && slice->step == Py_None) {
-        return Py_NewRef(r);
-    }
-
     error = _PySlice_GetLongIndices(slice, r->length, &start, &stop, &step);
     if (error == -1)
         return NULL;
 
+    if (start == _PyLong_GetZero()
+        && step == _PyLong_GetOne()
+        && (slice->stop == Py_None || PyObject_RichCompareBool(stop, r->length, Py_EQ) == 1))
+    {
+        return Py_NewRef(r);
+    }
+
     substep = PyNumber_Multiply(r->step, step);
     if (substep == NULL) goto fail;
     Py_CLEAR(step);