From 388afe625fabb790fd5e996f032ae053380c42e9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludvig=20Gunne=20Lindstr=C3=B6m?=
 <ludviggunnelindstrom@gmail.com>
Date: Wed, 11 Mar 2026 12:04:25 +0100
Subject: [PATCH 1/2] Add test

---
 test/testunusedvar.cpp | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/test/testunusedvar.cpp b/test/testunusedvar.cpp
index e5f4c08f043..1b4cade2fa4 100644
--- a/test/testunusedvar.cpp
+++ b/test/testunusedvar.cpp
@@ -271,6 +271,8 @@ class TestUnusedVar : public TestFixture {
         TEST_CASE(globalData);
 
         TEST_CASE(structuredBinding); // #13269
+
+        TEST_CASE(pointerCast); // #14535
     }
 
     struct FunctionVariableUsageOptions
@@ -7308,6 +7310,15 @@ class TestUnusedVar : public TestFixture {
                               "}\n");
         ASSERT_EQUALS("", errout_str());
     }
+
+    void pointerCast() { // #14535
+        functionVariableUsage("void f(int* p)\n"
+                              "{\n"
+                              "    int* p2 = p;\n"
+                              "    ((int *)(p2))[0] = 0; // remove cast for warning to disappear\n"
+                              "}\n");
+        ASSERT_EQUALS("", errout_str());
+    }
 };
 
 REGISTER_TEST(TestUnusedVar)

From 2e6361ad246bc86c52c8dff7624495381d6239ca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludvig=20Gunne=20Lindstr=C3=B6m?=
 <ludviggunnelindstrom@gmail.com>
Date: Wed, 11 Mar 2026 11:44:02 +0100
Subject: [PATCH 2/2] Fix #14353

---
 lib/astutils.cpp | 32 +++++++++++++++++++-------------
 1 file changed, 19 insertions(+), 13 deletions(-)

diff --git a/lib/astutils.cpp b/lib/astutils.cpp
index 2d53ef0b0c1..64f28b8506d 100644
--- a/lib/astutils.cpp
+++ b/lib/astutils.cpp
@@ -3670,21 +3670,27 @@ bool isGlobalData(const Token *expr)
             globalData = true;
             return ChildrenToVisit::none;
         }
-        if (Token::Match(tok, "[*[]") && tok->astOperand1() && tok->astOperand1()->variable()) {
+        if (Token::Match(tok, "[*[]") && tok->astOperand1()) {
             // TODO check if pointer points at local data
-            const Variable *lhsvar = tok->astOperand1()->variable();
-            const ValueType *lhstype = tok->astOperand1()->valueType();
-            if (lhsvar->isPointer() || !lhstype || lhstype->type == ValueType::Type::ITERATOR) {
-                globalData = true;
-                return ChildrenToVisit::none;
-            }
-            if (lhsvar->isArgument() && lhsvar->isArray()) {
-                globalData = true;
-                return ChildrenToVisit::none;
+            const Token *lhs = tok->astOperand1();
+            if (!lhs->variable() && lhs->isCast()) {
+                lhs = lhs->astOperand1();
             }
-            if (lhsvar->isArgument() && lhstype->type <= ValueType::Type::VOID && !lhstype->container) {
-                globalData = true;
-                return ChildrenToVisit::none;
+            if (lhs && lhs->variable()) {
+                const Variable *lhsvar = lhs->variable();
+                const ValueType *lhstype = lhs->valueType();
+                if (lhsvar->isPointer() || !lhstype || lhstype->type == ValueType::Type::ITERATOR) {
+                    globalData = true;
+                    return ChildrenToVisit::none;
+                }
+                if (lhsvar->isArgument() && lhsvar->isArray()) {
+                    globalData = true;
+                    return ChildrenToVisit::none;
+                }
+                if (lhsvar->isArgument() && lhstype->type <= ValueType::Type::VOID && !lhstype->container) {
+                    globalData = true;
+                    return ChildrenToVisit::none;
+                }
             }
         }
         if (tok->varId() == 0 && tok->isName() && tok->strAt(-1) != ".") {