Update valueflow.cpp [skip ci]

Author: chrchr-github

lib/valueflow.cpp

@@ -1107,7 +1107,19 @@ static void valueFlowImpossibleValues(TokenList& tokenList, const Settings& sett
             for (const Token* tok2 : tokens) {
                 if (const ValueFlow::Value* v = tok2->getKnownValue(ValueFlow::Value::ValueType::INT)) {
                     values.emplace_back(*v);
-                }
+                } else {
+                    ValueFlow::Value symValue{};
+                    symValue.valueType = ValueFlow::Value::ValueType::SYMBOLIC;
+                    symValue.tokvalue = tok2;
+                    values.push_back(std::move(symValue));
+                    std::copy_if(tok2->values().cbegin(),
+                                 tok2->values().cend(),
+                                 std::back_inserter(values),
+                                 [](const ValueFlow::Value& v) {
+                        if (!v.isKnown())
+                            return false;
+                        return v.isSymbolicValue();
+                    });
             }
             const bool isMin = Token::Match(condTok, "<|<=") ^ flipped;
             for (ValueFlow::Value& value : values) {
@@ -4258,6 +4270,7 @@ static void valueFlowAfterAssign(const TokenList &tokenlist,
                         continue;
                     const Token* expr = value.tokvalue;
                     value.intvalue = -value.intvalue;
+                    value.invertBound();
                     value.tokvalue = tok->astOperand1();
 
                     // Skip if it intersects with an already assigned symbol