walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

ValueFlow: result of ? is not 'known'

This commit is contained in:
Daniel Marjamäki 2015-07-17 15:22:24 +02:00
parent 61cf224f32
commit 577ab1c2ac
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lib/valueflow.cpp
View File

@ -367,6 +367,9 @@ static void setTokenValue(Token* tok, const ValueFlow::Value &value)
ValueFlow::Value v(value); ValueFlow::Value v(value);
v.conditional = true; v.conditional = true;
if (v.valueKind == ValueFlow::Value::Known)
v.valueKind = ValueFlow::Value::Possible;
if (!variables.empty()) if (!variables.empty())
v.varId = *(variables.begin()); v.varId = *(variables.begin());