Method HandleLocalStaticNonTrivialClass

CodeGenerator.cpp:4675–4787

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

void CodeGenerator::HandleLocalStaticNonTrivialClass(const VarDecl* stmt)
{
    EnableGlobalInsert(GlobalInserts::HeaderNew);

    const auto& ctx = GetGlobalAST();

    auto&      langOpts{GetLangOpts(*stmt)};
    const bool threadSafe{langOpts.ThreadsafeStatics and langOpts.CPlusPlus11 and
                          (stmt->isLocalVarDecl() /*|| NonTemplateInline*/) and not stmt->getTLSKind()};

    const std::string internalVarName{BuildInternalVarName(GetName(*stmt))};
    const std::string compilerBoolVarName{StrCat(internalVarName, "Guard"sv)};

    // insert compiler bool to track init state
    auto* compilerGuardVar =
        Variable(compilerBoolVarName, threadSafe ? Typedef("uint64_t"sv, ctx.UnsignedLongTy) : ctx.BoolTy);
    compilerGuardVar->setStorageClass(StorageClass::SC_Static);
    InsertArg(compilerGuardVar);

    // insert compiler memory place holder
    auto* compilerStorageVar = Variable(internalVarName,
                                        ctx.getConstantArrayType(ctx.CharTy,
                                                                 llvm::APInt(ctx.getTypeSize(ctx.getSizeType()), 0),
                                                                 Sizeof(stmt->getType()),
                                                                 ArraySizeModifier::Normal,
                                                                 0));

    compilerStorageVar->setStorageClass(StorageClass::SC_Static);

    auto* alignedAttr =
        AlignedAttr::CreateImplicit(const_cast<ASTContext&>(ctx),
                                    true,
                                    Sizeof(stmt->getType()),  // ctx.getTrivialTypeSourceInfo(stmt->getType()),
                                    {},
                                    AlignedAttr::Spelling::Keyword_alignas);

    compilerStorageVar->addAttr(alignedAttr);

    const std::string typeName{GetName(stmt->getType())};
    mOutputFormatHelper.AppendSemiNewLine(
        "alignas("sv, typeName, ") static char "sv, internalVarName, "[sizeof("sv, typeName, ")]"sv);

    // insert compiler init if
    mOutputFormatHelper.AppendNewLine();

    // try to find out whether this ctor or the CallExpr can throw. If, then additional code needs to be generated
    // for exception handling.
    const bool canThrow{[&] {
        const ValueDecl* decl = [&]() -> const ValueDecl* {
            const auto* init = stmt->getInit()->IgnoreCasts();
            if(const auto* ctorExpr = dyn_cast_or_null<CXXConstructExpr>(init)) {
                return ctorExpr->getConstructor();
            } else if(const auto* callExpr = dyn_cast_or_null<CallExpr>(init)) {
                return callExpr->getDirectCallee();
            }

            return nullptr;
        }();