diff --git a/testbufferoverrun.cpp b/testbufferoverrun.cpp index 7a1786c33..b0a11dd21 100644 --- a/testbufferoverrun.cpp +++ b/testbufferoverrun.cpp @@ -78,7 +78,9 @@ private: TEST_CASE( array_index_12 ); TEST_CASE( buffer_overrun_1 ); - TEST_CASE( buffer_overrun_2 ); + TEST_CASE( buffer_overrun_2 ); + + // TODO TEST_CASE( varid1 ); } @@ -352,6 +354,22 @@ private: ASSERT_EQUALS( std::string("[test.cpp:8]: Buffer overrun\n"), errout.str() ); } + + + void varid1() + { + check( "void foo()\n" + "{\n" + " char str[10];\n" + " if (str[0])\n" + " {\n" + " char str[50];\n" + " str[30] = 0;\n" + " }\n" + "}\n" ); + ASSERT_EQUALS( std::string(""), errout.str() ); + } + };