python
diff --git a/‎Lib/test/test_patma.py‎
Lines changed: 19 additions & 0 deletions b/‎Lib/test/test_patma.py‎
Lines changed: 19 additions & 0 deletions
diff --git a/‎Misc/NEWS.d/next/Core and Builtins/2024-08-20-11-09-16.gh-issue-123048.2TISpv.rst‎
Lines changed: 2 additions & 0 deletions b/‎Misc/NEWS.d/next/Core and Builtins/2024-08-20-11-09-16.gh-issue-123048.2TISpv.rst‎
Lines changed: 2 additions & 0 deletions
diff --git a/‎Python/compile.c‎
Lines changed: 1 addition & 1 deletion b/‎Python/compile.c‎
Lines changed: 1 addition & 1 deletion
@@ -1,6 +1,7 @@
 import array
 import collections
 import dataclasses
+import dis
 import enum
 import inspect
 import sys
@@ -3377,6 +3378,24 @@ class Keys:
         self.assertIs(y, None)
         self.assertIs(z, None)
 
+class TestSourceLocations(unittest.TestCase):
+    def test_jump_threading(self):
+        # See gh-123048
+        def f():
+            x = 0
+            v = 1
+            match v:
+                case 1:
+                    if x < 0:
+                        x = 1
+                case 2:
+                    if x < 0:
+                        x = 1
+            x += 1
+
+        for inst in dis.get_instructions(f):
+            if inst.opcode in dis.hasjump:
+                self.assertIsNotNone(inst.positions.lineno, "jump without location")
 
 class TestTracing(unittest.TestCase):
 
 
@@ -0,0 +1,2 @@
+Fix a bug where pattern matching code could emit a :opcode:`JUMP_FORWARD`
+with no source location.
@@ -7301,7 +7301,7 @@ codegen_match_inner(struct compiler *c, stmt_ty s, pattern_context *pc)
             ADDOP(c, LOC(m->pattern), POP_TOP);
         }
         VISIT_SEQ(c, stmt, m->body);
-        ADDOP_JUMP(c, NO_LOCATION, JUMP_NO_INTERRUPT, end);
+        ADDOP_JUMP(c, NO_LOCATION, JUMP, end);
         // If the pattern fails to match, we want the line number of the
         // cleanup to be associated with the failed pattern, not the last line
         // of the body
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	+Fix a bug where pattern matching code could emit a :opcode:`JUMP_FORWARD`
	`2`	`+with no source location.`
Original file line number	Diff line number	Diff line change
`@@ -7301,7 +7301,7 @@ codegen_match_inner(struct compiler c, stmt_ty s, pattern_context pc)`
`7301`	`7301`	`ADDOP(c, LOC(m->pattern), POP_TOP);`
`7302`	`7302`	`}`
`7303`	`7303`	`VISIT_SEQ(c, stmt, m->body);`
`7304`		`- ADDOP_JUMP(c, NO_LOCATION, JUMP_NO_INTERRUPT, end);`
	`7304`	`+ ADDOP_JUMP(c, NO_LOCATION, JUMP, end);`
`7305`	`7305`	`// If the pattern fails to match, we want the line number of the`
`7306`	`7306`	`// cleanup to be associated with the failed pattern, not the last line`
`7307`	`7307`	`// of the body`