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

Fixed false positive doubleFree (#7401)

This commit is contained in:
PKEuS 2016-05-04 12:14:42 +02:00
parent 23202d9442
commit f23668dfcc
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/checkleakautovar.cpp
View File

@ -516,7 +516,7 @@ void CheckLeakAutoVar::functionCall(const Token *tok, VarInfo *varInfo, const Va
if (_tokenizer->isCPP() && arg->str() == "new") if (_tokenizer->isCPP() && arg->str() == "new")
arg = arg->next(); arg = arg->next();
if (Token::Match(arg, "%var% [-,)]") || Token::Match(arg, "& %var%")) { if (Token::Match(arg, "%var% [-,)] !!.") || Token::Match(arg, "& %var%")) {
// goto variable // goto variable
if (arg->str() == "&") if (arg->str() == "&")

7
test/testleakautovar.cpp
View File

@ -760,6 +760,13 @@ private:
" }\n" " }\n"
"};", true); "};", true);
ASSERT_EQUALS("", errout.str()); ASSERT_EQUALS("", errout.str());
// #7401
check("void pCodeLabelDestruct(pCode *pc) {\n"
" free(PCL(pc)->label);\n"
" free(pc);\n"
"}");
ASSERT_EQUALS("", errout.str());
} }
void doublefree2() { // #3891 void doublefree2() { // #3891