From 0c0d62171e9e950fdb9cdd0d5c182d6189d4fb97 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Sat, 14 Feb 2015 16:41:51 +0100 Subject: [PATCH] removed duplicate testcase. See testcase for #836 --- test/testbufferoverrun.cpp | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/test/testbufferoverrun.cpp b/test/testbufferoverrun.cpp index fd2250f52..80c4f600d 100644 --- a/test/testbufferoverrun.cpp +++ b/test/testbufferoverrun.cpp @@ -185,7 +185,6 @@ private: TEST_CASE(buffer_overrun_19); // #2597 - class member with unknown type TEST_CASE(buffer_overrun_20); // #2986 (segmentation fault) TEST_CASE(buffer_overrun_21); - TEST_CASE(buffer_overrun_23); // #3153 TEST_CASE(buffer_overrun_24); // index variable is changed in for-loop TEST_CASE(buffer_overrun_26); // #4432 (segmentation fault) TEST_CASE(buffer_overrun_27); // #4444 (segmentation fault) @@ -2402,23 +2401,6 @@ private: ASSERT_EQUALS("[test.cpp:6]: (error) Array 'dst[4]' accessed at index 4, which is out of bounds.\n", errout.str()); } - void buffer_overrun_23() { // ticket #3153 - checkstd("void foo() {\n" - " double dest = 23.0;\n" - " char* const source = (char*) malloc(sizeof(dest));\n" - " memcpy(&dest, source + sizeof(double), sizeof(dest));\n" - "}"); - ASSERT_EQUALS("[test.cpp:4]: (error) Buffer is accessed out of bounds.\n", errout.str()); - - checkstd("void foo() {\n" - " double dest = 23.0;\n" - " char* const source = (char*) malloc(2 * sizeof(dest));\n" - " memcpy(&dest, source + sizeof(double), sizeof(dest));\n" - "}"); - ASSERT_EQUALS("", errout.str()); - } - - void buffer_overrun_24() { // index variable is changed in for-loop // ticket #4106 check("void main() {\n"