Add test for #11066 (cppcheck-opensource#4136)

chrchr-github · web-flow · commit 2b611709e29c · 2022-05-25T23:28:54.000+02:00
diff --git a/test/testbufferoverrun.cpp b/test/testbufferoverrun.cpp
@@ -189,6 +189,7 @@ class TestBufferOverrun : public TestFixture {
         TEST_CASE(array_index_62); // #7684
         TEST_CASE(array_index_63); // #10979
         TEST_CASE(array_index_64); // #10878
+        TEST_CASE(array_index_65); // #11066
         TEST_CASE(array_index_multidim);
         TEST_CASE(array_index_switch_in_for);
         TEST_CASE(array_index_for_in_for);   // FP: #2634
@@ -1822,6 +1823,18 @@ class TestBufferOverrun : public TestFixture {
         TODO_ASSERT_EQUALS("[test.cpp:3]: (error) Array 'x[10]' accessed at index 10, which is out of bounds.\n", "", errout.str());
     }
 
+    void array_index_65() // #11066
+    {
+        check("char P[] = { 2, 1 };\n"
+              "char f[2];\n"
+              "void e(char* c) {\n"
+              "    register j;\n"
+              "    for (j = 0; j < 2; j++)\n"
+              "        c[j] = f[P[j] - 1];\n"
+              "}\n");
+        ASSERT_EQUALS("", errout.str());
+    }
+
     void array_index_multidim() {
         check("void f()\n"
               "{\n"
