Fix #13498 assertion in getParentValueTypes (II) / #13707 fuzzing crash (assert) in getParentValueTypes() (danmar#7377)

Author: chrchr-github

lib/symboldatabase.cpp

@@ -1217,6 +1217,9 @@ void SymbolDatabase::createSymbolDatabaseSetTypePointers()
         if (!tok->isName() || tok->varId() || tok->function() || tok->type() || tok->enumerator())
             continue;
 
+        if (Token::simpleMatch(tok->next(), "<"))
+            continue;
+
         if (typenames.find(tok->str()) == typenames.end())
             continue;
 

test/cli/fuzz-crash/crash-e6c12e56d9711d24fc9a4355e7d35fc23fbf0ff4

@@ -0,0 +1 @@
+struct B{o a;B<>{0,{}}}

test/testsymboldatabase.cpp

@@ -425,6 +425,7 @@ class TestSymbolDatabase : public TestFixture {
         TEST_CASE(symboldatabase107);
         TEST_CASE(symboldatabase108);
         TEST_CASE(symboldatabase109); // #13553
+        TEST_CASE(symboldatabase110);
 
         TEST_CASE(createSymbolDatabaseFindAllScopes1);
         TEST_CASE(createSymbolDatabaseFindAllScopes2);
@@ -5760,6 +5761,25 @@ class TestSymbolDatabase : public TestFixture {
         ASSERT(f && f->function() && f->function()->hasVirtualSpecifier());
     }
 
+    void symboldatabase110() { // #13498
+        GET_SYMBOL_DB("struct A;\n"
+                      "template <typename T, typename C>\n"
+                      "struct B {\n"
+                      "    const A& a;\n"
+                      "    const std::vector<C>& c;\n"
+                      "};\n"
+                      "template <typename T>\n"
+                      "struct B<T, void> {\n"
+                      "    const A& a;\n"
+                      "};\n"
+                      "template <typename T, typename C>\n"
+                      "void f(const A & a, const std::vector<C>&c) {\n"
+                      "    B<T, C>{ a, c };\n"
+                      "}\n");
+        const Token *B = db ? Token::findsimplematch(tokenizer.tokens(), "B < T , C >") : nullptr;
+        ASSERT(B && !B->type());
+    }
+
     void createSymbolDatabaseFindAllScopes1() {
         GET_SYMBOL_DB("void f() { union {int x; char *p;} a={0}; }");
         ASSERT(db->scopeList.size() == 3);