[Python-checkins] GH-125515: Mark code after "return" as unreachable in the cases generator (#133178)

[freakboy3742]

https://github.com/python/cpython/commit/b329096cfbebb60e0f5c3ea0a300f650d2004200
commit: b329096cfbebb60e0f5c3ea0a300f650d2004200
branch: main
author: Brandt Bucher <brandtbuc...@microsoft.com>
committer: freakboy3742 <russ...@keith-magee.com>
date: 2025-04-30T00:21:14Z
summary:

GH-125515: Mark code after "return" as unreachable in the cases generator 
(#133178)

Mark code after "return" as unreachable

files:
M Python/generated_cases.c.h
M Tools/cases_generator/generators_common.py

diff --git a/Python/generated_cases.c.h b/Python/generated_cases.c.h
index 7d3e6c7cbc9eab..88ab86a774f0ff 100644
--- a/Python/generated_cases.c.h
+++ b/Python/generated_cases.c.h
@@ -7464,9 +7464,6 @@
             PyObject *result = PyStackRef_AsPyObjectSteal(retval);
             LLTRACE_RESUME_FRAME();
             return result;
-            stack_pointer += -1;
-            assert(WITHIN_STACK_BOUNDS());
-            DISPATCH();
         }
 
         TARGET(IS_OP) {
diff --git a/Tools/cases_generator/generators_common.py 
b/Tools/cases_generator/generators_common.py
index 9ba0767cba35a0..9d87dc33f269fd 100644
--- a/Tools/cases_generator/generators_common.py
+++ b/Tools/cases_generator/generators_common.py
@@ -492,6 +492,11 @@ def emit_SimpleStmt(
                     label_tkn = next(tkn_iter)
                     self.goto_label(tkn, label_tkn, storage)
                     reachable = False
+                elif tkn.kind == "RETURN":
+                    self.emit(tkn)
+                    semicolon = emit_to(self.out, tkn_iter, "SEMI")
+                    self.emit(semicolon)
+                    reachable = False
                 elif tkn.kind == "IDENTIFIER":
                     if tkn.text in self._replacers:
                         if not self._replacers[tkn.text](tkn, tkn_iter, uop, 
storage, inst):

_______________________________________________
Python-checkins mailing list -- python-checkins@python.org
To unsubscribe send an email to python-checkins-le...@python.org
https://mail.python.org/mailman3/lists/python-checkins.python.org/
Member address: arch...@mail-archive.com