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

Fixed #5149 (false positive: (error) Dereferencing 'memory' after it is deallocated / released)

This commit is contained in:
Daniel Marjamäki 2013-12-14 07:37:24 +01:00
parent 80dec5a976
commit 57ecdd693c
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/checkmemoryleak.cpp
View File

@ -597,6 +597,8 @@ const char * CheckMemoryLeakInFunction::call_func(const Token *tok, std::list<co
return "use"; return "use";
else if (tok2->strAt(1) == "=") else if (tok2->strAt(1) == "=")
return "assign"; return "assign";
else if (tok->str()=="printf")
return "use"; // <- it is not certain printf dereference the pointer TODO: check the format string
else else
return "use_"; return "use_";
} }

8
test/testmemleak.cpp
View File

@ -2998,6 +2998,14 @@ private:
"}"); "}");
ASSERT_EQUALS("", errout.str()); ASSERT_EQUALS("", errout.str());
check("void f()\n"
"{\n"
" char *s = new char[100];\n"
" delete [] s;\n"
" printf(\"%p\\n\", s);\n"
"}");
ASSERT_EQUALS("", errout.str());
// The pointer to the pointer is valid.. // The pointer to the pointer is valid..
check("void f()\n" check("void f()\n"
"{\n" "{\n"