diff --git a/lib/symboldatabase.cpp b/lib/symboldatabase.cpp index 8b9e62b16..4e0e15f42 100644 --- a/lib/symboldatabase.cpp +++ b/lib/symboldatabase.cpp @@ -5705,6 +5705,18 @@ void SymbolDatabase::setValueType(Token *tok, const ValueType &valuetype) } if (ternary || parent->isArithmeticalOp() || parent->tokType() == Token::eIncDecOp) { + // CONTAINER + pointer => CONTAINER + if (parent->str() == "+" && vt1 && vt1->type == ValueType::Type::CONTAINER && vt2 && vt2->pointer != 0) { + setValueType(parent, *vt1); + return; + } + + // pointer + CONTAINER => CONTAINER + if (parent->str() == "+" && vt1 && vt1->pointer != 0U && vt2 && vt2->type == ValueType::Type::CONTAINER) { + setValueType(parent, *vt2); + return; + } + if (vt1->pointer != 0U && vt2 && vt2->pointer == 0U) { setValueType(parent, *vt1); return; diff --git a/test/testsymboldatabase.cpp b/test/testsymboldatabase.cpp index 2af37c431..1d2bc8d54 100644 --- a/test/testsymboldatabase.cpp +++ b/test/testsymboldatabase.cpp @@ -7140,6 +7140,7 @@ private: ASSERT_EQUALS("container(test :: string)", typeOf("void foo(Vector v) { for (auto s: v) { x=s+s; } }", "s", "test.cpp", &set)); ASSERT_EQUALS("container(test :: string)", typeOf("void foo(Vector v) { for (auto s: v) { x=s+s; } }", "+", "test.cpp", &set)); ASSERT_EQUALS("container(test :: string)", typeOf("Vector v; x = v.front();", "(", "test.cpp", &set)); + ASSERT_EQUALS("container(test :: string)", typeOf("void foo(){test::string s; return \"x\"+s;}", "+", "test.cpp", &set)); } // new