[issue42349] Compiler front-end produces a broken CFG

[Dennis Sweeney]

Dennis Sweeney <sweeney.dennis650 at gmail.com> added the comment:

>From https://devguide.python.org/compiler/#source-code-to-ast:

> Basic blocks themselves are a block of IR that has a single entry point but possibly multiple exit points.

In particular, compile.c's label_exception_targets has the assertion (`assert(i == b->b_iused -1);`) that jumps only occur as the last instruction of a block.

Does the devguide need updating, or do I have a misunderstanding?

----------
nosy: +Dennis Sweeney

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue42349>
_______________________________________