llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang @llvm/pr-subscribers-clang-static-analyzer-1 Author: Ryosuke Niwa (rniwa) <details> <summary>Changes</summary> --- Full diff: https://github.com/llvm/llvm-project/pull/91875.diff 2 Files Affected: - (modified) clang/lib/StaticAnalyzer/Checkers/WebKit/ASTUtils.cpp (+7) - (modified) clang/test/Analysis/Checkers/WebKit/call-args.cpp (+7) ``````````diff diff --git a/clang/lib/StaticAnalyzer/Checkers/WebKit/ASTUtils.cpp b/clang/lib/StaticAnalyzer/Checkers/WebKit/ASTUtils.cpp index f81db0e67d835..423c2d749bcfb 100644 --- a/clang/lib/StaticAnalyzer/Checkers/WebKit/ASTUtils.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/WebKit/ASTUtils.cpp @@ -28,6 +28,13 @@ bool tryToFindPtrOrigin( E = tempExpr->getSubExpr(); continue; } + if (auto *tempExpr = dyn_cast<CXXTemporaryObjectExpr>(E)) { + if (auto *C = tempExpr->getConstructor()) { + if (auto* Class = C->getParent(); Class && isRefCounted(Class)) + return callback(E, true); + break; + } + } if (auto *tempExpr = dyn_cast<ParenExpr>(E)) { E = tempExpr->getSubExpr(); continue; diff --git a/clang/test/Analysis/Checkers/WebKit/call-args.cpp b/clang/test/Analysis/Checkers/WebKit/call-args.cpp index e1bee8a23a250..94efddeaf66cd 100644 --- a/clang/test/Analysis/Checkers/WebKit/call-args.cpp +++ b/clang/test/Analysis/Checkers/WebKit/call-args.cpp @@ -358,3 +358,10 @@ namespace call_with_ptr_on_ref { // expected-warning@-1{{Call argument for parameter 'bad' is uncounted and unsafe}} } } + +namespace call_with_explicit_temporary_obj { + void foo() { + Ref { *provide() }->method(); + RefPtr { provide() }->method(); + } +} `````````` </details> https://github.com/llvm/llvm-project/pull/91875 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
