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

Thu Oct 31 00:22:05 PDT 2024

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `openmp-offload-sles-build-only` running on `rocm-worker-hw-04-sles` while building `clang` at step 6 "Add check check-clang".

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

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

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

Command Output (stderr):
--
RUN: at line 1: /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang -cc1 -internal-isystem /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/lib/clang/20/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=webkit.UncountedLambdaCapturesChecker -verify /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/clang/test/Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp
+ /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang -cc1 -internal-isystem /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/lib/clang/20/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=webkit.UncountedLambdaCapturesChecker -verify /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/clang/test/Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp
clang: /home/botworker/bbot/builds/openmp-offload-sles-build/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/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang -cc1 -internal-isystem /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/lib/clang/20/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=webkit.UncountedLambdaCapturesChecker -verify /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/clang/test/Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp
1.	<eof> parser at end of file
 #0 0x00000000027214c8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang+0x27214c8)
 #1 0x000000000271ea0c SignalHandler(int) Signals.cpp:0:0
 #2 0x00007fadaf16b910 __restore_rt (/lib64/libpthread.so.0+0x16910)
 #3 0x00007fadaea99d2b raise (/lib64/libc.so.6+0x4ad2b)
 #4 0x00007fadaea9b3e5 abort (/lib64/libc.so.6+0x4c3e5)
 #5 0x00007fadaea91c6a __assert_fail_base (/lib64/libc.so.6+0x42c6a)
 #6 0x00007fadaea91cf2 (/lib64/libc.so.6+0x42cf2)
 #7 0x0000000005163216 clang::IgnoreParensSingleStep(clang::Expr*) (/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang+0x5163216)
 #8 0x0000000005be4b0a clang::Expr::IgnoreParenCasts() (/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang+0x5be4b0a)
 #9 0x00000000048668a5 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
#10 0x0000000004859f02 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 0x0000000004861ffd 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*>>>>*) (.constprop.6931) UncountedLambdaCapturesChecker.cpp:0:0
#12 0x0000000004872c83 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 0x0000000004859627 clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseDecl(clang::Decl*) (.part.6777) UncountedLambdaCapturesChecker.cpp:0:0
#14 0x000000000487569c clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseFunctionTemplateDecl(clang::FunctionTemplateDecl*) UncountedLambdaCapturesChecker.cpp:0:0
#15 0x0000000004859c6b clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseDeclContextHelper(clang::DeclContext*) (.part.6779) UncountedLambdaCapturesChecker.cpp:0:0
#16 0x0000000004874dac clang::RecursiveASTVisitor<(anonymous namespace)::UncountedLambdaCapturesChecker::checkASTDecl(clang::TranslationUnitDecl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) const::LocalVisitor>::TraverseTranslationUnitDecl(clang::TranslationUnitDecl*) UncountedLambdaCapturesChecker.cpp:0:0
#17 0x0000000004865d55 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 0x0000000004928e41 clang::ento::CheckerManager::runCheckersOnASTDecl(clang::Decl const*, clang::ento::AnalysisManager&, clang::ento::BugReporter&) (/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang+0x4928e41)
#19 0x000000000441b927 (anonymous namespace)::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&) AnalysisConsumer.cpp:0:0
#20 0x0000000004a87cd4 clang::ParseAST(clang::Sema&, bool, bool) (/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang+0x4a87cd4)
#21 0x000000000322dca9 clang::FrontendAction::Execute() (/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang+0x322dca9)
#22 0x00000000031c052a clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang+0x31c052a)
#23 0x0000000003306057 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang+0x3306057)
#24 0x0000000000d724d0 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang+0xd724d0)
#25 0x0000000000d6a8e8 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#26 0x0000000000d6cd65 clang_main(int, char**, llvm::ToolContext const&) (/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang+0xd6cd65)
#27 0x0000000000cb64a3 main (/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang+0xcb64a3)
#28 0x00007fadaea8424d __libc_start_main (/lib64/libc.so.6+0x3524d)
#29 0x0000000000d6a2ca _start /home/abuild/rpmbuild/BUILD/glibc-2.31/csu/../sysdeps/x86_64/start.S:122:0
/home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/tools/clang/test/Analysis/Checkers/WebKit/Output/uncounted-lambda-captures.cpp.script: line 1: 260641 Aborted                 (core dumped) /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/bin/clang -cc1 -internal-isystem /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.build/lib/clang/20/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -analyzer-checker=webkit.UncountedLambdaCapturesChecker -verify /home/botworker/bbot/builds/openmp-offload-sles-build/llvm.src/clang/test/Analysis/Checkers/WebKit/uncounted-lambda-captures.cpp

--

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

```

</details>

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