https://github.com/python/cpython/commit/2d3381035df24fbf512d897daa19a1040f7af3fd
commit: 2d3381035df24fbf512d897daa19a1040f7af3fd
branch: main
author: Stan Ulbrych <[email protected]>
committer: StanFromIreland <[email protected]>
date: 2026-06-11T10:16:27+01:00
summary:
gh-151112: Move an `assert` that may fail in `cfg_builder_check` (#151153)
files:
M Python/flowgraph.c
diff --git a/Python/flowgraph.c b/Python/flowgraph.c
index 324a4fc1f10a68e..f135f243c74e2f6 100644
--- a/Python/flowgraph.c
+++ b/Python/flowgraph.c
@@ -404,7 +404,6 @@ cfg_builder_maybe_start_new_block(cfg_builder *g)
static bool
cfg_builder_check(cfg_builder *g)
{
- assert(g->g_entryblock->b_iused > 0);
for (basicblock *block = g->g_block_list; block != NULL; block =
block->b_list) {
assert(!_PyMem_IsPtrFreed(block));
if (block->b_instr != NULL) {
@@ -3762,6 +3761,7 @@ _PyCfg_OptimizeCodeUnit(cfg_builder *g, PyObject *consts,
PyObject *const_cache,
int nlocals, int nparams, int firstlineno)
{
assert(cfg_builder_check(g));
+ assert(g->g_entryblock->b_iused > 0);
/** Preprocessing **/
/* Map labels to targets and mark exception handlers */
RETURN_IF_ERROR(translate_jump_labels_to_targets(g->g_entryblock));
_______________________________________________
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]
