Buffer overruns: Removed TODO test case. We intentionally don't check struct/class arrays fully to avoid false positives
This commit is contained in:
parent
87cc42e6f0
commit
87cf0949f2
|
@ -84,7 +84,6 @@ private:
|
||||||
TEST_CASE(array_index_7);
|
TEST_CASE(array_index_7);
|
||||||
TEST_CASE(array_index_8);
|
TEST_CASE(array_index_8);
|
||||||
TEST_CASE(array_index_9);
|
TEST_CASE(array_index_9);
|
||||||
TEST_CASE(array_index_10);
|
|
||||||
TEST_CASE(array_index_11);
|
TEST_CASE(array_index_11);
|
||||||
TEST_CASE(array_index_12);
|
TEST_CASE(array_index_12);
|
||||||
TEST_CASE(array_index_13);
|
TEST_CASE(array_index_13);
|
||||||
|
@ -598,27 +597,6 @@ private:
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
void array_index_10()
|
|
||||||
{
|
|
||||||
check("struct ABC\n"
|
|
||||||
"{\n"
|
|
||||||
" char str[10];\n"
|
|
||||||
"};\n"
|
|
||||||
"\n"
|
|
||||||
"static void memclr( char *data )\n"
|
|
||||||
"{\n"
|
|
||||||
" data[10] = 0;\n"
|
|
||||||
"}\n"
|
|
||||||
"\n"
|
|
||||||
"static void f(struct ABC *abc)\n"
|
|
||||||
"{\n"
|
|
||||||
" memclr(abc->str);\n"
|
|
||||||
"}\n");
|
|
||||||
TODO_ASSERT_EQUALS("[test.cpp:13] -> [test.cpp:8]: (possible error) Array index out of bounds\n",
|
|
||||||
"", errout.str());
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
void array_index_11()
|
void array_index_11()
|
||||||
{
|
{
|
||||||
check("class ABC\n"
|
check("class ABC\n"
|
||||||
|
|
Loading…
Reference in New Issue