From 7f7e621ecbc26df75b3d43a42f3ba5131ca69ac8 Mon Sep 17 00:00:00 2001
From: Reijo Tomperi <aggro80@users.sourceforge.net>
Date: Sun, 11 Apr 2010 23:22:16 +0300
Subject: [PATCH] More tests added to test/testbufferoverrun.cpp

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

diff --git a/test/testbufferoverrun.cpp b/test/testbufferoverrun.cpp
index ffc7fe1b8..6fd93d72d 100644
--- a/test/testbufferoverrun.cpp
+++ b/test/testbufferoverrun.cpp
@@ -95,6 +95,7 @@ private:
         TEST_CASE(array_index_23);
         TEST_CASE(array_index_24); // ticket #1492 and #1539
         TEST_CASE(array_index_25); // ticket #1536
+        TEST_CASE(array_index_26);
         TEST_CASE(array_index_multidim);
         TEST_CASE(array_index_switch_in_for);
         TEST_CASE(array_index_calculation);
@@ -863,6 +864,25 @@ private:
         ASSERT_EQUALS("", errout.str());
     }
 
+    void array_index_26()
+    {
+        check("void f()\n"
+              "{\n"
+              "    int a[3];\n"
+              "    for (int i = 3; 0 <= i; i--)\n"
+              "        a[i] = i;\n"
+              "}\n");
+        TODO_ASSERT_EQUALS("[test.cpp:5]: (error) Array 'a[3]' index 3 out of bounds\n", errout.str());
+
+        check("void f()\n"
+              "{\n"
+              "    int a[4];\n"
+              "    for (int i = 3; 0 <= i; i--)\n"
+              "        a[i] = i;\n"
+              "}\n");
+        ASSERT_EQUALS("", errout.str());
+    }
+
     void array_index_multidim()
     {
         check("void f()\n"