Update teststl.cpp

Author: chrchr-github

test/teststl.cpp

@@ -42,6 +42,7 @@ class TestStl : public TestFixture {
         TEST_CASE(outOfBoundsSymbolic);
         TEST_CASE(outOfBoundsIndexExpression);
         TEST_CASE(outOfBoundsIterator);
+        TEST_CASE(outOfBoundsErrorPath;
 
         TEST_CASE(iterator1);
         TEST_CASE(iterator2);
@@ -1124,6 +1125,21 @@ class TestStl : public TestFixture {
                       errout_str());
     }
 
+    void outOfBoundsErrorPath() {
+        Settings s = settings;
+        s.templateLocation = "{file}:{line}:note:{info}";
+        check("int f(int i) {\n"
+                    "    std::string s = \"abc\";\n"
+                    "    if (i > 5)\n"
+                    "        return 0;\n"
+                    "    return s[i];\n"
+                    "}\n", s);
+        ASSERT_EQUALS("[test.cpp:5:13]: warning: Either the condition 'i>5' is redundant or 'i' can have the value 5. Expression 's[i]' causes access out of bounds. [containerOutOfBounds]\n"
+                      "[test.cpp:3:11]: note: Assuming that condition 'i>5' is not redundant\n"
+                      "[test.cpp:5:13]: note: Access out of bounds\n",
+                      errout_str());
+    }
+
     void iterator1() {
         check("void f()\n"
               "{\n"