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

Fixed #504 (false positive: null pointer dereference)

This commit is contained in:
Daniel Marjamäki 2009-07-25 20:36:02 +02:00
parent 321106c39e
commit a6d696bf40
2 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/checkother.cpp
View File

@ -1084,7 +1084,11 @@ void CheckOther::nullPointer()
if (varid == 0)
continue;
for (const Token *tok1 = tok->previous(); tok1; tok1 = tok1->previous())
const Token *decltok = Token::findmatch(_tokenizer->tokens(), "%varid%", varid);
if (!Token::Match(decltok->tokAt(-3), "[;,(] %var% *"))
continue;
for (const Token *tok1 = tok->previous(); tok1 && tok1 != decltok; tok1 = tok1->previous())
{
if (tok1->varId() == varid)
{

8
test/testother.cpp
View File

@ -565,6 +565,14 @@ private:
" ;\n"
"}\n");
ASSERT_EQUALS("", errout.str());
checkNullPointer("void foo(int x)\n"
"{\n"
" int a = 2 * x;"
" if (x == 0)\n"
" ;\n"
"}\n");
ASSERT_EQUALS("", errout.str());
}