This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author OmG
Recipients OmG
Date 2020-12-10.16:47:12
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1607618833.17.0.897209602583.issue42615@roundup.psfhosted.org>
In-reply-to
Content
During optimization, the compiler deletes blocks that are marked as unreachable. In doing so, it can render jump instructions that used to jump over the now-deleted blocks redundant, since simply falling through to the next non-empty block is now equivalent.

An example of a place where this occurs is around "if condition: statement; else: break" style structures (see attached proof of concept code below), but this is a general case and could occur in other places.

Tested on the latest 3.10 branch including all recent compile.c changes.
History
Date User Action Args
2020-12-10 16:47:13OmGsetrecipients: + OmG
2020-12-10 16:47:13OmGsetmessageid: <1607618833.17.0.897209602583.issue42615@roundup.psfhosted.org>
2020-12-10 16:47:13OmGlinkissue42615 messages
2020-12-10 16:47:12OmGcreate