➜

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 Mark.Shannon
Recipients Mark.Shannon, nedbat, rhettinger
Date 2020-12-21.11:45:14
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1608551114.73.0.834864457564.issue42696@roundup.psfhosted.org>
In-reply-to
Content 
Our reachability analysis is correct (in this case at least).
There is no unreachable code here.

In theory we could merge the two basic blocks at the end, but searching for identical blocks and merging them is potentially quite expensive (and fiddly).

What might be better is to be change the order of optimizations, so that we duplicate BBs after we have performed jump-to-jump elimination.

Is this a problem in practice?
History
Date User Action Args
2020-12-21 11:45:14Mark.Shannonsetrecipients: + Mark.Shannon, rhettinger, nedbat
2020-12-21 11:45:14Mark.Shannonsetmessageid: <1608551114.73.0.834864457564.issue42696@roundup.psfhosted.org>
2020-12-21 11:45:14Mark.Shannonlinkissue42696 messages
2020-12-21 11:45:14Mark.Shannoncreate