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

added unittest for ticket #1780

This commit is contained in:
Ettl Martin 2011-10-27 23:54:03 +02:00
parent d6261debdf
commit 4a14672d0b
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
test/testnullpointer.cpp
View File

@ -46,6 +46,7 @@ private:
TEST_CASE(nullpointer10);
TEST_CASE(nullpointer11); // ticket #2812
TEST_CASE(nullpointer12); // ticket #2470
TEST_CASE(nullpointer13); // ticket #1708
TEST_CASE(pointerCheckAndDeRef); // check if pointer is null and then dereference it
TEST_CASE(nullConstantDereference); // Dereference NULL constant
TEST_CASE(gcc_statement_expression); // Don't crash
@ -1085,6 +1086,22 @@ private:
ASSERT_EQUALS("", errout.str());
}
void nullpointer13() { // ticket #1780
check("void foo()\n"
"{\n"
" struct S\n"
" {\n"
" double *d;\n"
" };\n"
" S s;\n"
" s.d=NULL;\n"
" double *pd = s.d;\n"
" *pd = 10;\n"
"}\n");
ASSERT_EQUALS("[test.cpp:10]: (error) Null pointer dereference\n", errout.str());
}
// Check if pointer is null and the dereference it
void pointerCheckAndDeRef() {
check("void foo(char *p) {\n"