From c7bf02b492486f3193ed3f3ba632932d91f37342 Mon Sep 17 00:00:00 2001
From: chrchr-github <78114321+chrchr-github@users.noreply.github.com>
Date: Thu, 16 May 2024 15:06:40 +0200
Subject: [PATCH] Update teststl.cpp

---
 test/teststl.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/test/teststl.cpp b/test/teststl.cpp
index f32d4b40713..f72625f6717 100644
--- 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()