Method preVisitLet

src/ast/ast_allocate_stack.cpp:551–599

ExprLet

        }
    // ExprLet
        virtual void preVisitLet ( ExprLet * expr, const VariablePtr & var, bool last ) override {
            Visitor::preVisitLet(expr,var,last);
            if ( inStruct ) return;
            uint32_t sz = var->type->ref ? sizeof(void *) : var->type->getSizeOf();
            if ( var->aliasCMRES ) {
                if ( log ) {
                    logs << "\tCR\t" << sz
                        << "\tlet " << var->name << ", line " << var->at.line << "\n";
                }
            } else {
                var->stackTop = allocateStack(sz);
                if ( log ) {
                    logs << "\t" << var->stackTop << "\t" << sz
                        << "\tlet " << var->name << ", line " << var->at.line << "\n";
                    if ( log_var_scope ) {
                        logs <<"\t\t\t\t" << expr->visibility.describe(true) << "\n";
                    }
                }
            }
            for ( auto blk=scopes.rbegin(), blks=scopes.rend(); blk!=blks; ++blk ) {
                auto pblock = *blk;
                pblock->stackCleanVars.push_back(make_pair(var->stackTop, var->type->ref ? int(sizeof(void *)) : var->type->getSizeOf()));
                if ( pblock->isClosure ) break;
            }
            if ( var->init ) {
                if ( var->init->rtti_isMakeLocal() ) {
                    auto mkl = static_cast<ExprMakeLocal*>(var->init);
                    mkl->setRefSp(false, var->aliasCMRES, var->stackTop, 0);
                    mkl->doesNotNeedInit = false;
                } else if ( var->init->rtti_isCall() ) {
                    auto cll = static_cast<ExprCall*>(var->init);
                    if ( (cll->func->copyOnReturn || cll->func->moveOnReturn) && !cll->func->aliasCMRES ) { // note: let never aliases!!!
                        cll->doesNotNeedSp = true;
                    } else {
                        cll->doesNotNeedSp = false;
                    }
                } else if ( var->init->rtti_isInvoke() ) {
                    auto cll = static_cast<ExprInvoke*>(var->init);
                    if ( cll->isCopyOrMove() ) {
                        cll->doesNotNeedSp = true;
                    } else {
                        cll->doesNotNeedSp = false;
                    }
                }
            }
            if (!var->type->ref && var->type->baseType != Type::tBlock) {
                pushSp(); // Free everything allocated to init let (not let itself)
            }
        }
        virtual VariablePtr visitLet ( ExprLet * /*expr*/, const VariablePtr & var, bool /*last*/ ) override {
            if (!inStruct && !var->type->ref && var->type->baseType != Type::tBlock) {
                popSp();