python
diff --git a/‎Lib/test/test_compile.py
Lines changed: 18 additions & 0 deletions b/‎Lib/test/test_compile.py
Lines changed: 18 additions & 0 deletions
diff --git a/‎Python/compile.c
Lines changed: 6 additions & 0 deletions b/‎Python/compile.c
Lines changed: 6 additions & 0 deletions
diff --git a/‎Python/importlib.h
Lines changed: 1 addition & 1 deletion b/‎Python/importlib.h
Lines changed: 1 addition & 1 deletion
diff --git a/‎Python/importlib_external.h
Lines changed: 3 additions & 3 deletions b/‎Python/importlib_external.h
Lines changed: 3 additions & 3 deletions
@@ -809,6 +809,24 @@ def save_caller_frame():
                 func(save_caller_frame)
                 self.assertEqual(frame.f_lineno-frame.f_code.co_firstlineno, lastline)
 
+    def test_lineno_after_no_code(self):
+        def no_code1():
+            "doc string"
+
+        def no_code2():
+            a: int
+
+        for func in (no_code1, no_code2):
+            with self.subTest(func=func):
+                code = func.__code__
+                lines = list(code.co_lines())
+                self.assertEqual(len(lines), 1)
+                start, end, line = lines[0]
+                self.assertEqual(start, 0)
+                self.assertEqual(end, len(code.co_code))
+                self.assertEqual(line, code.co_firstlineno)
+
+
     def test_big_dict_literal(self):
         # The compiler has a flushing point in "compiler_dict" that calls compiles
         # a portion of the dictionary literal when the loop that iterates over the items
 
@@ -6514,6 +6514,7 @@ is_exit_without_lineno(basicblock *b) {
 static int
 ensure_exits_have_lineno(struct compiler *c)
 {
+    basicblock *entry = NULL;
     /* Copy all exit blocks without line number that are targets of a jump.
      */
     for (basicblock *b = c->u->u_blocks; b != NULL; b = b->b_list) {
@@ -6535,6 +6536,11 @@ ensure_exits_have_lineno(struct compiler *c)
                 b->b_instr[b->b_iused-1].i_target = new_target;
             }
         }
+        entry = b;
+    }
+    assert(entry != NULL);
+    if (is_exit_without_lineno(entry)) {
+        entry->b_instr[0].i_lineno = c->u->u_firstlineno;
     }
     /* Any remaining reachable exit blocks without line number can only be reached by
      * fall through, and thus can only have a single predecessor */
Original file line number	Diff line number	Diff line change
`@@ -6514,6 +6514,7 @@ is_exit_without_lineno(basicblock *b) {`
`6514`	`6514`	`static int`
`6515`	`6515`	`ensure_exits_have_lineno(struct compiler *c)`
`6516`	`6516`	`{`
	`6517`	`+ basicblock *entry = NULL;`
`6517`	`6518`	`/* Copy all exit blocks without line number that are targets of a jump.`
`6518`	`6519`	`*/`
`6519`	`6520`	`for (basicblock *b = c->u->u_blocks; b != NULL; b = b->b_list) {`
`@@ -6535,6 +6536,11 @@ ensure_exits_have_lineno(struct compiler *c)`
`6535`	`6536`	`b->b_instr[b->b_iused-1].i_target = new_target;`
`6536`	`6537`	`}`
`6537`	`6538`	`}`
	`6539`	`+ entry = b;`
	`6540`	`+ }`
	`6541`	`+ assert(entry != NULL);`
	`6542`	`+ if (is_exit_without_lineno(entry)) {`
	`6543`	`+ entry->b_instr[0].i_lineno = c->u->u_firstlineno;`
`6538`	`6544`	`}`
`6539`	`6545`	`/* Any remaining reachable exit blocks without line number can only be reached by`
`6540`	`6546`	`* fall through, and thus can only have a single predecessor */`