Undo, add test

chrchr-github · Aug 16, 2023 · fa0f3d7 · fa0f3d7
1 parent 71a9139
commit fa0f3d7
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 3 deletions.
diff --git a/lib/valueflow.cpp b/lib/valueflow.cpp
@@ -4256,13 +4256,11 @@ struct LifetimeStore {
     }
 };
 
-static bool hasBorrowingVariables(const std::list<Variable>& vars, const std::vector<const Token*>& args/*, std::set<const Scope*>& scopes*/, int depth = 10)
+static bool hasBorrowingVariables(const std::list<Variable>& vars, const std::vector<const Token*>& args, int depth = 10)
 {
     if (depth < 0)
         return true;
     return std::any_of(vars.cbegin(), vars.cend(), [&](const Variable& var) {
-        if (var.isStatic())
-            return false;
         if (const ValueType* vt = var.valueType()) {
             if (vt->pointer > 0 &&
                 std::none_of(args.begin(), args.end(), [vt](const Token* arg) {

diff --git a/test/testvalueflow.cpp b/test/testvalueflow.cpp
@@ -7359,6 +7359,17 @@ class TestValueFlow : public TestFixture {
                "    if (llabs(0x80000000ffffffffL) == 0x7fffffff00000001L) {}\n"
                "}\n";
         valueOfTok(code, "f");
+
+        code = "struct T {\n"
+               "    T();\n"
+               "    static T a[6][64];\n"
+               "    static T b[2][64];\n"
+               "    static T c[64][64];\n"
+               "    static T d[2][64];\n"
+               "    static T e[64];\n"
+               "    static T f[64];\n"
+               "};\n";
+        valueOfTok(code, "(");
     }
 
     void valueFlowCrashConstructorInitialization() { // #9577