[clang] [webkit.UncountedLambdaCapturesChecker] Treat arguments of std::ranges::all_of as [[clang::noescape]] (PR #158419)
via cfe-commits
cfe-commits at lists.llvm.org
Sat Sep 13 03:11:40 PDT 2025
github-actions[bot] wrote:
<!--LLVM CODE FORMAT COMMENT: {clang-format}-->
:warning: C/C++ code formatter, clang-format found issues in your code. :warning:
<details>
<summary>
You can test this locally with the following command:
</summary>
``````````bash
git-clang-format --diff origin/main HEAD --extensions cpp -- clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefLambdaCapturesChecker.cpp clang/test/Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp
``````````
:warning:
The reproduction instructions above might return results for more than one PR
in a stack if you are using a stacked PR workflow. You can limit the results by
changing `origin/main` to the base branch/commit you want to compare against.
:warning:
</details>
<details>
<summary>
View the diff from clang-format here.
</summary>
``````````diff
diff --git a/clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefLambdaCapturesChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefLambdaCapturesChecker.cpp
index c4f42b8ac..63f0ed4a5 100644
--- a/clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefLambdaCapturesChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/WebKit/RawPtrRefLambdaCapturesChecker.cpp
@@ -132,8 +132,9 @@ public:
if (!isa<NamespaceDecl>(Decl) && !isa<CXXRecordDecl>(Decl))
return false;
auto Name = safeGetName(Decl);
- // WTF::switchOn(T, F... f) is a variadic template function and couldn't
- // be annotated with NOESCAPE. We hard code it here to workaround that.
+ // WTF::switchOn(T, F... f) is a variadic template function and
+ // couldn't be annotated with NOESCAPE. We hard code it here to
+ // workaround that.
if (Name == "WTF" && PreviousName == "switchOn")
return true;
// Treat every argument of functions in std::ranges as noescape.
@@ -178,7 +179,7 @@ public:
return true;
}
- void checkParameters(CallExpr* CE, FunctionDecl *Callee) {
+ void checkParameters(CallExpr *CE, FunctionDecl *Callee) {
unsigned ArgIndex = isa<CXXOperatorCallExpr>(CE);
bool TreatAllArgsAsNoEscape = shouldTreatAllArgAsNoEscape(Callee);
for (auto *Param : Callee->parameters()) {
``````````
</details>
https://github.com/llvm/llvm-project/pull/158419
More information about the cfe-commits
mailing list