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

Ticket #6713: Properly detect ternary operator in valueFlowForward.

This commit is contained in:
Simon Martin 2015-05-30 20:55:36 +02:00
parent ddc80246c2
commit 98e6dca4f2
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/valueflow.cpp
View File

@ -1043,6 +1043,8 @@ static bool valueFlowForward(Token * const startToken,
// If a ? is seen and it's known that the condition is true/false..
else if (tok2->str() == "?") {
const Token *condition = tok2->astOperand1();
if (!condition) // Ticket #6713
continue;
std::list<ValueFlow::Value>::const_iterator it;
for (it = values.begin(); it != values.end(); ++it) {
const std::map<unsigned int, MathLib::bigint> programMemory(getProgramMemory(tok2, varid, *it));

5
test/testgarbage.cpp
View File

@ -94,6 +94,7 @@ private:
TEST_CASE(garbageCode53); // #6721
TEST_CASE(garbageCode54); // #6722
TEST_CASE(garbageCode55); // #6724
TEST_CASE(garbageCode56); // #6713
TEST_CASE(garbageValueFlow);
TEST_CASE(garbageSymbolDatabase);
@ -535,6 +536,10 @@ private:
checkCode("() __attribute__((constructor)); { } { }");
}
void garbageCode56() { // #6713
checkCode("void foo() { int a = 0; int b = ???; }");
}
void garbageValueFlow() {
// #6089
const char* code = "{} int foo(struct, x1, struct x2, x3, int, x5, x6, x7)\n"