Added test case complex_free

This commit is contained in:
Reijo Tomperi 2009-01-25 16:29:51 +00:00
parent 7631b0b339
commit da63428961
1 changed files with 10 additions and 0 deletions

View File

@ -174,6 +174,7 @@ private:
TEST_CASE(freefree1); TEST_CASE(freefree1);
TEST_CASE(freefree2); TEST_CASE(freefree2);
// TODO TEST_CASE(strcat_result_assignment); // TODO TEST_CASE(strcat_result_assignment);
// TODO TEST_CASE(complex_free);
} }
@ -1684,6 +1685,15 @@ private:
ASSERT_EQUALS(std::string(""), errout.str()); ASSERT_EQUALS(std::string(""), errout.str());
} }
void complex_free()
{
check("void foo()\n"
"{\n"
"char *p = malloc(100);\n"
"free(((void*)p));\n"
"}");
ASSERT_EQUALS(std::string(""), errout.str());
}
}; };
REGISTER_TEST(TestMemleak) REGISTER_TEST(TestMemleak)