From: Tian Gao <gaogaotiantian@hotmail.com>
Date: Fri, 28 Apr 2023 20:25:48 +0000 (-0700)
Subject: GH-103971: Forward-port test from GH-103980 (GH-103984)
X-Git-Tag: v3.12.0b1~370
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=79b9db9295a5a1607a0b4b10a8b4b72567eaf1ef;p=thirdparty%2FPython%2Fcpython.git

GH-103971: Forward-port test from GH-103980 (GH-103984)
---

diff --git a/Lib/test/test_patma.py b/Lib/test/test_patma.py
index 0ed54079c99b..3dbd19dfffd3 100644
--- a/Lib/test/test_patma.py
+++ b/Lib/test/test_patma.py
@@ -3165,6 +3165,19 @@ class TestTracing(unittest.TestCase):
         self.assertListEqual(self._trace(f, "go x"), [1, 2, 3])
         self.assertListEqual(self._trace(f, "spam"), [1, 2, 3])
 
+    def test_unreachable_code(self):
+        def f(command):               # 0
+            match command:            # 1
+                case 1:               # 2
+                    if False:         # 3
+                        return 1      # 4
+                case _:               # 5
+                    if False:         # 6
+                        return 0      # 7
+
+        self.assertListEqual(self._trace(f, 1), [1, 2, 3])
+        self.assertListEqual(self._trace(f, 0), [1, 2, 5, 6])
+
     def test_parser_deeply_nested_patterns(self):
         # Deeply nested patterns can cause exponential backtracking when parsing.
         # See gh-93671 for more information.