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

Fixed ticket #403 (false positive::Array index out of range) 

http://sourceforge.net/apps/trac/cppcheck/ticket/403
This commit is contained in:
Slava Semushin 2009-06-14 11:21:20 +07:00
parent 3e045dcf37
commit 084b3c002f
2 changed files with 21 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/preprocessor.cpp
View File

@ -703,7 +703,8 @@ std::string Preprocessor::getcode(const std::string &filedata, std::string cfg,
}
else if (line.find("#file \"") == 0 ||
line.find("#endfile") == 0 ||
line.find("#define") == 0)
line.find("#define") == 0 ||
line.find("#undef") == 0)
{
// We must not remove #file tags or line numbers
// are corrupted. File tags are removed by the tokenizer.
@ -712,7 +713,7 @@ std::string Preprocessor::getcode(const std::string &filedata, std::string cfg,
line[0] == '#')
{
// Remove #if, #else, #pragma etc, leaving only
// #define, #file and #endfile. and also lines
// #define, #undef, #file and #endfile. and also lines
// which are not part of this configuration.
line = "";
}

12
test/testpreprocessor.cpp
View File

@ -725,6 +725,7 @@ private:
void preprocessor_undef()
{
{
const char filedata[] = "#define AAA int a;\n"
"#undef AAA\n"
@ -735,6 +736,17 @@ private:
ASSERT_EQUALS("\n\n\nchar b=0;\n", OurPreprocessor::expandMacros(filedata));
}
{
// ticket #403
const char filedata[] = "#define z p[2]\n"
"#undef z\n"
"int z;\n"
"z = 0;\n";
ASSERT_EQUALS("\n\nint z;\nz = 0;\n", OurPreprocessor::getcode(filedata, "", "", NULL));
}
}
void defdef()
{
const char filedata[] = "#define AAA 123\n"