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

Fixed #2120 (False positive: array index out of bounds (unknown type in struct, sub function))

This commit is contained in:
Daniel Marjamäki 2010-10-30 12:32:43 +02:00
parent 7b630cc581
commit b55f6458a2
2 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/checkbufferoverrun.cpp
View File

@ -1804,7 +1804,7 @@ bool CheckBufferOverrun::ArrayInfo::declare(const Token *tok, const Tokenizer &t
_element_size = 0; _element_size = 0;
_varname.clear(); _varname.clear();
if (!tok->isName()) if (!tok->isName() || tok->str() == "return")
return false; return false;
while (tok && (tok->str() == "static" || while (tok && (tok->str() == "static" ||

15
test/testbufferoverrun.cpp
View File

@ -180,6 +180,7 @@ private:
TEST_CASE(executionPaths1); TEST_CASE(executionPaths1);
TEST_CASE(executionPaths2); TEST_CASE(executionPaths2);
TEST_CASE(executionPaths3); // no FP for function parameter
TEST_CASE(cmdLineArgs1); TEST_CASE(cmdLineArgs1);
@ -2514,6 +2515,20 @@ private:
ASSERT_EQUALS("", errout.str()); ASSERT_EQUALS("", errout.str());
} }
void executionPaths3()
{
epcheck("void f(char *VLtext)\n"
"{\n"
" if ( x ) {\n"
" return VLtext[0];\n"
" } else {\n"
" int wordlen = ab();\n"
" VLtext[wordlen] = 0;\n"
" }\n"
"}\n");
ASSERT_EQUALS("", errout.str());
}
void cmdLineArgs1() void cmdLineArgs1()
{ {
check("int main(int argc, char* argv[])\n" check("int main(int argc, char* argv[])\n"