Fixed #8800 (Possible variable assignment ignored in boolean expression)

lib/valueflow.cpp

@@ -2363,6 +2363,14 @@ static bool valueFlowForward(Token * const               startToken,
                 const Token *astTop = parent->astTop();
                 if (Token::simpleMatch(astTop->astOperand1(), "for ("))
                     tok2 = const_cast<Token*>(astTop->link());
+
+                // bailout if address of var is taken..
+                if (tok2->astParent() && tok2->astParent()->isUnaryOp("&")) {
+                    if (settings->debugwarnings)
+                        bailout(tokenlist, errorLogger, tok2, "Taking address of " + tok2->str());
+                    return false;
+                }
+
                 continue;
             }
 

test/testvalueflow.cpp

@@ -2239,6 +2239,15 @@ private:
                "  return x;\n"
                "}";
         ASSERT_EQUALS(true, testValueOfX(code, 8U, 1));
+
+        code = "int f(int *);\n"
+               "int g() {\n"
+               "  const int a = 1;\n"
+               "  int x = 11;\n"
+               "  c = (a && f(&x));\n"
+               "  if (x == 42) {}\n"
+               "}";
+        ASSERT_EQUALS(false, testValueOfX(code, 6U, 11));
     }
 
     void valueFlowForwardTernary() {