[clang] Fix the assertion failure in Analysis/Checkers/WebKit/forward-decl-checker.mm after https://github.com/llvm/llvm-project/pull/132784. (PR #133341)

Ryosuke Niwa via cfe-commits cfe-commits at lists.llvm.org
Thu Mar 27 16:25:22 PDT 2025


https://github.com/rniwa created https://github.com/llvm/llvm-project/pull/133341

None

>From 13115c0d14953c01dba10c4fbb38e149acce6c34 Mon Sep 17 00:00:00 2001
From: Ryosuke Niwa <rniwa at webkit.org>
Date: Thu, 27 Mar 2025 16:24:23 -0700
Subject: [PATCH] Fix the assertion failure in
 Analysis/Checkers/WebKit/forward-decl-checker.mm after
 https://github.com/llvm/llvm-project/pull/132784.

---
 .../lib/StaticAnalyzer/Checkers/WebKit/ForwardDeclChecker.cpp  | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/clang/lib/StaticAnalyzer/Checkers/WebKit/ForwardDeclChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/WebKit/ForwardDeclChecker.cpp
index 291eb140d3202..a524593b0119b 100644
--- a/clang/lib/StaticAnalyzer/Checkers/WebKit/ForwardDeclChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/WebKit/ForwardDeclChecker.cpp
@@ -231,7 +231,8 @@ class ForwardDeclChecker : public Checker<check::ASTDecl<TranslationUnitDecl>> {
     if (BR->getSourceManager().isInSystemHeader(E->getExprLoc()))
       return;
 
-    if (auto *Receiver = E->getInstanceReceiver()->IgnoreParenCasts()) {
+    if (auto *Receiver = E->getInstanceReceiver()) {
+      Receiver = Receiver->IgnoreParenCasts();
       if (isUnknownType(E->getReceiverType()))
         reportUnknownRecieverType(Receiver, DeclWithIssue);
     }



More information about the cfe-commits mailing list