Fixed #7395 (ValueType: Result type of assignment operators)

danmar · Mar 21, 2016 · 4e48737 · 4e48737
1 parent 19c0bcc
commit 4e48737
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/lib/symboldatabase.cpp b/lib/symboldatabase.cpp
@@ -3688,6 +3688,12 @@ static void setValueType(Token *tok, const ValueType &valuetype, bool cpp, Value
         return;
     }
 
+    if (parent->isAssignmentOp()) {
+        if (vt1)
+            setValueType(parent, *vt1, cpp, defaultSignedness);
+        return;
+    }
+
     if (parent->str() == "[" && valuetype.pointer > 0U) {
         ValueType vt(valuetype);
         vt.pointer -= 1U;

diff --git a/test/testsymboldatabase.cpp b/test/testsymboldatabase.cpp
@@ -3220,6 +3220,9 @@ class TestSymbolDatabase: public TestFixture {
         ASSERT_EQUALS("",           typeOf("a = 12 << x;", "<<", "test.cpp")); // << might be overloaded
         ASSERT_EQUALS("signed int", typeOf("a = 12 << x;", "<<", "test.c"));
 
+        // assignment => result has same type as lhs
+        ASSERT_EQUALS("unsigned short", typeOf("unsigned short x; x = 3;", "="));
+
         // array..
         ASSERT_EQUALS("void * *", typeOf("void * x[10]; a = x + 0;", "+"));
         ASSERT_EQUALS("signed int *", typeOf("int x[10]; a = x + 1;", "+"));