Function replaceGeneratorWhile

src/ast/ast_generate.cpp:1290–1426

    }

    ExpressionPtr replaceGeneratorWhile ( ExprWhile * expr, const FunctionPtr & func ) {
        auto begin_loop_label = func->totalGenLabel ++;
        auto iter_end_loop_label = func->totalGenLabel ++;
        auto end_loop_label = func->totalGenLabel ++;
        ExprBlock * bodyBlock = nullptr;
        const bool hasFinally = expr->body->rtti_isBlock() &&
                                !static_cast<ExprBlock*>(expr->body)->finalList.empty();
        // only introduce __broke / __returning flags when body has a finally —
        // otherwise classic break -> end, and return just exits the enclosing function
        string breakFlag, returnFlag, returnValueName;
        bool hasReturn = false;
        if ( hasFinally ) {
            breakFlag = "__broke_while_" + to_string(expr->at.line) + "_" + to_string(expr->at.column);
            hasReturn = bodyHasTopLevelReturn(expr->body);
            if ( hasReturn ) {
                returnFlag = "__returning_while_" + to_string(expr->at.line) + "_" + to_string(expr->at.column);
                returnValueName = "__return_value_while_" + to_string(expr->at.line) + "_" + to_string(expr->at.column);
            }
        }
        if ( expr->body->rtti_isBlock() ) {
            bodyBlock = static_cast<ExprBlock*>(expr->body->clone());
            giveBlockVariablesUniqueNames(bodyBlock);
            if ( hasFinally ) {
                // break -> set flag, goto iter_end (runs finally, then exits via flag check)
                // continue -> iter_end (runs finally, flag=false, loops back)
                // return -> spill value, set flag, goto iter_end (runs finally, then real return)
                replaceBreakContinueAndReturn(bodyBlock, iter_end_loop_label, iter_end_loop_label, breakFlag,
                                              iter_end_loop_label, returnFlag, returnValueName);
            } else {
                replaceBreakAndContinue(bodyBlock, end_loop_label, begin_loop_label);
            }
        }
        auto blk = new ExprBlock();
        blk->at = expr->at;
        blk->isCollapseable = true;
        // __broke = false  (only when finally present)
        if ( hasFinally ) {
            auto leqt = new ExprLet();
            leqt->at = expr->at;
            leqt->atInit = expr->at;
            leqt->visibility = expr->at;
            auto bvar = new Variable();
            bvar->generated = true;
            bvar->at = expr->at;
            bvar->name = breakFlag;
            bvar->type = new TypeDecl(Type::tBool);
            bvar->init = new ExprConstBool(expr->at, false);
            leqt->variables.push_back(bvar);
            blk->list.push_back(leqt);
        }
        // __returning = false; __return_value : <func->result>  (only when body has return)
        if ( hasReturn ) {
            auto leqt = new ExprLet();
            leqt->at = expr->at;
            leqt->atInit = expr->at;
            leqt->visibility = expr->at;
            auto rvar = new Variable();
            rvar->generated = true;