https://github.com/python/cpython/commit/cebc6f51ee14dbeb90277f479e2293ae1ee64ccc
commit: cebc6f51ee14dbeb90277f479e2293ae1ee64ccc
branch: 3.13
author: Irit Katriel <[email protected]>
committer: Yhg1s <[email protected]>
date: 2024-09-29T17:53:47-07:00
summary:

[3.13] gh-124746: remove assertion on exits having line numbers (#124762)

gh-124746: remove assertion in 3.13

files:
M Python/flowgraph.c

diff --git a/Python/flowgraph.c b/Python/flowgraph.c
index b8d3f066d18540..d12b602e710094 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;
 }

_______________________________________________
Python-checkins mailing list -- [email protected]
To unsubscribe send an email to [email protected]
https://mail.python.org/mailman3/lists/python-checkins.python.org/
Member address: [email protected]

Reply via email to