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

Revert "Fixed #3923 (valueFlowForward: assignment in if should not cause bailout for code in else)" 

This reverts commit 04f9b71281.
This commit is contained in:
Daniel Marjamäki 2015-12-12 16:50:02 +01:00
parent 5b2dacb4b4
commit 9cb8e9a07e
2 changed files with 1 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
lib/valueflow.cpp
View File

@ -1148,29 +1148,11 @@ static bool valueFlowForward(Token * const startToken,
const bool condAlwaysTrue = (condTok && condTok->values.size() == 1U && condTok->values.front().isKnown() && condTok->values.front().intvalue != 0);
// Should scope be skipped because variable value is checked?
std::list<ValueFlow::Value> truevalues, falsevalues;
std::list<ValueFlow::Value> truevalues;
for (std::list<ValueFlow::Value>::const_iterator it = values.begin(); it != values.end(); ++it) {
if (condAlwaysTrue || !conditionIsFalse(condTok, getProgramMemory(tok2, varid, *it)))
truevalues.push_back(*it);
if (!condAlwaysTrue && !conditionIsTrue(condTok, getProgramMemory(tok2, varid, *it)))
falsevalues.push_back(*it);
}
if (!falsevalues.empty() && Token::simpleMatch(tok2->linkAt(1)->linkAt(1), "} else {")) {
// '{'
Token * const startToken1 = tok2->linkAt(1)->linkAt(1)->tokAt(2);
valueFlowForward(startToken1->next(),
startToken1->link(),
var,
varid,
falsevalues,
constValue,
tokenlist,
errorLogger,
settings);
}
if (truevalues.size() != values.size() || condAlwaysTrue) {
// '{'
Token * const startToken1 = tok2->linkAt(1)->next();

7
test/testvalueflow.cpp
View File

@ -900,13 +900,6 @@ private:
"}";
ASSERT_EQUALS(false, testValueOfX(code, 4U, 4));
code = "void f(int y) {\n" // #3923
" int x = 6;\n"
" if (y) { x = 0; }\n"
" else { a = x; }\n" // <- x is 6
"}";
ASSERT_EQUALS(true, testValueOfX(code, 4U, 6));
code = "void f() {\n"
" int x = 32;\n"
" if (x>=32) return;\n"