Update testvalueflow.cpp

danmar · Sep 26, 2024 · d0797ad · d0797ad
1 parent 7ddc4f4
commit d0797ad
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test/testvalueflow.cpp b/test/testvalueflow.cpp
@@ -6992,6 +6992,14 @@ class TestValueFlow : public TestFixture {
                "    if (s.empty()) {}\n"
                "}";
         ASSERT_EQUALS("", isPossibleContainerSizeValue(tokenValues(code, "s . empty"), 0));
+
+        code = "int f(const std::string& str) {\n"
+               "    std::istringstream iss(str);\n"
+               "    std::vector<std::string> v{ std::istream_iterator<std::string>(iss), {} };\n"
+               "    auto x = v.size();\n"
+               "    return x;\n"
+               "}";
+        ASSERT_EQUALS(false, testValueOfXKnown(code, 5U, 2));
     }
 
     void valueFlowContainerElement()