SymbolDatabase: Better handling of type aliases in ValueType

danmar · danmar · commit 10fc070f4446 · 2018-06-20T14:49:55.000+02:00
diff --git a/lib/symboldatabase.cpp b/lib/symboldatabase.cpp
@@ -5184,6 +5184,8 @@ static const Token * parsedecl(const Token *type, ValueType * const valuetype, V
             valuetype->pointer++;
         else if (type->isStandardType())
             valuetype->fromLibraryType(type->str(), settings);
+        else if (Token::Match(type->previous(), "!!:: %name% !!::"))
+            valuetype->fromLibraryType(type->str(), settings);
         if (!type->originalName().empty())
             valuetype->originalTypeName = type->originalName();
         type = type->next();
diff --git a/test/testsymboldatabase.cpp b/test/testsymboldatabase.cpp
@@ -146,6 +146,9 @@ class TestSymbolDatabase: public TestFixture {
         TEST_CASE(isVariableDeclarationRValueRef);
         TEST_CASE(isVariableStlType);
 
+        TEST_CASE(VariableValueType1);
+        TEST_CASE(VariableValueType2);
+
         TEST_CASE(findVariableType1);
         TEST_CASE(findVariableType2);
         TEST_CASE(findVariableType3);
@@ -789,6 +792,22 @@ class TestSymbolDatabase: public TestFixture {
         ASSERT(var.tokens()->tokAt(2)->scope() != 0);
     }
 
+    void VariableValueType1() {
+        GET_SYMBOL_DB("typedef uint8_t u8;\n"
+                      "static u8 x;\n");
+        const Variable* x = db->getVariableFromVarId(1);
+        ASSERT_EQUALS("x", x->name());
+        ASSERT(x->valueType()->isIntegral());
+    }
+
+    void VariableValueType2() {
+        GET_SYMBOL_DB("using u8 = uint8_t;\n"
+                      "static u8 x;\n");
+        const Variable* x = db->getVariableFromVarId(1);
+        ASSERT_EQUALS("x", x->name());
+        ASSERT(x->valueType()->isIntegral());
+    }
+
     void findVariableType1() {
         GET_SYMBOL_DB("class A {\n"
                       "public:\n"
