[clang] [alpha.webkit.UnretainedCallArgsChecker] Add a checker for NS or CF type call arguments. (PR #130729)

Tue Mar 11 12:58:25 PDT 2025

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `openmp-offload-amdgpu-runtime-2` running on `rocm-worker-hw-02` while building `clang` at step 7 "Add check check-clang".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/10/builds/1097

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 7 (Add check check-clang) failure: test (failure)
******************** TEST 'Clang :: Analysis/Checkers/WebKit/unretained-call-args.mm' FAILED ********************
Exit Code: 134

Command Output (stderr):
--
RUN: at line 1: /home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/bin/clang -cc1 -internal-isystem /home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=alpha.webkit.UnretainedCallArgsChecker -verify /home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.src/clang/test/Analysis/Checkers/WebKit/unretained-call-args.mm
+ /home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/bin/clang -cc1 -internal-isystem /home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=alpha.webkit.UnretainedCallArgsChecker -verify /home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.src/clang/test/Analysis/Checkers/WebKit/unretained-call-args.mm
clang: /home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.src/llvm/include/llvm/Support/Casting.h:662: decltype(auto) llvm::dyn_cast(From*) [with To = clang::ParenExpr; From = clang::Expr]: Assertion `detail::isPresent(Val) && "dyn_cast on a non-existent value"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.	Program arguments: /home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/bin/clang -cc1 -internal-isystem /home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=alpha.webkit.UnretainedCallArgsChecker -verify /home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.src/clang/test/Analysis/Checkers/WebKit/unretained-call-args.mm
1.	<eof> parser at end of file
 #0 0x00007b5ba4de6670 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libLLVMSupport.so.21.0git+0x1e6670)
 #1 0x00007b5ba4de3a6f llvm::sys::RunSignalHandlers() (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libLLVMSupport.so.21.0git+0x1e3a6f)
 #2 0x00007b5ba4de3bba SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #3 0x00007b5ba4442520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007b5ba44969fc __pthread_kill_implementation ./nptl/pthread_kill.c:44:76
 #5 0x00007b5ba44969fc __pthread_kill_internal ./nptl/pthread_kill.c:78:10
 #6 0x00007b5ba44969fc pthread_kill ./nptl/pthread_kill.c:89:10
 #7 0x00007b5ba4442476 gsignal ./signal/../sysdeps/posix/raise.c:27:6
 #8 0x00007b5ba44287f3 abort ./stdlib/abort.c:81:7
 #9 0x00007b5ba442871b _nl_load_domain ./intl/loadmsgcat.c:1177:9
#10 0x00007b5ba4439e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#11 0x00007b5ba2819191 (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x619191)
#12 0x00007b5ba2823008 clang::Expr::IgnoreParenCasts() (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x623008)
#13 0x00007b5ba08364df (anonymous namespace)::RawPtrRefCallArgsChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor::VisitObjCMessageExpr(clang::ObjCMessageExpr*) RawPtrRefCallArgsChecker.cpp:0:0
#14 0x00007b5ba275fd50 clang::DynamicRecursiveASTVisitorBase<false>::TraverseObjCMessageExpr(clang::ObjCMessageExpr*) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x55fd50)
#15 0x00007b5ba274d671 clang::RecursiveASTVisitor<(anonymous namespace)::Impl<false>>::TraverseStmt(clang::Stmt*, llvm::SmallVectorImpl<llvm::PointerIntPair<clang::Stmt*, 1u, bool, llvm::PointerLikeTypeTraits<clang::Stmt*>, llvm::PointerIntPairInfo<clang::Stmt*, 1u, llvm::PointerLikeTypeTraits<clang::Stmt*>>>>*) (.constprop.0) DynamicRecursiveASTVisitor.cpp:0:0
#16 0x00007b5ba274d7b4 clang::DynamicRecursiveASTVisitorBase<false>::TraverseStmt(clang::Stmt*) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x54d7b4)
#17 0x00007b5ba275fc88 clang::DynamicRecursiveASTVisitorBase<false>::TraverseObjCMessageExpr(clang::ObjCMessageExpr*) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x55fc88)
#18 0x00007b5ba274d671 clang::RecursiveASTVisitor<(anonymous namespace)::Impl<false>>::TraverseStmt(clang::Stmt*, llvm::SmallVectorImpl<llvm::PointerIntPair<clang::Stmt*, 1u, bool, llvm::PointerLikeTypeTraits<clang::Stmt*>, llvm::PointerIntPairInfo<clang::Stmt*, 1u, llvm::PointerLikeTypeTraits<clang::Stmt*>>>>*) (.constprop.0) DynamicRecursiveASTVisitor.cpp:0:0
#19 0x00007b5ba274d7b4 clang::DynamicRecursiveASTVisitorBase<false>::TraverseStmt(clang::Stmt*) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x54d7b4)
#20 0x00007b5ba27599f8 clang::RecursiveASTVisitor<(anonymous namespace)::Impl<false>>::TraverseBreakStmt(clang::BreakStmt*, llvm::SmallVectorImpl<llvm::PointerIntPair<clang::Stmt*, 1u, bool, llvm::PointerLikeTypeTraits<clang::Stmt*>, llvm::PointerIntPairInfo<clang::Stmt*, 1u, llvm::PointerLikeTypeTraits<clang::Stmt*>>>>*) (.part.0) DynamicRecursiveASTVisitor.cpp:0:0
#21 0x00007b5ba2775593 clang::DynamicRecursiveASTVisitorBase<false>::TraverseCallExpr(clang::CallExpr*) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x575593)
#22 0x00007b5ba274d671 clang::RecursiveASTVisitor<(anonymous namespace)::Impl<false>>::TraverseStmt(clang::Stmt*, llvm::SmallVectorImpl<llvm::PointerIntPair<clang::Stmt*, 1u, bool, llvm::PointerLikeTypeTraits<clang::Stmt*>, llvm::PointerIntPairInfo<clang::Stmt*, 1u, llvm::PointerLikeTypeTraits<clang::Stmt*>>>>*) (.constprop.0) DynamicRecursiveASTVisitor.cpp:0:0
#23 0x00007b5ba274d7b4 clang::DynamicRecursiveASTVisitorBase<false>::TraverseStmt(clang::Stmt*) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x54d7b4)
#24 0x00007b5ba27599f8 clang::RecursiveASTVisitor<(anonymous namespace)::Impl<false>>::TraverseBreakStmt(clang::BreakStmt*, llvm::SmallVectorImpl<llvm::PointerIntPair<clang::Stmt*, 1u, bool, llvm::PointerLikeTypeTraits<clang::Stmt*>, llvm::PointerIntPairInfo<clang::Stmt*, 1u, llvm::PointerLikeTypeTraits<clang::Stmt*>>>>*) (.part.0) DynamicRecursiveASTVisitor.cpp:0:0
#25 0x00007b5ba2774193 clang::DynamicRecursiveASTVisitorBase<false>::TraverseCXXBindTemporaryExpr(clang::CXXBindTemporaryExpr*) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x574193)
#26 0x00007b5ba274d671 clang::RecursiveASTVisitor<(anonymous namespace)::Impl<false>>::TraverseStmt(clang::Stmt*, llvm::SmallVectorImpl<llvm::PointerIntPair<clang::Stmt*, 1u, bool, llvm::PointerLikeTypeTraits<clang::Stmt*>, llvm::PointerIntPairInfo<clang::Stmt*, 1u, llvm::PointerLikeTypeTraits<clang::Stmt*>>>>*) (.constprop.0) DynamicRecursiveASTVisitor.cpp:0:0
#27 0x00007b5ba274d7b4 clang::DynamicRecursiveASTVisitorBase<false>::TraverseStmt(clang::Stmt*) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x54d7b4)
#28 0x00007b5ba27599f8 clang::RecursiveASTVisitor<(anonymous namespace)::Impl<false>>::TraverseBreakStmt(clang::BreakStmt*, llvm::SmallVectorImpl<llvm::PointerIntPair<clang::Stmt*, 1u, bool, llvm::PointerLikeTypeTraits<clang::Stmt*>, llvm::PointerIntPairInfo<clang::Stmt*, 1u, llvm::PointerLikeTypeTraits<clang::Stmt*>>>>*) (.part.0) DynamicRecursiveASTVisitor.cpp:0:0
#29 0x00007b5ba275c526 clang::DynamicRecursiveASTVisitorBase<false>::TraverseExprWithCleanups(clang::ExprWithCleanups*) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x55c526)
#30 0x00007b5ba274d671 clang::RecursiveASTVisitor<(anonymous namespace)::Impl<false>>::TraverseStmt(clang::Stmt*, llvm::SmallVectorImpl<llvm::PointerIntPair<clang::Stmt*, 1u, bool, llvm::PointerLikeTypeTraits<clang::Stmt*>, llvm::PointerIntPairInfo<clang::Stmt*, 1u, llvm::PointerLikeTypeTraits<clang::Stmt*>>>>*) (.constprop.0) DynamicRecursiveASTVisitor.cpp:0:0
#31 0x00007b5ba274d7b4 clang::DynamicRecursiveASTVisitorBase<false>::TraverseStmt(clang::Stmt*) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x54d7b4)
#32 0x00007b5ba27835dd clang::DynamicRecursiveASTVisitorBase<false>::TraverseVarDecl(clang::VarDecl*) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x5835dd)
#33 0x00007b5ba08351fb (anonymous namespace)::RawPtrRefCallArgsChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor::TraverseDecl(clang::Decl*) RawPtrRefCallArgsChecker.cpp:0:0
#34 0x00007b5ba274ced6 clang::DynamicRecursiveASTVisitorBase<false>::TraverseDeclStmt(clang::DeclStmt*) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x54ced6)
#35 0x00007b5ba274d671 clang::RecursiveASTVisitor<(anonymous namespace)::Impl<false>>::TraverseStmt(clang::Stmt*, llvm::SmallVectorImpl<llvm::PointerIntPair<clang::Stmt*, 1u, bool, llvm::PointerLikeTypeTraits<clang::Stmt*>, llvm::PointerIntPairInfo<clang::Stmt*, 1u, llvm::PointerLikeTypeTraits<clang::Stmt*>>>>*) (.constprop.0) DynamicRecursiveASTVisitor.cpp:0:0
#36 0x00007b5ba274d7b4 clang::DynamicRecursiveASTVisitorBase<false>::TraverseStmt(clang::Stmt*) (/home/botworker/builds/openmp-offload-amdgpu-runtime-2/llvm.build/lib/libclangAST.so.21.0git+0x54d7b4)
#37 0x00007b5ba27599f8 clang::RecursiveASTVisitor<(anonymous namespace)::Impl<false>>::TraverseBreakStmt(clang::BreakStmt*, llvm::SmallVectorImpl<llvm::PointerIntPair<clang::Stmt*, 1u, bool, llvm::PointerLikeTypeTraits<clang::Stmt*>, llvm::PointerIntPairInfo<clang::Stmt*, 1u, llvm::PointerLikeTypeTraits<clang::Stmt*>>>>*) (.part.0) DynamicRecursiveASTVisitor.cpp:0:0
...

```

</details>

https://github.com/llvm/llvm-project/pull/130729