Assignment fix

Author: olabetskyi

lib/fwdanalysis.cpp

@@ -327,7 +327,7 @@ FwdAnalysis::Result FwdAnalysis::checkRecursive(const Token *expr, const Token *
                 if (parent->variable() && parent->variable()->type() && parent->variable()->type()->isUnionType() && parent->varId() == expr->varId()) {
                     while (parent && Token::simpleMatch(parent->astParent(), "."))
                         parent = parent->astParent();
-                    if (parent && parent->valueType() && Token::Match(parent->astParent(), "%assign%") && !Token::Match(parent->astParent()->astParent(), "%assign%") && parent->astParent()->astOperand1() == parent) {
+                    if (parent && parent->valueType() && Token::simpleMatch(parent->astParent(), "=") && !Token::Match(parent->astParent()->astParent(), "%assign%") && parent->astParent()->astOperand1() == parent) {
                         const Token * assignment = parent->astParent()->astOperand2();
                         while (Token::simpleMatch(assignment, ".") && assignment->varId() != expr->varId())
                             assignment = assignment->astOperand1();

test/testother.cpp

@@ -4552,6 +4552,27 @@ class TestOther : public TestFixture {
               "    u.as_int = 0;\n"
               "}", true, false, false);
         ASSERT_EQUALS("", errout_str());
+
+        // Ticket #5115 "redundantAssignment when using a union"
+        check("#include <stdio.h>\n"
+              "typedef union{\n"
+              "    char as_char[4];\n"
+              "    int as_int;\n"
+              "} union_t;\n"
+              "void fn(char *data, int len) {\n"
+              "    int i;\n"
+              "    for (i = 0; i < len; i++)\n"
+              "        data[i] = 'a';\n"
+              "}\n"
+              "void foo(char *ptr) {\n"
+              "    union {\n"
+              "        char * s8;\n"
+              "        unsigned long long u64;\n"
+              "    } addr;\n"
+              "    addr.s8 = ptr;\n"
+              "    addr.u64 += 8;\n"
+              "}", true, false, false);
+        ASSERT_EQUALS("", errout_str());
     }
 
     void switchRedundantOperationTest() {