Update teststl.cpp

danmar · May 16, 2024 · c7bf02b · c7bf02b
1 parent 9796482
commit c7bf02b
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/test/teststl.cpp b/test/teststl.cpp
@@ -918,6 +918,12 @@ class TestStl : public TestFixture {
                     "    return s[2];\n"
                     "}\n");
         ASSERT_EQUALS("test.cpp:4:error:Out of bounds access in expression 's[2]' because 's' is empty.\n", errout_str());
+
+        checkNormal("void f() {\n" // #12738
+                    "    std::vector<double> v{ 0, 0.1 };\n"
+                    "    (void)v[0];\n"
+                    "}\n");
+        ASSERT_EQUALS("", errout_str());
     }
 
     void outOfBoundsSymbolic()