Fix valueFlowBailoutIncompleteVar with * const

danmar · Sep 22, 2023 · 734a481 · 734a481
1 parent b3c7f1e
commit 734a481
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/lib/symboldatabase.cpp b/lib/symboldatabase.cpp
@@ -1492,7 +1492,7 @@ void SymbolDatabase::createSymbolDatabaseIncompleteVars()
             continue;
         if (Token::Match(tok->next(), "::|.|(|{|:|%var%"))
             continue;
-        if (Token::Match(tok->next(), "&|&&|* )|,|%var%"))
+        if (Token::Match(tok->next(), "&|&&|* )|,|%var%|const"))
             continue;
         // Very likely a typelist
         if (Token::Match(tok->tokAt(-2), "%type% ,") || Token::Match(tok->next(), ", %type%"))

diff --git a/test/testsymboldatabase.cpp b/test/testsymboldatabase.cpp
@@ -5483,12 +5483,15 @@ class TestSymbolDatabase : public TestFixture {
             GET_SYMBOL_DB("void f(QObject* p, const char* s) {\n"
                           "    QWidget* w = dynamic_cast<QWidget*>(p);\n"
                           "    g(static_cast<const std::string>(s));\n"
+                          "    const std::uint64_t* const data = nullptr;\n"
                           "}\n");
             ASSERT(db && errout.str().empty());
             const Token* qw = Token::findsimplematch(tokenizer.tokens(), "QWidget * >");
             ASSERT(qw && !qw->isIncompleteVar());
             const Token* s = Token::findsimplematch(qw, "string >");
             ASSERT(s && !s->isIncompleteVar());
+            const Token* u = Token::findsimplematch(s, "uint64_t");
+            ASSERT(u && !u->isIncompleteVar());
         }
     }