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

Fixed #5062 (ValueFlow: Handle comma operator in abstract interpretation)

This commit is contained in:
Daniel Marjamäki 2014-08-17 06:42:16 +02:00
parent 65f10edcb6
commit 7ca742c454
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/valueflow.cpp
View File

@ -1151,6 +1151,11 @@ static void execute(const Token *expr,
*result = !(*result); *result = !(*result);
} }
else if (expr->str() == "," && expr->astOperand1() && expr->astOperand2()) {
execute(expr->astOperand1(), programMemory, result, error);
execute(expr->astOperand2(), programMemory, result, error);
}
else else
*error = true; *error = true;
} }

7
test/testvalueflow.cpp
View File

@ -1089,6 +1089,13 @@ private:
"}"; "}";
ASSERT_EQUALS(true, testValueOfX(code, 4U, 0)); ASSERT_EQUALS(true, testValueOfX(code, 4U, 0));
code = "void f() {\n"
" int x,y;\n"
" for (x = 0, y = 0; x < 10, y < 10; x++, y++)\n" // usage of ,
" x;\n"
"}";
ASSERT_EQUALS(true, testValueOfX(code, 4U, 0));
code = "void foo(double recoveredX) {\n" code = "void foo(double recoveredX) {\n"
" for (double x = 1e-18; x < 1e40; x *= 1.9) {\n" " for (double x = 1e-18; x < 1e40; x *= 1.9) {\n"
" double relativeError = (x - recoveredX) / x;\n" " double relativeError = (x - recoveredX) / x;\n"