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

clean up cfg tests in TestNullPointer

This commit is contained in:
Daniel Marjamäki 2015-01-30 06:51:03 +01:00
parent 9bbad1b622
commit 8d2f271921
2 changed files with 1 additions and 38 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
test/cfg/std.c
View File

@ -62,6 +62,7 @@ void nullpointer(int value){
fsetpos(0,0);
// cppcheck-suppress nullPointer
itoa(123,0,10);
putchar(0);
// cppcheck-suppress nullPointer
strchr(0,0);
// cppcheck-suppress nullPointer

38
test/testnullpointer.cpp
View File

@ -93,8 +93,6 @@ private:
TEST_CASE(functioncalllibrary); // use Library to parse function call
TEST_CASE(functioncallDefaultArguments);
TEST_CASE(nullpointer_internal_error); // #5080
TEST_CASE(nullpointerFputc); // #5645 FP: Null pointer dereference in fputc argument
TEST_CASE(nullpointerPutchar);
}
void check(const char code[], bool inconclusive = false, const char filename[] = "test.cpp", bool verify=true) {
@ -2429,42 +2427,6 @@ private:
"}\n");
ASSERT_EQUALS("", errout.str());
}
void nullpointerFputc() {
check("int main () {\n"
"FILE *fp = fopen(\"file.txt\", \"w+\");\n"
"fputc(000, fp); \n"
"fclose(fp);\n"
"return 0 ;\n"
"}\n");
ASSERT_EQUALS("", errout.str());
check("int main () {\n"
"FILE *fp = fopen(\"file.txt\", \"w+\");\n"
"char *nullstring=0;"
"fputc(*nullstring, fp); \n"
"fclose(fp);\n"
"return 0 ;\n"
"}\n");
ASSERT_EQUALS("[test.cpp:3]: (error) Possible null pointer dereference: nullstring\n", errout.str());
}
void nullpointerPutchar() {
check("void f (char *c) {\n"
" putchar(c);\n"
"}\n");
ASSERT_EQUALS("", errout.str());
check("void f () {\n"
" putchar(0);\n"
"}\n");
ASSERT_EQUALS("", errout.str());
check("void f () {\n"
" putchar(*0);\n"
"}\n");
ASSERT_EQUALS("[test.cpp:2]: (error) Null pointer dereference\n", errout.str());
}
};
REGISTER_TEST(TestNullPointer)