Fix #13085 FN: constVariablePointer for nested array access (danmar#6790)

chrchr-github · web-flow · commit e2efe8e7e085 · 2024-09-10T10:12:49.000+02:00
diff --git a/lib/checkother.cpp b/lib/checkother.cpp
@@ -1645,8 +1645,9 @@ void CheckOther::checkConstPointer()
         pointers.emplace(var);
         const Token* parent = tok->astParent();
         enum Deref : std::uint8_t { NONE, DEREF, MEMBER } deref = NONE;
-        bool hasIncDec = false;
-        if (parent && (parent->isUnaryOp("*") || (hasIncDec = parent->isIncDecOp() && parent->astParent() && parent->astParent()->isUnaryOp("*"))))
+        bool hasIncDecPlus = false;
+        if (parent && (parent->isUnaryOp("*") || (((hasIncDecPlus = parent->isIncDecOp()) || (hasIncDecPlus = (parent->str() == "+"))) &&
+                                                  parent->astParent() && parent->astParent()->isUnaryOp("*"))))
             deref = DEREF;
         else if (Token::simpleMatch(parent, "[") && parent->astOperand1() == tok && tok != nameTok)
             deref = DEREF;
@@ -1672,7 +1673,7 @@ void CheckOther::checkConstPointer()
             }
             if (Token::Match(gparent, "%cop%") && !gparent->isUnaryOp("&") && !gparent->isUnaryOp("*"))
                 continue;
-            if (hasIncDec) {
+            if (hasIncDecPlus) {
                 parent = gparent;
                 gparent = gparent ? gparent->astParent() : nullptr;
             }
diff --git a/test/testother.cpp b/test/testother.cpp
@@ -4199,6 +4199,13 @@ class TestOther : public TestFixture {
               "}\n");
         ASSERT_EQUALS("[test.cpp:1]: (style) Parameter 'b' can be declared as pointer to const\n",
                       errout_str());
+
+        check("int f(int* a, int* b, int i) {\n" // #13085
+              "    a[*(b + i)] = 0;\n"
+              "    return *(b + i);\n"
+              "}\n");
+        ASSERT_EQUALS("[test.cpp:1]: (style) Parameter 'b' can be declared as pointer to const\n",
+                      errout_str());
     }
 
     void constArray() {
