Method InsertMethodBody

CodeGenerator.cpp:1635–1696

//-----------------------------------------------------------------------------

void CodeGenerator::InsertMethodBody(const FunctionDecl* stmt, const size_t posBeforeFunc)
{
    auto IsPrimaryTemplate = [&] {
        // For now, don't transform the primary template of a coroutine
        if(const auto* cxxMethod = dyn_cast_or_null<CXXMethodDecl>(stmt)) {
            if(const auto* tmpl = cxxMethod->getParent()->getDescribedClassTemplate();
               tmpl and not isa<ClassTemplateSpecializationDecl>(cxxMethod->getParent())) {
                return true;
            }
        }

        return (FunctionDecl::TK_FunctionTemplate == stmt->getTemplatedKind()) or
               (ProcessingPrimaryTemplate::Yes == mProcessingPrimaryTemplate);
    };

    if(stmt->doesThisDeclarationHaveABody()) {
        mOutputFormatHelper.AppendNewLine();

        // If this function has a CoroutineBodyStmt as direct descend and coroutine transformation is enabled use
        // the \c CoroutinesCodeGenerator, otherwise insert the body as usual.
        if(const auto* corBody = dyn_cast_or_null<CoroutineBodyStmt>(stmt->getBody());
           (nullptr != corBody) and not IsPrimaryTemplate() and GetInsightsOptions().ShowCoroutineTransformation) {

            CoroutinesCodeGenerator codeGenerator{mOutputFormatHelper, posBeforeFunc};
            codeGenerator.InsertCoroutine(*stmt, corBody);
        } else {
            const auto exSpec = stmt->getExceptionSpecType();
            const bool showNoexcept =
                GetInsightsOptions().UseShowNoexcept and is{exSpec}.any_of(EST_BasicNoexcept, EST_NoexceptTrue);

            // handle C++ [basic.start.main] §5: main can have no return statement
            if(stmt->hasImplicitReturnZero()) {
                mRequiresImplicitReturnZero = ranges::none_of(dyn_cast<CompoundStmt>(stmt->getBody())->body(),
                                                              [](const Stmt* e) { return isa<ReturnStmt>(e); });
            }

            const auto* body = stmt->getBody();

            if(showNoexcept) {
                EnableGlobalInsert(GlobalInserts::HeaderException);

                body = mkCompoundStmt(Try(body, Catch(Call("std::terminate"sv, {}))));
            }

            if(GetInsightsOptions().ShowLifetime) {
                for(const auto* param : stmt->parameters()) {
                    auto       paramType = param->getType();
                    const bool isPassByValue{not paramType->isPointerType() and not paramType->isReferenceType()};
                    if(const auto* rd = paramType->getAsRecordDecl(); rd and isPassByValue) {
                        mLifeTimeTracker.Add(param);
                    }
                }
            }

            InsertArg(body);
        }

        mOutputFormatHelper.AppendNewLine();