do not set values if there is no expression [skip ci]

Author: firewave

lib/programmemory.cpp

@@ -45,7 +45,10 @@
 #include <utility>
 #include <vector>
 
-ExprIdToken::ExprIdToken(const Token* tok) : tok(tok), exprid(tok ? tok->exprId() : 0) {}
+ExprIdToken::ExprIdToken(const Token* tok) : tok(tok), exprid(tok ? tok->exprId() : 0)
+{
+    assert(tok);
+}
 
 nonneg int ExprIdToken::getExpressionId() const {
     return tok ? tok->exprId() : exprid;
@@ -57,6 +60,9 @@ std::size_t ExprIdToken::Hash::operator()(ExprIdToken etok) const
 }
 
 void ProgramMemory::setValue(const Token* expr, const ValueFlow::Value& value) {
+    if (!expr)
+        return;
+
     copyOnWrite();
 
     (*mValues)[expr] = value;

lib/valueflow.cpp

@@ -6313,6 +6313,8 @@ const Token* ValueFlow::solveExprValue(const Token* expr,
                                        const std::function<std::vector<MathLib::bigint>(const Token*)>& eval,
                                        ValueFlow::Value& value)
 {
+    if (!expr)
+        return nullptr;
     if (!value.isIntValue() && !value.isIteratorValue() && !value.isSymbolicValue())
         return expr;
     if (value.isSymbolicValue() && !Token::Match(expr, "+|-"))

lib/vf_analyzers.cpp

@@ -1073,7 +1073,7 @@ struct MultiValueFlowAnalyzer : ValueFlowAnalyzer {
         ProgramState ps;
         for (const auto& p : values) {
             const Variable* var = vars.at(p.first);
-            if (!var)
+            if (!var || !var->nameToken())
                 continue;
             ps[var->nameToken()] = p.second;
         }