[clang] [clang][analyzer] Detect use-after-move for 3-arg std::move (PR #196602)
via cfe-commits
cfe-commits at lists.llvm.org
Fri May 8 11:48:43 PDT 2026
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results
* 87903 tests passed
* 1547 tests skipped
* 5 tests failed
## Failed Tests
(click on a test name to see its output)
### Clang
<details>
<summary>Clang.Analysis/invalidated-iterator.cpp</summary>
```
Exit Code: -6
Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++11 -analyzer-checker=core,cplusplus,alpha.cplusplus.InvalidatedIterator -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/invalidated-iterator.cpp -verify
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++11 -analyzer-checker=core,cplusplus,alpha.cplusplus.InvalidatedIterator -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/invalidated-iterator.cpp -verify
# .---command stderr------------
# | clang: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Casting.h:572: decltype(auto) llvm::cast(From *) [To = clang::ento::TypedValueRegion, From = const clang::ento::MemRegion]: Assertion `isa<To>(Val) && "cast<Ty>() argument of incompatible type!"' 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/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++11 -analyzer-checker=core,cplusplus,alpha.cplusplus.InvalidatedIterator -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/invalidated-iterator.cpp -verify
# | 1. <eof> parser at end of file
# | 2. While analyzing stack:
# | #0 Calling normal_dereference(std::vector<int> &)
# | 3. /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/invalidated-iterator.cpp:11:3: Error evaluating statement
# | 4. /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/invalidated-iterator.cpp:11:3: Error evaluating statement
# | #0 0x00000000092dad78 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:880:13
# | #1 0x00000000092d7ce1 llvm::sys::RunSignalHandlers() /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Signals.cpp:109:18
# | #2 0x00000000092dbb91 SignalHandler(int, siginfo_t*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:448:38
# | #3 0x00000000092db9e8 __find_if<const int *, __gnu_cxx::__ops::_Iter_equals_val<const int> > /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_algobase.h:2072:8
# | #4 0x00000000092db9e8 __find_if<const int *, __gnu_cxx::__ops::_Iter_equals_val<const int> > /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_algobase.h:2117:14
# | #5 0x00000000092db9e8 find<const int *, int> /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_algo.h:3897:14
# | #6 0x00000000092db9e8 is_contained<const int (&)[10], int> /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLExtras.h:1952:12
# | #7 0x00000000092db9e8 SignalHandlerTerminate(int, siginfo_t*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:464:7
# | #8 0x00007d1be571e330 (/lib/x86_64-linux-gnu/libc.so.6+0x45330)
# | #9 0x00007d1be5777b2c pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x9eb2c)
# | #10 0x00007d1be571e27e raise (/lib/x86_64-linux-gnu/libc.so.6+0x4527e)
# | #11 0x00007d1be57018ff abort (/lib/x86_64-linux-gnu/libc.so.6+0x288ff)
# | #12 0x00007d1be570181b (/lib/x86_64-linux-gnu/libc.so.6+0x2881b)
# | #13 0x00007d1be5714517 (/lib/x86_64-linux-gnu/libc.so.6+0x3b517)
# | #14 0x000000000b3a3110 getCommonPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/AST/TypeBase.h:953:5
# | #15 0x000000000b3a3110 getTypePtr /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/AST/TypeBase.h:8437:10
# | #16 0x000000000b3a3110 operator-> /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/AST/TypeBase.h:997:12
# | #17 0x000000000b3a3110 checkPreCall /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp:709:23
# | #18 0x000000000b3a3110 void clang::ento::check::PreCall::_checkCall<(anonymous namespace)::MoveChecker>(void*, clang::ento::CallEvent const&, clang::ento::CheckerContext&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/Checker.h:168:33
# | #19 0x000000000b5564ab Release /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:1508:10
# | #20 0x000000000b5564ab release /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:164:38
# | #21 0x000000000b5564ab release /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:233:7
# | #22 0x000000000b5564ab ~IntrusiveRefCntPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:196:27
# | #23 0x000000000b5564ab runChecker /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp:291:7
# | #24 0x000000000b5564ab expandGraphWithCheckers<(anonymous namespace)::CheckCallContext> /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp:124:16
# | #25 0x000000000b5564ab clang::ento::CheckerManager::runCheckersForCallEvent(bool, clang::ento::ExplodedNodeSet&, clang::ento::ExplodedNodeSet const&, clang::ento::CallEvent const&, clang::ento::ExprEngine&, bool) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp:311:3
# | #26 0x000000000b5b0a1c begin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:276:45
# | #27 0x000000000b5b0a1c end /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:278:27
# | #28 0x000000000b5b0a1c ~SmallVector /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:1229:46
# | #29 0x000000000b5b0a1c ~SetVector /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SetVector.h:57:7
# | #30 0x000000000b5b0a1c ~ExplodedNodeSet /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:449:7
# | #31 0x000000000b5b0a1c clang::ento::ExprEngine::evalCall(clang::ento::ExplodedNodeSet&, clang::ento::ExplodedNode*, clang::ento::CallEvent const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp:678:3
# | #32 0x000000000b5b0865 clang::ento::ExprEngine::VisitCallExpr(clang::CallExpr const*, clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp:612:24
# | #33 0x000000000b58702a clang::ento::ExprEngine::Visit(clang::Stmt const*, clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:0:7
# | #34 0x000000000b582da6 empty /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:86:46
# | #35 0x000000000b582da6 empty /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SetVector.h:100:53
# | #36 0x000000000b582da6 empty /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:462:39
# | #37 0x000000000b582da6 insert /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:475:9
# | #38 0x000000000b582da6 clang::ento::ExprEngine::ProcessStmt(clang::Stmt const*, clang::ento::ExplodedNode*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:1143:9
# | #39 0x000000000b561eca clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*, clang::ProgramPoint, clang::ento::WorkListUnit const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:0:7
# | #40 0x000000000b5619da _M_ptr /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:199:51
# | #41 0x000000000b5619da get /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:470:21
# | #42 0x000000000b5619da operator-> /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:463:9
# | #43 0x000000000b5619da clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>)::$_0::operator()(unsigned int) const /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:141:12
# | #44 0x000000000b561491 operator bool /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:487:22
# | #45 0x000000000b561491 clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:166:7
# | #46 0x000000000b26377b release /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:232:9
# | #47 0x000000000b26377b ~IntrusiveRefCntPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:196:27
# | #48 0x000000000b26377b ExecuteWorkList /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h:211:5
# | #49 0x000000000b26377b RunPathSensitiveChecks /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:810:7
# | #50 0x000000000b26377b (anonymous namespace)::AnalysisConsumer::HandleCode(clang::Decl*, unsigned int, clang::ento::ExprEngine::InliningModes, llvm::DenseSet<clang::Decl const*, llvm::DenseMapInfo<clang::Decl const*, void>>*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:763:5
# | #51 0x000000000b261b26 makeBegin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/DenseMap.h:0:0
# | #52 0x000000000b261b26 begin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/DenseMap.h:79:12
# | #53 0x000000000b261b26 begin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/DenseSet.h:157:59
# | #54 0x000000000b261b26 HandleDeclsCallGraph /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:532:29
# | #55 0x000000000b261b26 runAnalysisOnTranslationUnit /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:600:5
# | #56 0x000000000b261b26 (anonymous namespace)::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:662:3
# | #57 0x000000000b6bdc39 __normal_iterator /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_iterator.h:1077:20
# | #58 0x000000000b6bdc39 begin /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_vector.h:874:16
# | #59 0x000000000b6bdc39 finalize<std::vector<std::unique_ptr<clang::TemplateInstantiationCallback, std::default_delete<clang::TemplateInstantiationCallback> >, std::allocator<std::unique_ptr<clang::TemplateInstantiationCallback, std::default_delete<clang::TemplateInstantiationCallback> > > > > /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/Sema/TemplateInstCallback.h:54:16
# | #60 0x000000000b6bdc39 clang::ParseAST(clang::Sema&, bool, bool) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/Parse/ParseAST.cpp:190:3
# | #61 0x000000000a1a6f16 clang::FrontendAction::Execute() /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/Frontend/FrontendAction.cpp:1346:10
# | #62 0x000000000a105d7a getPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Error.h:278:42
# | #63 0x000000000a105d7a operator bool /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Error.h:241:16
# | #64 0x000000000a105d7a clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/Frontend/CompilerInstance.cpp:1013:23
# | #65 0x000000000a29f888 get /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/shared_ptr_base.h:1666:16
# | #66 0x000000000a29f888 _M_get /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/shared_ptr_base.h:1363:66
# | #67 0x000000000a29f888 operator-> /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/shared_ptr_base.h:1357:9
# | #68 0x000000000a29f888 getFrontendOpts /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/Frontend/CompilerInstance.h:314:12
# | #69 0x000000000a29f888 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:319:14
# | #70 0x00000000063f5f80 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/tools/driver/cc1_main.cpp:296:13
# | #71 0x00000000063f1d75 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&, llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem>) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/tools/driver/driver.cpp:229:12
# | #72 0x00000000063f0d40 clang_main(int, char**, llvm::ToolContext const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/tools/driver/driver.cpp:277:12
# | #73 0x000000000640229d main /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/tools/driver/clang-driver.cpp:17:10
# | #74 0x00007d1be57031ca (/lib/x86_64-linux-gnu/libc.so.6+0x2a1ca)
# | #75 0x00007d1be570328b __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x2a28b)
# | #76 0x00000000063ef6e5 _start (/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang+0x63ef6e5)
# `-----------------------------
# error: command failed with exit status: -6
--
```
</details>
<details>
<summary>Clang.Analysis/iterator-modeling.cpp</summary>
```
Exit Code: -6
Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++11 -analyzer-checker=core,cplusplus,debug.DebugIteratorModeling,debug.ExprInspection -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/iterator-modeling.cpp -verify -analyzer-config display-checker-name=false
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++11 -analyzer-checker=core,cplusplus,debug.DebugIteratorModeling,debug.ExprInspection -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/iterator-modeling.cpp -verify -analyzer-config display-checker-name=false
# .---command stderr------------
# | "program_state": {
# | "store": { "pointer": "0x2217c808", "items": [
# | { "cluster": "GlobalSystemSpaceRegion", "pointer": "0x22176fe0", "items": [
# | { "kind": "Default", "offset": 0, "value": "conj_$1{int, LC1, S178017, #1}" }
# | ]},
# | { "cluster": "i0", "pointer": "0x22177200", "items": [
# | { "kind": "Default", "offset": 0, "value": "conj_$2{int, LC1, S178017, #1}" }
# | ]}
# | ]},
# | "environment": { "pointer": "0x2216fa20", "items": [
# | { "lctx_id": 1, "location_context": "#0 Call", "calling": "print_state", "location": null, "items": [
# | { "stmt_id": 178081, "kind": "ImplicitCastExpr", "pretty": "clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" }
# | ]}
# | ]},
# | "constraints": [
# | { "symbol": "conj_$3{long, LC1, S178017, #1}", "range": "{ [-2305843009213693951, 2305843009213693951] }" }
# | ],
# | "equivalence_classes": null,
# | "disequality_info": null,
# | "dynamic_types": null,
# | "dynamic_casts": null,
# | "checker_messages": [
# | { "checker": "alpha.cplusplus.ContainerModeling", "messages": [
# | "Container Data :",
# | "SymRegion{reg_$0<std::vector<int> & V>} : [ conj_$3{long, LC1, S178017, #1} .. <Unknown> ]"
# | ]},
# | { "checker": "alpha.cplusplus.IteratorModeling", "messages": [
# | "Iterator Positions :",
# | "i0 : Valid ; Container == SymRegion{reg_$0<std::vector<int> & V>} ; Offset == conj_$3{long, LC1, S178017, #1}"
# | ]}
# | ]
# | }clang: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Casting.h:572: decltype(auto) llvm::cast(From *) [To = clang::ento::TypedValueRegion, From = const clang::ento::MemRegion]: Assertion `isa<To>(Val) && "cast<Ty>() argument of incompatible type!"' 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/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++11 -analyzer-checker=core,cplusplus,debug.DebugIteratorModeling,debug.ExprInspection -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/iterator-modeling.cpp -verify -analyzer-config display-checker-name=false
# | 1. <eof> parser at end of file
# | 2. While analyzing stack:
# | #0 Calling print_state(std::vector<int> &)
# | 3. /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/iterator-modeling.cpp:2041:3: Error evaluating statement
# | 4. /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/iterator-modeling.cpp:2041:3: Error evaluating statement
# | #0 0x00000000092dad78 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:880:13
# | #1 0x00000000092d7ce1 llvm::sys::RunSignalHandlers() /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Signals.cpp:109:18
# | #2 0x00000000092dbb91 SignalHandler(int, siginfo_t*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:448:38
# | #3 0x00000000092db9e8 __find_if<const int *, __gnu_cxx::__ops::_Iter_equals_val<const int> > /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_algobase.h:2072:8
# | #4 0x00000000092db9e8 __find_if<const int *, __gnu_cxx::__ops::_Iter_equals_val<const int> > /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_algobase.h:2117:14
# | #5 0x00000000092db9e8 find<const int *, int> /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_algo.h:3897:14
# | #6 0x00000000092db9e8 is_contained<const int (&)[10], int> /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLExtras.h:1952:12
# | #7 0x00000000092db9e8 SignalHandlerTerminate(int, siginfo_t*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:464:7
# | #8 0x0000784953869330 (/lib/x86_64-linux-gnu/libc.so.6+0x45330)
# | #9 0x00007849538c2b2c pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x9eb2c)
# | #10 0x000078495386927e raise (/lib/x86_64-linux-gnu/libc.so.6+0x4527e)
# | #11 0x000078495384c8ff abort (/lib/x86_64-linux-gnu/libc.so.6+0x288ff)
# | #12 0x000078495384c81b (/lib/x86_64-linux-gnu/libc.so.6+0x2881b)
# | #13 0x000078495385f517 (/lib/x86_64-linux-gnu/libc.so.6+0x3b517)
# | #14 0x000000000b3a3110 getCommonPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/AST/TypeBase.h:953:5
# | #15 0x000000000b3a3110 getTypePtr /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/AST/TypeBase.h:8437:10
# | #16 0x000000000b3a3110 operator-> /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/AST/TypeBase.h:997:12
# | #17 0x000000000b3a3110 checkPreCall /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp:709:23
# | #18 0x000000000b3a3110 void clang::ento::check::PreCall::_checkCall<(anonymous namespace)::MoveChecker>(void*, clang::ento::CallEvent const&, clang::ento::CheckerContext&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/Checker.h:168:33
# | #19 0x000000000b5564ab Release /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:1508:10
# | #20 0x000000000b5564ab release /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:164:38
# | #21 0x000000000b5564ab release /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:233:7
# | #22 0x000000000b5564ab ~IntrusiveRefCntPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:196:27
# | #23 0x000000000b5564ab runChecker /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp:291:7
# | #24 0x000000000b5564ab expandGraphWithCheckers<(anonymous namespace)::CheckCallContext> /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp:124:16
# | #25 0x000000000b5564ab clang::ento::CheckerManager::runCheckersForCallEvent(bool, clang::ento::ExplodedNodeSet&, clang::ento::ExplodedNodeSet const&, clang::ento::CallEvent const&, clang::ento::ExprEngine&, bool) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp:311:3
# | #26 0x000000000b5b0a1c begin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:276:45
# | #27 0x000000000b5b0a1c end /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:278:27
# | #28 0x000000000b5b0a1c ~SmallVector /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:1229:46
# | #29 0x000000000b5b0a1c ~SetVector /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SetVector.h:57:7
# | #30 0x000000000b5b0a1c ~ExplodedNodeSet /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:449:7
# | #31 0x000000000b5b0a1c clang::ento::ExprEngine::evalCall(clang::ento::ExplodedNodeSet&, clang::ento::ExplodedNode*, clang::ento::CallEvent const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp:678:3
# | #32 0x000000000b5b0865 clang::ento::ExprEngine::VisitCallExpr(clang::CallExpr const*, clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp:612:24
# | #33 0x000000000b58702a clang::ento::ExprEngine::Visit(clang::Stmt const*, clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:0:7
# | #34 0x000000000b582da6 empty /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:86:46
# | #35 0x000000000b582da6 empty /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SetVector.h:100:53
# | #36 0x000000000b582da6 empty /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:462:39
# | #37 0x000000000b582da6 insert /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:475:9
# | #38 0x000000000b582da6 clang::ento::ExprEngine::ProcessStmt(clang::Stmt const*, clang::ento::ExplodedNode*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:1143:9
# | #39 0x000000000b561eca clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*, clang::ProgramPoint, clang::ento::WorkListUnit const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:0:7
# | #40 0x000000000b5619da _M_ptr /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:199:51
# | #41 0x000000000b5619da get /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:470:21
# | #42 0x000000000b5619da operator-> /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:463:9
# | #43 0x000000000b5619da clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>)::$_0::operator()(unsigned int) const /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:141:12
# | #44 0x000000000b561491 operator bool /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:487:22
# | #45 0x000000000b561491 clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:166:7
# | #46 0x000000000b26377b release /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:232:9
# | #47 0x000000000b26377b ~IntrusiveRefCntPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:196:27
# | #48 0x000000000b26377b ExecuteWorkList /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h:211:5
# | #49 0x000000000b26377b RunPathSensitiveChecks /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:810:7
# | #50 0x000000000b26377b (anonymous namespace)::AnalysisConsumer::HandleCode(clang::Decl*, unsigned int, clang::ento::ExprEngine::InliningModes, llvm::DenseSet<clang::Decl const*, llvm::DenseMapInfo<clang::Decl const*, void>>*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:763:5
# | #51 0x000000000b261b26 makeBegin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/DenseMap.h:0:0
# | #52 0x000000000b261b26 begin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/DenseMap.h:79:12
# | #53 0x000000000b261b26 begin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/DenseSet.h:157:59
# | #54 0x000000000b261b26 HandleDeclsCallGraph /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:532:29
# | #55 0x000000000b261b26 runAnalysisOnTranslationUnit /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:600:5
# | #56 0x000000000b261b26 (anonymous namespace)::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:662:3
# | #57 0x000000000b6bdc39 __normal_iterator /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_iterator.h:1077:20
# | #58 0x000000000b6bdc39 begin /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_vector.h:874:16
# | #59 0x000000000b6bdc39 finalize<std::vector<std::unique_ptr<clang::TemplateInstantiationCallback, std::default_delete<clang::TemplateInstantiationCallback> >, std::allocator<std::unique_ptr<clang::TemplateInstantiationCallback, std::default_delete<clang::TemplateInstantiationCallback> > > > > /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/Sema/TemplateInstCallback.h:54:16
# | #60 0x000000000b6bdc39 clang::ParseAST(clang::Sema&, bool, bool) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/Parse/ParseAST.cpp:190:3
# | #61 0x000000000a1a6f16 clang::FrontendAction::Execute() /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/Frontend/FrontendAction.cpp:1346:10
# | #62 0x000000000a105d7a getPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Error.h:278:42
# | #63 0x000000000a105d7a operator bool /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Error.h:241:16
# | #64 0x000000000a105d7a clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/Frontend/CompilerInstance.cpp:1013:23
# | #65 0x000000000a29f888 get /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/shared_ptr_base.h:1666:16
# | #66 0x000000000a29f888 _M_get /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/shared_ptr_base.h:1363:66
# | #67 0x000000000a29f888 operator-> /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/shared_ptr_base.h:1357:9
# | #68 0x000000000a29f888 getFrontendOpts /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/Frontend/CompilerInstance.h:314:12
# | #69 0x000000000a29f888 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:319:14
# | #70 0x00000000063f5f80 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/tools/driver/cc1_main.cpp:296:13
# | #71 0x00000000063f1d75 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&, llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem>) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/tools/driver/driver.cpp:229:12
# | #72 0x00000000063f0d40 clang_main(int, char**, llvm::ToolContext const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/tools/driver/driver.cpp:277:12
# | #73 0x000000000640229d main /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/tools/driver/clang-driver.cpp:17:10
# | #74 0x000078495384e1ca (/lib/x86_64-linux-gnu/libc.so.6+0x2a1ca)
# | #75 0x000078495384e28b __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x2a28b)
# | #76 0x00000000063ef6e5 _start (/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang+0x63ef6e5)
# `-----------------------------
# error: command failed with exit status: -6
--
```
</details>
<details>
<summary>Clang.Analysis/iterator-range.cpp</summary>
```
Exit Code: -6
Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++11 -analyzer-checker=core,cplusplus,alpha.cplusplus.IteratorRange -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false -analyzer-output=text /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/iterator-range.cpp -verify
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++11 -analyzer-checker=core,cplusplus,alpha.cplusplus.IteratorRange -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false -analyzer-output=text /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/iterator-range.cpp -verify
# .---command stderr------------
# | clang: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Casting.h:572: decltype(auto) llvm::cast(From *) [To = clang::ento::TypedValueRegion, From = const clang::ento::MemRegion]: Assertion `isa<To>(Val) && "cast<Ty>() argument of incompatible type!"' 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/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++11 -analyzer-checker=core,cplusplus,alpha.cplusplus.IteratorRange -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false -analyzer-output=text /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/iterator-range.cpp -verify
# | 1. <eof> parser at end of file
# | 2. While analyzing stack:
# | #0 Calling arrow_deref_begin(const std::vector<S> &)
# | 3. /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/iterator-range.cpp:838:11: Error evaluating statement
# | 4. /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/iterator-range.cpp:838:11: Error evaluating statement
# | #0 0x00000000092dad78 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:880:13
# | #1 0x00000000092d7ce1 llvm::sys::RunSignalHandlers() /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Signals.cpp:109:18
# | #2 0x00000000092dbb91 SignalHandler(int, siginfo_t*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:448:38
# | #3 0x00000000092db9e8 __find_if<const int *, __gnu_cxx::__ops::_Iter_equals_val<const int> > /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_algobase.h:2072:8
# | #4 0x00000000092db9e8 __find_if<const int *, __gnu_cxx::__ops::_Iter_equals_val<const int> > /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_algobase.h:2117:14
# | #5 0x00000000092db9e8 find<const int *, int> /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_algo.h:3897:14
# | #6 0x00000000092db9e8 is_contained<const int (&)[10], int> /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLExtras.h:1952:12
# | #7 0x00000000092db9e8 SignalHandlerTerminate(int, siginfo_t*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:464:7
# | #8 0x00007f2ea40f8330 (/lib/x86_64-linux-gnu/libc.so.6+0x45330)
# | #9 0x00007f2ea4151b2c pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x9eb2c)
# | #10 0x00007f2ea40f827e raise (/lib/x86_64-linux-gnu/libc.so.6+0x4527e)
# | #11 0x00007f2ea40db8ff abort (/lib/x86_64-linux-gnu/libc.so.6+0x288ff)
# | #12 0x00007f2ea40db81b (/lib/x86_64-linux-gnu/libc.so.6+0x2881b)
# | #13 0x00007f2ea40ee517 (/lib/x86_64-linux-gnu/libc.so.6+0x3b517)
# | #14 0x000000000b3a3110 getCommonPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/AST/TypeBase.h:953:5
# | #15 0x000000000b3a3110 getTypePtr /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/AST/TypeBase.h:8437:10
# | #16 0x000000000b3a3110 operator-> /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/AST/TypeBase.h:997:12
# | #17 0x000000000b3a3110 checkPreCall /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp:709:23
# | #18 0x000000000b3a3110 void clang::ento::check::PreCall::_checkCall<(anonymous namespace)::MoveChecker>(void*, clang::ento::CallEvent const&, clang::ento::CheckerContext&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/Checker.h:168:33
# | #19 0x000000000b5564ab Release /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:1508:10
# | #20 0x000000000b5564ab release /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:164:38
# | #21 0x000000000b5564ab release /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:233:7
# | #22 0x000000000b5564ab ~IntrusiveRefCntPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:196:27
# | #23 0x000000000b5564ab runChecker /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp:291:7
# | #24 0x000000000b5564ab expandGraphWithCheckers<(anonymous namespace)::CheckCallContext> /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp:124:16
# | #25 0x000000000b5564ab clang::ento::CheckerManager::runCheckersForCallEvent(bool, clang::ento::ExplodedNodeSet&, clang::ento::ExplodedNodeSet const&, clang::ento::CallEvent const&, clang::ento::ExprEngine&, bool) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp:311:3
# | #26 0x000000000b5b0a1c begin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:276:45
# | #27 0x000000000b5b0a1c end /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:278:27
# | #28 0x000000000b5b0a1c ~SmallVector /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:1229:46
# | #29 0x000000000b5b0a1c ~SetVector /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SetVector.h:57:7
# | #30 0x000000000b5b0a1c ~ExplodedNodeSet /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:449:7
# | #31 0x000000000b5b0a1c clang::ento::ExprEngine::evalCall(clang::ento::ExplodedNodeSet&, clang::ento::ExplodedNode*, clang::ento::CallEvent const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp:678:3
# | #32 0x000000000b5b0865 clang::ento::ExprEngine::VisitCallExpr(clang::CallExpr const*, clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp:612:24
# | #33 0x000000000b58702a clang::ento::ExprEngine::Visit(clang::Stmt const*, clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:0:7
# | #34 0x000000000b582da6 empty /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:86:46
# | #35 0x000000000b582da6 empty /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SetVector.h:100:53
# | #36 0x000000000b582da6 empty /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:462:39
# | #37 0x000000000b582da6 insert /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:475:9
# | #38 0x000000000b582da6 clang::ento::ExprEngine::ProcessStmt(clang::Stmt const*, clang::ento::ExplodedNode*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:1143:9
# | #39 0x000000000b561eca clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*, clang::ProgramPoint, clang::ento::WorkListUnit const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:0:7
# | #40 0x000000000b5619da _M_ptr /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:199:51
# | #41 0x000000000b5619da get /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:470:21
# | #42 0x000000000b5619da operator-> /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:463:9
# | #43 0x000000000b5619da clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>)::$_0::operator()(unsigned int) const /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:141:12
# | #44 0x000000000b561491 operator bool /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:487:22
# | #45 0x000000000b561491 clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:166:7
# | #46 0x000000000b26377b release /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:232:9
# | #47 0x000000000b26377b ~IntrusiveRefCntPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:196:27
# | #48 0x000000000b26377b ExecuteWorkList /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h:211:5
# | #49 0x000000000b26377b RunPathSensitiveChecks /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:810:7
# | #50 0x000000000b26377b (anonymous namespace)::AnalysisConsumer::HandleCode(clang::Decl*, unsigned int, clang::ento::ExprEngine::InliningModes, llvm::DenseSet<clang::Decl const*, llvm::DenseMapInfo<clang::Decl const*, void>>*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:763:5
# | #51 0x000000000b261b26 makeBegin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/DenseMap.h:0:0
# | #52 0x000000000b261b26 begin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/DenseMap.h:79:12
# | #53 0x000000000b261b26 begin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/DenseSet.h:157:59
# | #54 0x000000000b261b26 HandleDeclsCallGraph /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:532:29
# | #55 0x000000000b261b26 runAnalysisOnTranslationUnit /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:600:5
# | #56 0x000000000b261b26 (anonymous namespace)::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:662:3
# | #57 0x000000000b6bdc39 __normal_iterator /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_iterator.h:1077:20
# | #58 0x000000000b6bdc39 begin /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_vector.h:874:16
# | #59 0x000000000b6bdc39 finalize<std::vector<std::unique_ptr<clang::TemplateInstantiationCallback, std::default_delete<clang::TemplateInstantiationCallback> >, std::allocator<std::unique_ptr<clang::TemplateInstantiationCallback, std::default_delete<clang::TemplateInstantiationCallback> > > > > /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/Sema/TemplateInstCallback.h:54:16
# | #60 0x000000000b6bdc39 clang::ParseAST(clang::Sema&, bool, bool) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/Parse/ParseAST.cpp:190:3
# | #61 0x000000000a1a6f16 clang::FrontendAction::Execute() /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/Frontend/FrontendAction.cpp:1346:10
# | #62 0x000000000a105d7a getPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Error.h:278:42
# | #63 0x000000000a105d7a operator bool /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Error.h:241:16
# | #64 0x000000000a105d7a clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/Frontend/CompilerInstance.cpp:1013:23
# | #65 0x000000000a29f888 get /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/shared_ptr_base.h:1666:16
# | #66 0x000000000a29f888 _M_get /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/shared_ptr_base.h:1363:66
# | #67 0x000000000a29f888 operator-> /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/shared_ptr_base.h:1357:9
# | #68 0x000000000a29f888 getFrontendOpts /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/Frontend/CompilerInstance.h:314:12
# | #69 0x000000000a29f888 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:319:14
# | #70 0x00000000063f5f80 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/tools/driver/cc1_main.cpp:296:13
# | #71 0x00000000063f1d75 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&, llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem>) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/tools/driver/driver.cpp:229:12
# | #72 0x00000000063f0d40 clang_main(int, char**, llvm::ToolContext const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/tools/driver/driver.cpp:277:12
# | #73 0x000000000640229d main /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/tools/driver/clang-driver.cpp:17:10
# | #74 0x00007f2ea40dd1ca (/lib/x86_64-linux-gnu/libc.so.6+0x2a1ca)
# | #75 0x00007f2ea40dd28b __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x2a28b)
# | #76 0x00000000063ef6e5 _start (/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang+0x63ef6e5)
# `-----------------------------
# error: command failed with exit status: -6
--
```
</details>
<details>
<summary>Clang.Analysis/mismatched-iterator.cpp</summary>
```
Exit Code: -6
Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++11 -analyzer-checker=core,cplusplus,alpha.cplusplus.MismatchedIterator -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/mismatched-iterator.cpp -verify
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++11 -analyzer-checker=core,cplusplus,alpha.cplusplus.MismatchedIterator -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/mismatched-iterator.cpp -verify
# .---command stderr------------
# | clang: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Casting.h:572: decltype(auto) llvm::cast(From *) [To = clang::ento::TypedValueRegion, From = const clang::ento::MemRegion]: Assertion `isa<To>(Val) && "cast<Ty>() argument of incompatible type!"' 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/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++11 -analyzer-checker=core,cplusplus,alpha.cplusplus.MismatchedIterator -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/mismatched-iterator.cpp -verify
# | 1. <eof> parser at end of file
# | 2. While analyzing stack:
# | #0 Calling std::__copy(struct __vector_iterator<int, const int *, const int &>, struct __vector_iterator<int, const int *, const int &>, struct __vector_iterator<int, int *, int &>) at line /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/Inputs/system-header-simulator-cxx.h:784:12
# | #1 Calling std::copy(struct __vector_iterator<int, const int *, const int &>, struct __vector_iterator<int, const int *, const int &>, struct __vector_iterator<int, int *, int &>) at line 57
# | #2 Calling good_copy(std::vector<int> &, std::vector<int> &, int)
# | 3. /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/Inputs/system-header-simulator-cxx.h:761:17: Error evaluating statement
# | 4. /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/Inputs/system-header-simulator-cxx.h:761:17: Error evaluating statement
# | #0 0x00000000092dad78 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:880:13
# | #1 0x00000000092d7ce1 llvm::sys::RunSignalHandlers() /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Signals.cpp:109:18
# | #2 0x00000000092dbb91 SignalHandler(int, siginfo_t*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:448:38
# | #3 0x00000000092db9e8 __find_if<const int *, __gnu_cxx::__ops::_Iter_equals_val<const int> > /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_algobase.h:2072:8
# | #4 0x00000000092db9e8 __find_if<const int *, __gnu_cxx::__ops::_Iter_equals_val<const int> > /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_algobase.h:2117:14
# | #5 0x00000000092db9e8 find<const int *, int> /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_algo.h:3897:14
# | #6 0x00000000092db9e8 is_contained<const int (&)[10], int> /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLExtras.h:1952:12
# | #7 0x00000000092db9e8 SignalHandlerTerminate(int, siginfo_t*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:464:7
# | #8 0x0000780fed564330 (/lib/x86_64-linux-gnu/libc.so.6+0x45330)
# | #9 0x0000780fed5bdb2c pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x9eb2c)
# | #10 0x0000780fed56427e raise (/lib/x86_64-linux-gnu/libc.so.6+0x4527e)
# | #11 0x0000780fed5478ff abort (/lib/x86_64-linux-gnu/libc.so.6+0x288ff)
# | #12 0x0000780fed54781b (/lib/x86_64-linux-gnu/libc.so.6+0x2881b)
# | #13 0x0000780fed55a517 (/lib/x86_64-linux-gnu/libc.so.6+0x3b517)
# | #14 0x000000000b3a3110 getCommonPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/AST/TypeBase.h:953:5
# | #15 0x000000000b3a3110 getTypePtr /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/AST/TypeBase.h:8437:10
# | #16 0x000000000b3a3110 operator-> /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/AST/TypeBase.h:997:12
# | #17 0x000000000b3a3110 checkPreCall /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp:709:23
# | #18 0x000000000b3a3110 void clang::ento::check::PreCall::_checkCall<(anonymous namespace)::MoveChecker>(void*, clang::ento::CallEvent const&, clang::ento::CheckerContext&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/Checker.h:168:33
# | #19 0x000000000b5564ab Release /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:1508:10
# | #20 0x000000000b5564ab release /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:164:38
# | #21 0x000000000b5564ab release /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:233:7
# | #22 0x000000000b5564ab ~IntrusiveRefCntPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:196:27
# | #23 0x000000000b5564ab runChecker /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp:291:7
# | #24 0x000000000b5564ab expandGraphWithCheckers<(anonymous namespace)::CheckCallContext> /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp:124:16
# | #25 0x000000000b5564ab clang::ento::CheckerManager::runCheckersForCallEvent(bool, clang::ento::ExplodedNodeSet&, clang::ento::ExplodedNodeSet const&, clang::ento::CallEvent const&, clang::ento::ExprEngine&, bool) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp:311:3
# | #26 0x000000000b5b0a1c begin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:276:45
# | #27 0x000000000b5b0a1c end /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:278:27
# | #28 0x000000000b5b0a1c ~SmallVector /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:1229:46
# | #29 0x000000000b5b0a1c ~SetVector /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SetVector.h:57:7
# | #30 0x000000000b5b0a1c ~ExplodedNodeSet /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:449:7
# | #31 0x000000000b5b0a1c clang::ento::ExprEngine::evalCall(clang::ento::ExplodedNodeSet&, clang::ento::ExplodedNode*, clang::ento::CallEvent const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp:678:3
# | #32 0x000000000b5b0865 clang::ento::ExprEngine::VisitCallExpr(clang::CallExpr const*, clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp:612:24
# | #33 0x000000000b58702a clang::ento::ExprEngine::Visit(clang::Stmt const*, clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:0:7
# | #34 0x000000000b582da6 empty /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:86:46
# | #35 0x000000000b582da6 empty /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SetVector.h:100:53
# | #36 0x000000000b582da6 empty /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:462:39
# | #37 0x000000000b582da6 insert /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h:475:9
# | #38 0x000000000b582da6 clang::ento::ExprEngine::ProcessStmt(clang::Stmt const*, clang::ento::ExplodedNode*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:1143:9
# | #39 0x000000000b561eca clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*, clang::ProgramPoint, clang::ento::WorkListUnit const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:0:7
# | #40 0x000000000b5619da _M_ptr /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:199:51
# | #41 0x000000000b5619da get /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:470:21
# | #42 0x000000000b5619da operator-> /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:463:9
# | #43 0x000000000b5619da clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>)::$_0::operator()(unsigned int) const /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:141:12
# | #44 0x000000000b561491 operator bool /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/unique_ptr.h:487:22
# | #45 0x000000000b561491 clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:166:7
# | #46 0x000000000b26377b release /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:232:9
# | #47 0x000000000b26377b ~IntrusiveRefCntPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/IntrusiveRefCntPtr.h:196:27
# | #48 0x000000000b26377b ExecuteWorkList /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h:211:5
# | #49 0x000000000b26377b RunPathSensitiveChecks /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:810:7
# | #50 0x000000000b26377b (anonymous namespace)::AnalysisConsumer::HandleCode(clang::Decl*, unsigned int, clang::ento::ExprEngine::InliningModes, llvm::DenseSet<clang::Decl const*, llvm::DenseMapInfo<clang::Decl const*, void>>*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:763:5
# | #51 0x000000000b261b26 makeBegin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/DenseMap.h:0:0
# | #52 0x000000000b261b26 begin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/DenseMap.h:79:12
# | #53 0x000000000b261b26 begin /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/DenseSet.h:157:59
# | #54 0x000000000b261b26 HandleDeclsCallGraph /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:532:29
# | #55 0x000000000b261b26 runAnalysisOnTranslationUnit /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:600:5
# | #56 0x000000000b261b26 (anonymous namespace)::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:662:3
# | #57 0x000000000b6bdc39 __normal_iterator /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_iterator.h:1077:20
# | #58 0x000000000b6bdc39 begin /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_vector.h:874:16
# | #59 0x000000000b6bdc39 finalize<std::vector<std::unique_ptr<clang::TemplateInstantiationCallback, std::default_delete<clang::TemplateInstantiationCallback> >, std::allocator<std::unique_ptr<clang::TemplateInstantiationCallback, std::default_delete<clang::TemplateInstantiationCallback> > > > > /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/Sema/TemplateInstCallback.h:54:16
# | #60 0x000000000b6bdc39 clang::ParseAST(clang::Sema&, bool, bool) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/Parse/ParseAST.cpp:190:3
# | #61 0x000000000a1a6f16 clang::FrontendAction::Execute() /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/Frontend/FrontendAction.cpp:1346:10
# | #62 0x000000000a105d7a getPtr /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Error.h:278:42
# | #63 0x000000000a105d7a operator bool /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Error.h:241:16
# | #64 0x000000000a105d7a clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/Frontend/CompilerInstance.cpp:1013:23
# | #65 0x000000000a29f888 get /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/shared_ptr_base.h:1666:16
# | #66 0x000000000a29f888 _M_get /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/shared_ptr_base.h:1363:66
# | #67 0x000000000a29f888 operator-> /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/shared_ptr_base.h:1357:9
# | #68 0x000000000a29f888 getFrontendOpts /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include/clang/Frontend/CompilerInstance.h:314:12
# | #69 0x000000000a29f888 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:319:14
# | #70 0x00000000063f5f80 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/tools/driver/cc1_main.cpp:296:13
# | #71 0x00000000063f1d75 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&, llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem>) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/tools/driver/driver.cpp:229:12
# | #72 0x00000000063f0d40 clang_main(int, char**, llvm::ToolContext const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/tools/driver/driver.cpp:277:12
# | #73 0x000000000640229d main /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/tools/driver/clang-driver.cpp:17:10
# | #74 0x0000780fed5491ca (/lib/x86_64-linux-gnu/libc.so.6+0x2a1ca)
# | #75 0x0000780fed54928b __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x2a28b)
# | #76 0x00000000063ef6e5 _start (/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang+0x63ef6e5)
# `-----------------------------
# error: command failed with exit status: -6
--
```
</details>
<details>
<summary>Clang.Analysis/use-after-move.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -analyzer-checker=cplusplus.Move /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/use-after-move.cpp -std=c++11 -analyzer-output=text -analyzer-config eagerly-assume=false -analyzer-config exploration_strategy=unexplored_first_queue -analyzer-checker core,cplusplus.SmartPtrModeling,debug.ExprInspection -verify=expected,peaceful,non-aggressive
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -analyze -setup-static-analyzer -analyzer-checker=cplusplus.Move /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/use-after-move.cpp -std=c++11 -analyzer-output=text -analyzer-config eagerly-assume=false -analyzer-config exploration_strategy=unexplored_first_queue -analyzer-checker core,cplusplus.SmartPtrModeling,debug.ExprInspection -verify=expected,peaceful,non-aggressive
# .---command stderr------------
# | error: diagnostics with 'warning' severity expected but not seen:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/use-after-move.cpp Line 1023 'peaceful-warning': Method called on moved-from object 'l1'
# | error: diagnostics with 'note' severity expected but not seen:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/use-after-move.cpp Line 1023 'peaceful-note': Object 'l1' is moved
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/use-after-move.cpp Line 1022 (directive at /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/use-after-move.cpp:1023) 'peaceful-note': Method called on moved-from object 'l1'
# | 3 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.
https://github.com/llvm/llvm-project/pull/196602
More information about the cfe-commits
mailing list