Method checkUnionZeroInit

lib/checkother.cpp:4575–4611

void CheckOtherImpl::checkUnionZeroInit()
{
    if (!mSettings.severity.isEnabled(Severity::portability))
        return;

    logChecker("CheckOther::checkUnionZeroInit"); // portability

    const SymbolDatabase *symbolDatabase = mTokenizer->getSymbolDatabase();

    std::unordered_map<const Scope *, Union> unionsByScopeId;
    const std::vector<Union> unions = parseUnions(*symbolDatabase, mSettings);
    for (const Union &u : unions) {
        unionsByScopeId.emplace(u.scope, u);
    }

    for (const Token *tok = mTokenizer->tokens(); tok; tok = tok->next()) {
        if (!tok->isName() || !isZeroInitializer(tok->next()))
            continue;

        const ValueType *vt = tok->valueType();
        if (vt == nullptr || vt->typeScope == nullptr)
            continue;
        auto it = unionsByScopeId.find(vt->typeScope);
        if (it == unionsByScopeId.end())
            continue;
        const Union &u = it->second;
        if (!u.isLargestMemberFirst()) {
            const UnionMember *largestMember = u.largestMember();
            if (largestMember == nullptr) {
                throw InternalError(tok, "Largest union member not found",
                                    InternalError::INTERNAL);
            }
            assert(largestMember != nullptr);
            unionZeroInitError(tok, *largestMember);
        }
    }
}

void CheckOtherImpl::unionZeroInitError(const Token *tok,
                                        const UnionMember& largestMember)