From aacb94c427586ae1ee416bff1197ac038d5052e3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Sun, 13 Feb 2011 22:48:26 +0100 Subject: [PATCH] Revert "Buffer overruns: Removed TODO test case. We intentionally don't check struct/class arrays fully to avoid false positives" This reverts commit 87cc42e6f0b0c8db37a314e5ef5be2c48cc3f4bd. --- test/testbufferoverrun.cpp | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/test/testbufferoverrun.cpp b/test/testbufferoverrun.cpp index 768507400..40e7de150 100644 --- a/test/testbufferoverrun.cpp +++ b/test/testbufferoverrun.cpp @@ -1875,6 +1875,20 @@ private: " }\n" "}\n"); ASSERT_EQUALS("", errout.str()); + + check("class A {\n" + " void foo();\n" + " bool b[7];\n" + "};\n" + "\n" + "void A::foo() {\n" + " for (int i=0; i<7; i++) {\n" + " b[i] = b[i+1];\n" + " }\n" + "}\n"); + TODO_ASSERT_EQUALS("error", // wanted result + "", // current result + errout.str()); } void buffer_overrun_bailoutIfSwitch()