Function replaceGeneratorFor

src/ast/ast_generate.cpp:1433–1723

    }

    ExpressionPtr replaceGeneratorFor ( ExprFor * expr, const FunctionPtr & func ) {
        auto begin_loop_label = func->totalGenLabel ++;
        auto mid_loop_label = func->totalGenLabel ++;
        auto end_loop_label = func->totalGenLabel ++;
        ExprFor * forCopy = nullptr;
        ExprBlock * bodyBlock = nullptr;
        const bool hasFinally = expr->body->rtti_isBlock() &&
                                !static_cast<ExprBlock*>(expr->body)->finalList.empty();
        string breakFlag, returnFlag, returnValueName;
        bool hasReturn = false;
        if ( hasFinally ) {
            breakFlag = "__broke_for_" + to_string(expr->at.line) + "_" + to_string(expr->at.column);
            hasReturn = bodyHasTopLevelReturn(expr->body);
            if ( hasReturn ) {
                returnFlag = "__returning_for_" + to_string(expr->at.line) + "_" + to_string(expr->at.column);
                returnValueName = "__return_value_for_" + to_string(expr->at.line) + "_" + to_string(expr->at.column);
            }
        }
        if ( expr->body->rtti_isBlock() ) {
            forCopy = static_cast<ExprFor*>(expr->clone());
            bodyBlock = static_cast<ExprBlock*>(forCopy->body);
            giveBlockVariablesUniqueNames(forCopy);
            if ( hasFinally ) {
                // break -> set flag, goto mid (finally runs, flag check -> end, iterator_close runs)
                // continue -> mid (finally runs, advances iterator, re-checks)
                // return -> spill value, set flag, goto mid (finally runs, then real return)
                replaceBreakContinueAndReturn(bodyBlock, mid_loop_label, mid_loop_label, breakFlag,
                                              mid_loop_label, returnFlag, returnValueName);
            } else {
                replaceBreakAndContinue(bodyBlock, end_loop_label, mid_loop_label);
            }
            expr = forCopy;
        }
        auto blk = new ExprBlock();
        blk->at = expr->at;
        blk->isCollapseable = true;
        auto gtel = new ExprGoto(expr->at, end_loop_label);
        auto btel = new ExprBlock();
        btel->at = expr->at;
        btel->list.push_back(gtel);
        // names
        string loopVar = "_loop_at_" + to_string(expr->at.line) + "_" + to_string(expr->at.column);
        vector<string> srcNames, pVarNames;
        for ( size_t si=0, sis=expr->sources.size(); si!=sis; ++si ) {
            srcNames.push_back("_source_" + to_string(si) + "_at_" + to_string(expr->at.line) + "_" + to_string(expr->at.column));
            pVarNames.push_back("_pvar_" + to_string(si) + "_at_" + to_string(expr->at.line) + "_" + to_string(expr->at.column));
        }
        auto leqt = new ExprLet();
        leqt->at = expr->at;
        leqt->atInit = expr->at;
        leqt->visibility = expr->visibility;
        auto lvar = new Variable();
        lvar->generated = true;
        lvar->at = expr->at;
        lvar->name = loopVar;
        lvar->type = new TypeDecl(Type::tBool);
        lvar->init = new ExprConstBool(expr->at, true);
        leqt->variables.push_back(lvar);