Fix #12822 (FP knownPointerToBool with array parameter (regression)) (#…

…6707)
danmar · Aug 17, 2024 · 9aa63a7 · 9aa63a7
1 parent 97277b0
commit 9aa63a7
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/lib/astutils.cpp b/lib/astutils.cpp
@@ -738,6 +738,8 @@ std::vector<ValueType> getParentValueTypes(const Token* tok, const Settings& set
                         continue;
                     nameTok = var->nameToken();
                     result.push_back(*var->valueType());
+                    if (var->isArray())
+                        result.back().pointer += var->dimensions().size();
                 }
                 if (result.size() == 1 && nameTok && parent) {
                     *parent = nameTok;

diff --git a/test/testother.cpp b/test/testother.cpp
@@ -12404,6 +12404,13 @@ class TestOther : public TestFixture {
               "    if (!ptr || !ptr()) {}\n"
               "}\n");
         ASSERT_EQUALS("", errout_str());
+
+        check("void g(bool b[2]);\n" // #12822
+              "void f() {\n"
+              "    bool b[2] = {};\n"
+              "    g(b);\n"
+              "}");
+        ASSERT_EQUALS("", errout_str());
     }
 
     void iterateByValue() {