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:09:32
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1608548972.46.0.262900837402.issue42696@roundup.psfhosted.org>
In-reply-to
Content
My guess is that we are changing the CFG after computing reachability leaving unreachable blocks marked as reachable.
History
Date User Action Args
2020-12-21 11:09:32Mark.Shannonsetrecipients: + Mark.Shannon, rhettinger, nedbat
2020-12-21 11:09:32Mark.Shannonsetmessageid: <1608548972.46.0.262900837402.issue42696@roundup.psfhosted.org>
2020-12-21 11:09:32Mark.Shannonlinkissue42696 messages
2020-12-21 11:09:32Mark.Shannoncreate