ValueFlow: result of ? is not 'known'

danmar · danmar · commit 577ab1c2acee · 2015-07-17T15:22:24.000+02:00
diff --git a/lib/valueflow.cpp b/lib/valueflow.cpp
@@ -367,6 +367,9 @@ static void setTokenValue(Token* tok, const ValueFlow::Value &value)
         ValueFlow::Value v(value);
         v.conditional = true;
 
+        if (v.valueKind == ValueFlow::Value::Known)
+            v.valueKind = ValueFlow::Value::Possible;
+
         if (!variables.empty())
             v.varId = *(variables.begin());
 
