From 4884a1dfe050c6103a78b55cdedb649b9abf32a3 Mon Sep 17 00:00:00 2001
From: Ettl Martin <ettl.martin@gmx.de>
Date: Tue, 6 Dec 2011 20:53:56 +0100
Subject: [PATCH] sanity check for ticket #3387 ( buffer access out of bounds)

---
 test/testbufferoverrun.cpp | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/test/testbufferoverrun.cpp b/test/testbufferoverrun.cpp
index 76f6a5c60..a2b104699 100644
--- a/test/testbufferoverrun.cpp
+++ b/test/testbufferoverrun.cpp
@@ -113,6 +113,7 @@ private:
         TEST_CASE(array_index_36); // ticket #2960
         TEST_CASE(array_index_37);
         TEST_CASE(array_index_38); // ticket #3273
+        TEST_CASE(array_index_39);
         TEST_CASE(array_index_multidim);
         TEST_CASE(array_index_switch_in_for);
         TEST_CASE(array_index_for_in_for);   // FP: #2634
@@ -1290,6 +1291,15 @@ private:
         ASSERT_EQUALS("", errout.str());
     }
 
+    void array_index_39() { // ticket 3387
+        check("void aFunction()\n"
+              "{\n"
+              "    char a[10];\n"
+              "    a[10] = 0;\n"
+              "}\n");
+        ASSERT_EQUALS("[test.cpp:4]: (error) Array 'a[10]' index 10 out of bounds\n", errout.str());
+    }
+
     void array_index_multidim() {
         check("void f()\n"
               "{\n"