New submission from Mark Shannon <m...@hotpy.org>:
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. ---------- assignee: Mark.Shannon messages: 380911 nosy: BTaskaya, Mark.Shannon, pablogsal, yselivanov priority: normal severity: normal status: open title: Compiler front-end produces a broken CFG type: behavior _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue42349> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
