[clang] [webkit.UncountedLambdaCapturesChecker] Ignore trivial functions and [[clang::noescape]]. (PR #113845)

Thu Oct 31 00:33:28 PDT 2024

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `clang-debian-cpp20` running on `clang-debian-cpp20` while building `clang` at step 6 "test-build-unified-tree-check-all".

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

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

```
Step 6 (test-build-unified-tree-check-all) failure: test (failure)
******************** TEST 'Clang :: Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp' FAILED ********************
Exit Code: 134

Command Output (stderr):
--
RUN: at line 1: /vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang -cc1 -internal-isystem /vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/lib/clang/20/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=webkit.UncountedLambdaCapturesChecker -verify /vol/worker/clang-debian-cpp20/clang-debian-cpp20/llvm-project/clang/test/Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp
+ /vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang -cc1 -internal-isystem /vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/lib/clang/20/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=webkit.UncountedLambdaCapturesChecker -verify /vol/worker/clang-debian-cpp20/clang-debian-cpp20/llvm-project/clang/test/Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp
clang: /vol/worker/clang-debian-cpp20/clang-debian-cpp20/llvm-project/llvm/include/llvm/Support/Casting.h:662: decltype(auto) llvm::dyn_cast(From *) [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: /vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang -cc1 -internal-isystem /vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/lib/clang/20/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=webkit.UncountedLambdaCapturesChecker -verify /vol/worker/clang-debian-cpp20/clang-debian-cpp20/llvm-project/clang/test/Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp
1.	<eof> parser at end of file
 #0 0x00005cacb1ec9e78 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang+0x3b8be78)
 #1 0x00005cacb1ec78ed llvm::sys::RunSignalHandlers() (/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang+0x3b898ed)
 #2 0x00005cacb1eca3f8 SignalHandler(int) Signals.cpp:0:0
 #3 0x00007a7b94b95510 (/lib/x86_64-linux-gnu/libc.so.6+0x3c510)
 #4 0x00007a7b94be30fc (/lib/x86_64-linux-gnu/libc.so.6+0x8a0fc)
 #5 0x00007a7b94b95472 raise (/lib/x86_64-linux-gnu/libc.so.6+0x3c472)
 #6 0x00007a7b94b7f4b2 abort (/lib/x86_64-linux-gnu/libc.so.6+0x264b2)
 #7 0x00007a7b94b7f3d5 (/lib/x86_64-linux-gnu/libc.so.6+0x263d5)
 #8 0x00007a7b94b8e3a2 (/lib/x86_64-linux-gnu/libc.so.6+0x353a2)
 #9 0x00005cacb49d823e clang::IgnoreParensSingleStep(clang::Expr*) (/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang+0x669a23e)
#10 0x00005cacb55192cb clang::Expr::IgnoreParenCasts() (/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang+0x71db2cb)
#11 0x00005cacb4082a2e clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseDeclRefExpr(clang::DeclRefExpr*, llvm::SmallVectorImpl<llvm::PointerIntPair<clang::Stmt*, 1u, bool, llvm::PointerLikeTypeTraits<clang::Stmt*>, llvm::PointerIntPairInfo<clang::Stmt*, 1u, llvm::PointerLikeTypeTraits<clang::Stmt*>>>>*) UncountedLambdaCapturesChecker.cpp:0:0
#12 0x00005cacb407805c clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseStmt(clang::Stmt*, llvm::SmallVectorImpl<llvm::PointerIntPair<clang::Stmt*, 1u, bool, llvm::PointerLikeTypeTraits<clang::Stmt*>, llvm::PointerIntPairInfo<clang::Stmt*, 1u, llvm::PointerLikeTypeTraits<clang::Stmt*>>>>*) UncountedLambdaCapturesChecker.cpp:0:0
#13 0x00005cacb4097918 clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseFunctionHelper(clang::FunctionDecl*) UncountedLambdaCapturesChecker.cpp:0:0
#14 0x00005cacb4072a92 clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseFunctionDecl(clang::FunctionDecl*) UncountedLambdaCapturesChecker.cpp:0:0
#15 0x00005cacb40701bc clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseDecl(clang::Decl*) UncountedLambdaCapturesChecker.cpp:0:0
#16 0x00005cacb406fce9 clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseDecl(clang::Decl*) UncountedLambdaCapturesChecker.cpp:0:0
#17 0x00005cacb409253b clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseDeclContextHelper(clang::DeclContext*) UncountedLambdaCapturesChecker.cpp:0:0
#18 0x00005cacb407068f clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseTranslationUnitDecl(clang::TranslationUnitDecl*) UncountedLambdaCapturesChecker.cpp:0:0
#19 0x00005cacb406fe0f clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseDecl(clang::Decl*) UncountedLambdaCapturesChecker.cpp:0:0
#20 0x00005cacb406fb9f void clang::ento::check::ASTDecl<clang::TranslationUnitDecl>::_checkDecl<(anonymous namespace)::UncountedLambdaCapturesChecker>(void*, clang::Decl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) UncountedLambdaCapturesChecker.cpp:0:0
#21 0x00005cacb414a321 clang::ento::CheckerManager::runCheckersOnASTDecl(clang::Decl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) (/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang+0x5e0c321)
#22 0x00005cacb3c6f527 (anonymous namespace)::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&) AnalysisConsumer.cpp:0:0
#23 0x00005cacb4279849 clang::ParseAST(clang::Sema&, bool, bool) (/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang+0x5f3b849)
#24 0x00005cacb293e43f clang::FrontendAction::Execute() (/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang+0x460043f)
#25 0x00005cacb28b289d clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang+0x457489d)
#26 0x00005cacb2a1c6a7 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang+0x46de6a7)
#27 0x00005cacaf6fe49e cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang+0x13c049e)
#28 0x00005cacaf6fab8e ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#29 0x00005cacaf6f9b8e clang_main(int, char**, llvm::ToolContext const&) (/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang+0x13bbb8e)
#30 0x00005cacaf7098b7 main (/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang+0x13cb8b7)
#31 0x00007a7b94b806ca (/lib/x86_64-linux-gnu/libc.so.6+0x276ca)
#32 0x00007a7b94b80785 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x27785)
#33 0x00005cacaf6f86e1 _start (/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang+0x13ba6e1)
/vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/tools/clang/test/Analysis/Checkers/WebKit/Output/uncounted-lambda-captures.cpp.script: line 1: 1315989 Aborted                 /vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/bin/clang -cc1 -internal-isystem /vol/worker/clang-debian-cpp20/clang-debian-cpp20/build/lib/clang/20/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=webkit.UncountedLambdaCapturesChecker -verify /vol/worker/clang-debian-cpp20/clang-debian-cpp20/llvm-project/clang/test/Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp

--

...

```

</details>

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