Update testvalueflow.cpp

danmar · Aug 7, 2024 · 3f01cfe · 3f01cfe
1 parent b8522c5
commit 3f01cfe
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/test/testvalueflow.cpp b/test/testvalueflow.cpp
@@ -6942,6 +6942,13 @@ class TestValueFlow : public TestFixture {
                "    return x;\n"
                "}\n";
         ASSERT_EQUALS(true, testValueOfXKnown(code, 5U, 1));
+
+        code = "std::string f() {\n" // #12993
+               "    std::string a[1];\n"
+               "    a->clear();\n"
+               "    return a[0];\n"
+               "}\n";
+        ASSERT(!isKnownContainerSizeValue(tokenValues(code, "a [ 0"), 0).empty());
     }
 
     void valueFlowContainerElement()