From cebc6f51ee14dbeb90277f479e2293ae1ee64ccc Mon Sep 17 00:00:00 2001
From: Irit Katriel <1055913+iritkatriel@users.noreply.github.com>
Date: Mon, 30 Sep 2024 01:53:47 +0100
Subject: [PATCH] [3.13] gh-124746: remove assertion on exits having line
 numbers (#124762)

gh-124746: remove assertion in 3.13
---
 Python/flowgraph.c | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/Python/flowgraph.c b/Python/flowgraph.c
index b8d3f066d18..d12b602e710 100644
--- a/Python/flowgraph.c
+++ b/Python/flowgraph.c
@@ -518,21 +518,6 @@ no_redundant_jumps(cfg_builder *g) {
     return true;
 }
 
-static bool
-all_exits_have_lineno(basicblock *entryblock) {
-    for (basicblock *b = entryblock; b != NULL; b = b->b_next) {
-        for (int i = 0; i < b->b_iused; i++) {
-            cfg_instr *instr = &b->b_instr[i];
-            if (instr->i_opcode == RETURN_VALUE) {
-                if (instr->i_loc.lineno < 0) {
-                    assert(0);
-                    return false;
-                }
-            }
-        }
-    }
-    return true;
-}
 #endif
 
 /***** CFG preprocessing (jump targets and exceptions) *****/
@@ -2500,7 +2485,6 @@ _PyCfg_OptimizeCodeUnit(cfg_builder *g, PyObject *consts, PyObject *const_cache,
     RETURN_IF_ERROR(insert_superinstructions(g));
 
     RETURN_IF_ERROR(push_cold_blocks_to_end(g));
-    assert(all_exits_have_lineno(g->g_entryblock));
     RETURN_IF_ERROR(resolve_line_numbers(g, firstlineno));
     return SUCCESS;
 }