tests: add regression guards for containerOutOfBounds on non-empty containers

Signed-off-by: Aryan Rahar <aryanrahar1@gmail.com>

Author: aryanrahar

test/teststl.cpp

@@ -176,6 +176,10 @@ class TestStl : public TestFixture {
 
         TEST_CASE(checkKnownEmptyContainer);
         TEST_CASE(checkMutexes);
+        TEST_CASE(coob_initlist_vector_nonempty_no_fp_regression_20250812);
+        TEST_CASE(coob_array_initlist_nonempty_no_fp_regression_20250812);
+        TEST_CASE(coob_vector_pushback_nonempty_no_fp_regression_20250812);
+
     }
 
     struct CheckOptions
@@ -7201,6 +7205,36 @@ class TestStl : public TestFixture {
               "}\n");
         ASSERT_EQUALS("", errout_str());
     }
+    // Regression guards: non-empty containers must NOT trigger containerOutOfBounds (2025-08-12)
+
+
+ void coob_initlist_vector_nonempty_no_fp_regression_20250812()
+{
+    check(
+        "#include <vector>\n"
+        "void f(){ std::vector<double> v{0.0, 0.1}; (void)v[0]; }\n"
+    );
+    ASSERT_EQUALS("", errout_str());
+}
+
+ void coob_array_initlist_nonempty_no_fp_regression_20250812()
+{
+    check(
+        "#include <array>\n"
+        "void f(){ std::array<int,2> a{1,2}; (void)a[1]; }\n"
+    );
+    ASSERT_EQUALS("", errout_str());
+}
+
+      void coob_vector_pushback_nonempty_no_fp_regression_20250812()
+{
+    check(
+        "#include <vector>\n"
+        "void f(){ std::vector<int> v; v.push_back(42); (void)v[0]; }\n"
+    );
+    ASSERT_EQUALS("", errout_str());
+}
+
 };
 
 REGISTER_TEST(TestStl)