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

Thu Oct 31 01:36:03 PDT 2024

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `reverse-iteration` running on `hexagon-build-03` while building `clang` at step 6 "check_all".

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

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

```
Step 6 (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: /local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang -cc1 -internal-isystem /local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/lib/clang/20/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=webkit.UncountedLambdaCapturesChecker -verify /local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.src/clang/test/Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp
+ /local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang -cc1 -internal-isystem /local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/lib/clang/20/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=webkit.UncountedLambdaCapturesChecker -verify /local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.src/clang/test/Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp
clang: /local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.src/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: /local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang -cc1 -internal-isystem /local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/lib/clang/20/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=webkit.UncountedLambdaCapturesChecker -verify /local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.src/clang/test/Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp
1.	<eof> parser at end of file
 #0 0x00000000035be487 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang+0x35be487)
 #1 0x00000000035bc15e llvm::sys::RunSignalHandlers() (/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang+0x35bc15e)
 #2 0x00000000035beb3f SignalHandler(int) Signals.cpp:0:0
 #3 0x00007f269b77d980 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12980)
 #4 0x00007f269a2cbfb7 raise (/lib/x86_64-linux-gnu/libc.so.6+0x3efb7)
 #5 0x00007f269a2cd921 abort (/lib/x86_64-linux-gnu/libc.so.6+0x40921)
 #6 0x00007f269a2bd48a (/lib/x86_64-linux-gnu/libc.so.6+0x3048a)
 #7 0x00007f269a2bd502 (/lib/x86_64-linux-gnu/libc.so.6+0x30502)
 #8 0x00000000061da265 clang::IgnoreParensSingleStep(clang::Expr*) (/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang+0x61da265)
 #9 0x0000000006c93a10 clang::Expr::IgnoreParenCasts() (/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang+0x6c93a10)
#10 0x000000000590677e clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::dataTraverseNode(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
#11 0x00000000058fe14d 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
#12 0x000000000591612c clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseFunctionHelper(clang::FunctionDecl*) UncountedLambdaCapturesChecker.cpp:0:0
#13 0x00000000058fa9e4 clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseDecl(clang::Decl*) UncountedLambdaCapturesChecker.cpp:0:0
#14 0x00000000058f92db clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseDecl(clang::Decl*) UncountedLambdaCapturesChecker.cpp:0:0
#15 0x0000000005910bbb clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseDeclContextHelper(clang::DeclContext*) UncountedLambdaCapturesChecker.cpp:0:0
#16 0x00000000058fc0c0 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 0x00000000058f917c 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
#18 0x00000000059a8d90 clang::ento::CheckerManager::runCheckersOnASTDecl(clang::Decl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) (/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang+0x59a8d90)
#19 0x0000000005561a9b (anonymous namespace)::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&) AnalysisConsumer.cpp:0:0
#20 0x0000000005ad3767 clang::ParseAST(clang::Sema&, bool, bool) (/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang+0x5ad3767)
#21 0x0000000004090410 clang::FrontendAction::Execute() (/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang+0x4090410)
#22 0x0000000004012fff clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang+0x4012fff)
#23 0x000000000415a6af clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang+0x415a6af)
#24 0x0000000000c74853 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang+0xc74853)
#25 0x0000000000c71091 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#26 0x0000000000c705f1 clang_main(int, char**, llvm::ToolContext const&) (/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang+0xc705f1)
#27 0x0000000000c7f207 main (/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang+0xc7f207)
#28 0x00007f269a2aebf7 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x21bf7)
#29 0x0000000000c6eb8a _start (/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang+0xc6eb8a)
/local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/tools/clang/test/Analysis/Checkers/WebKit/Output/uncounted-lambda-captures.cpp.script: line 1:  1103 Aborted                 /local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/bin/clang -cc1 -internal-isystem /local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.obj/lib/clang/20/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=webkit.UncountedLambdaCapturesChecker -verify /local/mnt/workspace/bots/hexagon-build-03/reverse-iteration/llvm.src/clang/test/Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp

--

********************

```

</details>

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