PyCPython

s: Whenever there was some goto in a function, it would translate it as follows: First, we flatten any Python AST into a series of statements, with even more goto's added for while/for loops, if's, etc. (We can avoid doing this for all sub-ASTs where there are no no goto-labels. The goal is to have all goto-labels at the top-level, not inside a sub-AST.) Only conditional goto's can stay. All Gotos and Goto-labels are marked somehow as special elements. So, we end up with sth like: x() y() <goto-label "a"> z() <goto-stmnt "a"> w() if v(): <goto-stmnt "a"> q() Now, we can implement the goto-handling based on this flattened code: - Add a big endless loop around it. After the final statement, a break would leave the loop. - Before the loop, we add the statement `goto = None`. - The goto-labels will split the code into multiple part, where we add some `if goto is None:` before each part (excluding the goto-labels). - For the goto-labels itself, we add this code: if goto == <goto-label>: goto = None - For every goto-statement, we add this code: goto = <goto-stmnt>; continue See here: https://github.com/albertz/PyCParser/blob/master/goto.py