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

ValueFlowUninit: make it more strict

This commit is contained in:
Daniel Marjamäki 2017-04-28 13:29:09 +02:00
parent 5fd77d2518
commit a0a8f8ddd6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/valueflow.cpp
View File

@ -2878,7 +2878,7 @@ static void valueFlowUninit(TokenList *tokenlist, SymbolDatabase * /*symbolDatab
pointer |= vardecl->str() == "*";
vardecl = vardecl->next();
}
if (!tokenlist->isC() && !stdtype && !pointer)
if (!stdtype && !pointer)
continue;
if (!Token::Match(vardecl, "%var% ;"))
continue;
@ -2888,7 +2888,7 @@ static void valueFlowUninit(TokenList *tokenlist, SymbolDatabase * /*symbolDatab
if (!var || var->nameToken() != vardecl)
continue;
if ((!var->isPointer() && var->type() && var->type()->needInitialization != Type::True) ||
var->isStatic() || var->isExtern() || var->isReference() || var->isThrow())
!var->isLocal() || var->isStatic() || var->isExtern() || var->isReference() || var->isThrow())
continue;
ValueFlow::Value uninitValue;