From 87cf0949f2cd01c47194e058afe655fcff8e2ff3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Sun, 13 Feb 2011 21:48:13 +0100 Subject: [PATCH] Buffer overruns: Removed TODO test case. We intentionally don't check struct/class arrays fully to avoid false positives --- test/testbufferoverrun.cpp | 22 ---------------------- 1 file changed, 22 deletions(-) diff --git a/test/testbufferoverrun.cpp b/test/testbufferoverrun.cpp index 7de1c7775..768507400 100644 --- a/test/testbufferoverrun.cpp +++ b/test/testbufferoverrun.cpp @@ -84,7 +84,6 @@ private: TEST_CASE(array_index_7); TEST_CASE(array_index_8); TEST_CASE(array_index_9); - TEST_CASE(array_index_10); TEST_CASE(array_index_11); TEST_CASE(array_index_12); 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() { check("class ABC\n"