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

Uninitialized variables: Added debug warning for bailout

This commit is contained in:
Daniel Marjamäki 2012-12-28 11:42:50 +01:00
parent 78316f02b6
commit 6770cc80be
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
lib/checkuninitvar.cpp
View File

@ -1174,8 +1174,18 @@ bool CheckUninitVar::checkScopeForVariable(const Scope* scope, const Token *tok,
// if (a) x=0; // conditional initialization // if (a) x=0; // conditional initialization
// if (b) return; // cppcheck doesn't know if b can be false when a is false. // if (b) return; // cppcheck doesn't know if b can be false when a is false.
// x++; // it's possible x is always initialized // x++; // it's possible x is always initialized
if (!alwaysTrue && noreturnIf && number_of_if > 0) if (!alwaysTrue && noreturnIf && number_of_if > 0) {
if (_settings->debugwarnings) {
std::string condition;
for (const Token *tok2 = tok->linkAt(-1); tok2 != tok; tok2 = tok2->next()) {
condition += tok2->str();
if (tok2->isName() && tok2->next()->isName())
condition += ' ';
}
reportError(tok, Severity::debug, "debug", "uninitialized variables: bailout. can't determine if this condition can be false when previous condition is false: " + condition);
}
return true; return true;
}
std::map<unsigned int, int> varValueIf; std::map<unsigned int, int> varValueIf;
if (!initif) { if (!initif) {