Fix #12738 FP containerOutOfBounds for std::vector with braced initializer (#6409)

Author: chrchr-github

lib/valueflow.cpp

@@ -8788,7 +8788,7 @@ static std::vector<ValueFlow::Value> getInitListSize(const Token* tok,
     bool initList = true;
     // Try to disambiguate init list from constructor
     if (args.size() < 4) {
-        initList = !isIteratorPair(args) && !(args.size() < 3 && astIsIntegral(args[0], false));
+        initList = !isIteratorPair(args);
         const Token* containerTypeToken = valueType->containerTypeToken;
         if (valueType->container->stdStringLike) {
             initList = astIsGenericChar(args[0]) && !astIsPointer(args[0]);

test/teststl.cpp

@@ -926,6 +926,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()