Fix #15077 FP uninitvar for array of std::vector (#8908)

Co-authored-by: chrchr-github <noreply@github.com>

Author: chrchr-github

lib/checkclass.cpp

@@ -1675,18 +1675,9 @@ void CheckClassImpl::checkMemsetType(const Scope *start, const Token *tok, const
         }
         // don't warn if variable static or const, pointer or array of pointers
         if (!var.isStatic() && !var.isConst() && !var.isPointer() && (!var.isArray() || var.typeEndToken()->str() != "*")) {
-            const Token *tok1 = var.typeStartToken();
             const Scope *typeScope = var.typeScope();
 
-            std::string typeName;
-            if (Token::Match(tok1, "%type% ::")) {
-                const Token *typeTok = tok1;
-                while (Token::Match(typeTok, "%type% ::")) {
-                    typeName += typeTok->str() + "::";
-                    typeTok = typeTok->tokAt(2);
-                }
-                typeName += typeTok->str();
-            }
+            const std::string typeName = var.getTypeName();
 
             // check for std:: type
             if (var.isStlType() && typeName != "std::array" && !mSettings.library.podtype(typeName)) {

lib/valueflow.cpp

@@ -5944,7 +5944,7 @@ static bool needsInitialization(const Variable* var)
             return true;
         if (var->valueType()->type == ValueType::Type::ITERATOR)
             return true;
-        if (var->isStlType() && var->isArray()) {
+        if (var->isStlType() && var->getTypeName() == "std::array") {
             if (const Token* ctt = var->valueType()->containerTypeToken) {
                 if (ctt->isStandardType())
                     return true;

test/testuninitvar.cpp

@@ -6840,6 +6840,12 @@ class TestUninitVar : public TestFixture {
                         "    return a[0];\n"
                         "}\n");
         ASSERT_EQUALS("", errout_str());
+
+        valueFlowUninit("std::vector<int> f() {\n" // #15077
+                        "    const std::vector<int> a[1];\n"
+                        "    return a[0];\n"
+                        "}\n");
+        ASSERT_EQUALS("", errout_str());
     }
 
     void valueFlowUninitBreak() { // Do not show duplicate warnings about the same uninitialized value