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

ExprEngine: Bailout when for|while|switch is seen

This commit is contained in:
Daniel Marjamäki 2019-09-29 17:28:12 +02:00
parent eb8908cd3e
commit 1979b64170
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/exprengine.cpp
View File

@ -1064,6 +1064,12 @@ static void execute(const Token *start, const Token *end, Data &data)
for (const Token *tok = start; tok != end; tok = tok->next()) { for (const Token *tok = start; tok != end; tok = tok->next()) {
if (Token::Match(tok, "[;{}]")) if (Token::Match(tok, "[;{}]"))
data.trackProgramState(tok); data.trackProgramState(tok);
if (Token::Match(tok, "for|while|switch ("))
// TODO this is a bailout
return;
// Variable declaration..
if (tok->variable() && tok->variable()->nameToken() == tok) { if (tok->variable() && tok->variable()->nameToken() == tok) {
if (Token::Match(tok, "%varid% ; %varid% =", tok->varId())) { if (Token::Match(tok, "%varid% ; %varid% =", tok->varId())) {
// if variable is not used in assignment rhs then we do not need to create a "confusing" variable value.. // if variable is not used in assignment rhs then we do not need to create a "confusing" variable value..