[3.13] gh-134163: fix: exec('_testcapi.set_nomemory(0)') hang in new repl 3.13

Lib/test/test_repl.py

@@ -98,6 +98,45 @@ def test_no_memory(self):
         # Exit code 120: Py_FinalizeEx() failed to flush stdout and stderr.
         self.assertIn(p.returncode, (1, 120))
 
+    @cpython_only
+    def test_exec_set_nomemory_hang(self):
+        # gh-134163 Test case that triggers no memory hang condition
+        user_input = dedent("""
+            a1 = list(range(1000, 2000))
+            a2 = list(range(1000, 2000))
+            a3 = list(range(1000, 2000))
+            a4 = list(range(1000, 2000))
+            a5 = list(range(1000, 2000))
+            a6 = list(range(1000, 2000))
+            a7 = list(range(1000, 2000))
+            a8 = list(range(1000, 2000))
+            a9 = list(range(1000, 2000))
+            a10 = list(range(1000, 2000))
+            a11 = list(range(1000, 2000))
+            a12 = list(range(1000, 2000))
+            a13 = list(range(1000, 2000))
+            a14 = list(range(1000, 2000))
+            try:
+                import _testcapi
+                _testcapi.set_nomemory(0)
+                b = list(range(1000, 2000))
+            except Exception as e:
+                import traceback
+                traceback.print_exc()
+            """)
+        p = spawn_repl()
+        with SuppressCrashReport():
+            p.stdin.write(user_input)
+        output = kill_python(p)
+
+        self.assertIn(p.returncode, (0, 1, 120))
+        # The key test is that it doesn't hang - if we get output, the test passed
+        # Look for either successful execution or memory error indicators
+        has_traceback = "Traceback" in output
+        has_memory_error = "MemoryError" in output
+        # Either we get a traceback (expected) or we complete without hanging
+        self.assertTrue(len(output) > 0, f"Expected some output, got: {output}")  # At minimum, should not hang
+
     @cpython_only
     def test_multiline_string_parsing(self):
         # bpo-39209: Multiline string tokens need to be handled in the tokenizer

Misc/NEWS.d/next/Core_and_Builtins/2025-09-04-11-52-23.gh-issue-134163.EqKyn8.rst

@@ -0,0 +1 @@
+fix in default repl exec('_testcapi.set_nomemory(0)') hang forever.

Python/ceval.c

@@ -912,7 +912,13 @@ _PyEval_EvalFrameDefault(PyThreadState *tstate, _PyInterpreterFrame *frame, int
                 int frame_lasti = _PyInterpreterFrame_LASTI(frame);
                 PyObject *lasti = PyLong_FromLong(frame_lasti);
                 if (lasti == NULL) {
-                    goto exception_unwind;
+                    // gh-134163: If we can't allocate memory for lasti during exception handling,
+                    // this likely means we're in a severe memory shortage situation.
+                    // Instead of going back to exception_unwind (which would cause
+                    // infinite recursion), directly exit to let the original exception
+                    // propagate up and hopefully be handled at a higher level.
+                    _PyFrame_SetStackPointer(frame, stack_pointer);
+                    goto exit_unwind;
                 }
                 PUSH(lasti);
             }