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 BTaskaya, Mark.Shannon, pablogsal, yselivanov
Date 2020-11-13.17:23:56
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <>
The front-end of the bytecode compiler produces a broken CFG.
A number of "basic-block"s have terminators before their end.
This makes the back-end optimizations unsafe as they rely of a well-formed CFG.

The fix is simple. Insert a check that the CFG is well-formed before doing any optimizations, then fix up the front-end.

Once done, we can be more aggressive with optimizations without worrying that things will break for no apparent reason.
Date User Action Args
2020-11-13 17:23:56Mark.Shannonsetrecipients: + Mark.Shannon, yselivanov, pablogsal, BTaskaya
2020-11-13 17:23:56Mark.Shannonsetmessageid: <>
2020-11-13 17:23:56Mark.Shannonlinkissue42349 messages
2020-11-13 17:23:56Mark.Shannoncreate