From: Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com>
Date: Thu, 11 Jun 2026 09:42:53 +0000 (+0200)
Subject: [3.14] gh-151112: Move an `assert` that may fail in `cfg_builder_check` (GH-151153)
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=435af7f42b6eb4323b8cfc6b9e58c8205a633d64;p=thirdparty%2FPython%2Fcpython.git

[3.14] gh-151112: Move an `assert` that may fail in `cfg_builder_check` (GH-151153)

(cherry picked from commit 2d3381035df24fbf512d897daa19a1040f7af3fd)

Co-authored-by: Stan Ulbrych <stan@python.org>
---

diff --git a/Python/flowgraph.c b/Python/flowgraph.c
index 2d710898913b..5557f72fabac 100644
--- a/Python/flowgraph.c
+++ b/Python/flowgraph.c
@@ -392,7 +392,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) {
@@ -3662,6 +3661,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));