Mark Shannon <m...@hotpy.org> added the comment:
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? ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue42696> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com