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