Fix the assertion failure in Analysis/Checkers/WebKit/forward-decl-checker.mm after llvm#132784. (llvm#133341)

rniwa · web-flow · commit 2e3c31779018 · 2025-03-27T16:45:47.000-07:00
diff --git 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);
     }

Original file line number	Diff line number	Diff line change
`@@ -231,7 +231,8 @@ class ForwardDeclChecker : public Checker<check::ASTDecl<TranslationUnitDecl>> {`
`231`	`231`	`if (BR->getSourceManager().isInSystemHeader(E->getExprLoc()))`
`232`	`232`	`return;`
`233`	`233`
`234`		`- if (auto *Receiver = E->getInstanceReceiver()->IgnoreParenCasts()) {`
	`234`	`+ if (auto *Receiver = E->getInstanceReceiver()) {`
	`235`	`+ Receiver = Receiver->IgnoreParenCasts();`
`235`	`236`	`if (isUnknownType(E->getReceiverType()))`
`236`	`237`	`reportUnknownRecieverType(Receiver, DeclWithIssue);`
`237`	`238`	`}`