Fix #12571 debug: valueFlowBailoutIncompleteVar with trailing return …

…type (#6229)
danmar · Apr 4, 2024 · e61ca25 · e61ca25
1 parent 35a7eb9
commit e61ca25
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/lib/symboldatabase.cpp b/lib/symboldatabase.cpp
@@ -1554,6 +1554,9 @@ void SymbolDatabase::createSymbolDatabaseIncompleteVars()
                 parent = parent->astParent();
             if (Token::simpleMatch(parent, "new"))
                 continue;
+            // trailing return type
+            if (Token::simpleMatch(ftok, ".") && ftok->originalName() == "->" && Token::Match(ftok->tokAt(-1), "[])]"))
+                continue;
         }
         tok->isIncompleteVar(true);
     }

diff --git a/test/testsymboldatabase.cpp b/test/testsymboldatabase.cpp
@@ -5845,6 +5845,16 @@ class TestSymbolDatabase : public TestFixture {
             const Token* r = Token::findsimplematch(q, "r");
             ASSERT(r && !r->isIncompleteVar());
         }
+        {
+            GET_SYMBOL_DB("void f() {\n" // #12571
+                          "    auto g = []() -> std::string* {\n"
+                          "        return nullptr;\n"
+                          "    };\n"
+                          "}\n");
+            ASSERT(db && errout_str().empty());
+            const Token* s = Token::findsimplematch(tokenizer.tokens(), "string");
+            ASSERT(s && !s->isIncompleteVar());
+        }
     }
 
     void enum1() {