From 90bc72a413f888a7083a69c886ba9cf324116160 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <hyd_danmar@users.sourceforge.net>
Date: Fri, 12 Dec 2008 19:16:30 +0000
Subject: [PATCH] testbufferoverrun : Added a testcase where variable id is
 needed to avoid false positive

---
 testbufferoverrun.cpp | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

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() );
+    }
+
 
 };