[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: Windows-->
# :window: Windows x64 Test Results
* 53872 tests passed
* 1200 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: 3221225501
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_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 C:\_work\llvm-project\llvm-project\clang\test\Analysis\invalidated-iterator.cpp -verify
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_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 'C:\_work\llvm-project\llvm-project\clang\test\Analysis\invalidated-iterator.cpp' -verify
# .---command stderr------------
# | Assertion failed: isa<To>(Val) && "cast<Ty>() argument of incompatible type!", file C:\_work\llvm-project\llvm-project\llvm\include\llvm/Support/Casting.h, line 572
# | 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: c:\\_work\\llvm-project\\llvm-project\\build\\bin\\clang.exe -cc1 -internal-isystem C:\\_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 C:\\_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. C:\_work\llvm-project\llvm-project\clang\test\Analysis\invalidated-iterator.cpp:11:3: Error evaluating statement
# | 4. C:\_work\llvm-project\llvm-project\clang\test\Analysis\invalidated-iterator.cpp:11:3: Error evaluating statement
# | Exception Code: 0xC000001D
# | #0 0x00007ff6f1859fb6 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x849fb6)
# | #1 0x00007fffce4dbb04 (C:\Windows\System32\ucrtbase.dll+0x7bb04)
# | #2 0x00007fffce4dcad1 (C:\Windows\System32\ucrtbase.dll+0x7cad1)
# | #3 0x00007fffce4de4a1 (C:\Windows\System32\ucrtbase.dll+0x7e4a1)
# | #4 0x00007fffce4de6e1 (C:\Windows\System32\ucrtbase.dll+0x7e6e1)
# | #5 0x00007ff6f8329a10 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x7319a10)
# | #6 0x00007ff6f7e9aadb (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6e8aadb)
# | #7 0x00007ff6f84b3b6b (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x74a3b6b)
# | #8 0x00007ff6f84b3985 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x74a3985)
# | #9 0x00007ff6f7eb94dc (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ea94dc)
# | #10 0x00007ff6f7eb4a5a (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ea4a5a)
# | #11 0x00007ff6f7ed16dd (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ec16dd)
# | #12 0x00007ff6f7ed08cc (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ec08cc)
# | #13 0x00007ff6f7ed03ce (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ec03ce)
# | #14 0x00007ff6f7ecfe74 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ebfe74)
# | #15 0x00007ff6f6ee77f4 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x5ed77f4)
# | #16 0x00007ff6f6ee52b1 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x5ed52b1)
# | #17 0x00007ff6f6d45427 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x5d35427)
# | #18 0x00007ff6f3e1024f (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x2e0024f)
# | #19 0x00007ff6f199ebba (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x98ebba)
# | #20 0x00007ff6f1a53f1c (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0xa43f1c)
# | #21 0x00007ff6f101886a (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x886a)
# | #22 0x00007ff6f10141a4 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x41a4)
# | #23 0x00007ff6f101294c (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x294c)
# | #24 0x00007ff6f1027cac (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x17cac)
# | #25 0x00007ff6f8572760 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x7562760)
# | #26 0x00007fffdaf54cb0 (C:\Windows\System32\KERNEL32.DLL+0x14cb0)
# | #27 0x00007fffdfd9edcb (C:\Windows\SYSTEM32\ntdll.dll+0x7edcb)
# `-----------------------------
# error: command failed with exit status: 0xc000001d
--
```
</details>
<details>
<summary>Clang.Analysis/iterator-modeling.cpp</summary>
```
Exit Code: 3221225501
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_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 C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-modeling.cpp -verify -analyzer-config display-checker-name=false
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_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 'C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-modeling.cpp' -verify -analyzer-config display-checker-name=false
# .---command stderr------------
# | "program_state": {
# | "store": { "pointer": "0x1d5301618b8", "items": [
# | { "cluster": "GlobalSystemSpaceRegion", "pointer": "0x1d53015bad0", "items": [
# | { "kind": "Default", "offset": 0, "value": "conj_$1{int, LC1, S179908, #1}" }
# | ]},
# | { "cluster": "i0", "pointer": "0x1d53015bce0", "items": [
# | { "kind": "Default", "offset": 0, "value": "conj_$2{int, LC1, S179908, #1}" }
# | ]}
# | ]},
# | "environment": { "pointer": "0x1d5301f9fd0", "items": [
# | { "lctx_id": 1, "location_context": "#0 Call", "calling": "print_state", "location": null, "items": [
# | { "stmt_id": 179972, "kind": "ImplicitCastExpr", "pretty": "clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" }
# | ]}
# | ]},
# | "constraints": [
# | { "symbol": "conj_$3{long, LC1, S179908, #1}", "range": "{ [-536870911, 536870911] }" }
# | ],
# | "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, S179908, #1} .. <Unknown> ]"
# | ]},
# | { "checker": "alpha.cplusplus.IteratorModeling", "messages": [
# | "Iterator Positions :",
# | "i0 : Valid ; Container == SymRegion{reg_$0<std::vector<int> & V>} ; Offset == conj_$3{long, LC1, S179908, #1}"
# | ]}
# | ]
# | }Assertion failed: isa<To>(Val) && "cast<Ty>() argument of incompatible type!", file C:\_work\llvm-project\llvm-project\llvm\include\llvm/Support/Casting.h, line 572
# | 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: c:\\_work\\llvm-project\\llvm-project\\build\\bin\\clang.exe -cc1 -internal-isystem C:\\_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 C:\\_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. C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-modeling.cpp:2041:3: Error evaluating statement
# | 4. C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-modeling.cpp:2041:3: Error evaluating statement
# | Exception Code: 0xC000001D
# | #0 0x00007ff6f1859fb6 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x849fb6)
# | #1 0x00007fffce4dbb04 (C:\Windows\System32\ucrtbase.dll+0x7bb04)
# | #2 0x00007fffce4dcad1 (C:\Windows\System32\ucrtbase.dll+0x7cad1)
# | #3 0x00007fffce4de4a1 (C:\Windows\System32\ucrtbase.dll+0x7e4a1)
# | #4 0x00007fffce4de6e1 (C:\Windows\System32\ucrtbase.dll+0x7e6e1)
# | #5 0x00007ff6f8329a10 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x7319a10)
# | #6 0x00007ff6f7e9aadb (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6e8aadb)
# | #7 0x00007ff6f84b3b6b (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x74a3b6b)
# | #8 0x00007ff6f84b3985 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x74a3985)
# | #9 0x00007ff6f7eb94dc (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ea94dc)
# | #10 0x00007ff6f7eb4a5a (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ea4a5a)
# | #11 0x00007ff6f7ed16dd (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ec16dd)
# | #12 0x00007ff6f7ed08cc (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ec08cc)
# | #13 0x00007ff6f7ed03ce (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ec03ce)
# | #14 0x00007ff6f7ecfe74 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ebfe74)
# | #15 0x00007ff6f6ee77f4 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x5ed77f4)
# | #16 0x00007ff6f6ee52b1 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x5ed52b1)
# | #17 0x00007ff6f6d45427 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x5d35427)
# | #18 0x00007ff6f3e1024f (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x2e0024f)
# | #19 0x00007ff6f199ebba (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x98ebba)
# | #20 0x00007ff6f1a53f1c (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0xa43f1c)
# | #21 0x00007ff6f101886a (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x886a)
# | #22 0x00007ff6f10141a4 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x41a4)
# | #23 0x00007ff6f101294c (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x294c)
# | #24 0x00007ff6f1027cac (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x17cac)
# | #25 0x00007ff6f8572760 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x7562760)
# | #26 0x00007fffdaf54cb0 (C:\Windows\System32\KERNEL32.DLL+0x14cb0)
# | #27 0x00007fffdfd9edcb (C:\Windows\SYSTEM32\ntdll.dll+0x7edcb)
# `-----------------------------
# error: command failed with exit status: 0xc000001d
--
```
</details>
<details>
<summary>Clang.Analysis/iterator-range.cpp</summary>
```
Exit Code: 3221225501
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_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 C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-range.cpp -verify
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_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 'C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-range.cpp' -verify
# .---command stderr------------
# | Assertion failed: isa<To>(Val) && "cast<Ty>() argument of incompatible type!", file C:\_work\llvm-project\llvm-project\llvm\include\llvm/Support/Casting.h, line 572
# | 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: c:\\_work\\llvm-project\\llvm-project\\build\\bin\\clang.exe -cc1 -internal-isystem C:\\_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 C:\\_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. C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-range.cpp:838:11: Error evaluating statement
# | 4. C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-range.cpp:838:11: Error evaluating statement
# | Exception Code: 0xC000001D
# | #0 0x00007ff6f1859fb6 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x849fb6)
# | #1 0x00007fffce4dbb04 (C:\Windows\System32\ucrtbase.dll+0x7bb04)
# | #2 0x00007fffce4dcad1 (C:\Windows\System32\ucrtbase.dll+0x7cad1)
# | #3 0x00007fffce4de4a1 (C:\Windows\System32\ucrtbase.dll+0x7e4a1)
# | #4 0x00007fffce4de6e1 (C:\Windows\System32\ucrtbase.dll+0x7e6e1)
# | #5 0x00007ff6f8329a10 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x7319a10)
# | #6 0x00007ff6f7e9aadb (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6e8aadb)
# | #7 0x00007ff6f84b3b6b (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x74a3b6b)
# | #8 0x00007ff6f84b3985 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x74a3985)
# | #9 0x00007ff6f7eb94dc (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ea94dc)
# | #10 0x00007ff6f7eb4a5a (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ea4a5a)
# | #11 0x00007ff6f7ed16dd (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ec16dd)
# | #12 0x00007ff6f7ed08cc (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ec08cc)
# | #13 0x00007ff6f7ed03ce (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ec03ce)
# | #14 0x00007ff6f7ecfe74 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ebfe74)
# | #15 0x00007ff6f6ee77f4 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x5ed77f4)
# | #16 0x00007ff6f6ee52b1 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x5ed52b1)
# | #17 0x00007ff6f6d45427 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x5d35427)
# | #18 0x00007ff6f3e1024f (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x2e0024f)
# | #19 0x00007ff6f199ebba (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x98ebba)
# | #20 0x00007ff6f1a53f1c (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0xa43f1c)
# | #21 0x00007ff6f101886a (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x886a)
# | #22 0x00007ff6f10141a4 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x41a4)
# | #23 0x00007ff6f101294c (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x294c)
# | #24 0x00007ff6f1027cac (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x17cac)
# | #25 0x00007ff6f8572760 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x7562760)
# | #26 0x00007fffdaf54cb0 (C:\Windows\System32\KERNEL32.DLL+0x14cb0)
# | #27 0x00007fffdfd9edcb (C:\Windows\SYSTEM32\ntdll.dll+0x7edcb)
# `-----------------------------
# error: command failed with exit status: 0xc000001d
--
```
</details>
<details>
<summary>Clang.Analysis/mismatched-iterator.cpp</summary>
```
Exit Code: 3221225501
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_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 C:\_work\llvm-project\llvm-project\clang\test\Analysis\mismatched-iterator.cpp -verify
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_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 'C:\_work\llvm-project\llvm-project\clang\test\Analysis\mismatched-iterator.cpp' -verify
# .---command stderr------------
# | Assertion failed: isa<To>(Val) && "cast<Ty>() argument of incompatible type!", file C:\_work\llvm-project\llvm-project\llvm\include\llvm/Support/Casting.h, line 572
# | 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: c:\\_work\\llvm-project\\llvm-project\\build\\bin\\clang.exe -cc1 -internal-isystem C:\\_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 C:\\_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 C:\_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. C:\_work\llvm-project\llvm-project\clang\test\Analysis\Inputs/system-header-simulator-cxx.h:761:17: Error evaluating statement
# | 4. C:\_work\llvm-project\llvm-project\clang\test\Analysis\Inputs/system-header-simulator-cxx.h:761:17: Error evaluating statement
# | Exception Code: 0xC000001D
# | #0 0x00007ff6f1859fb6 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x849fb6)
# | #1 0x00007fffce4dbb04 (C:\Windows\System32\ucrtbase.dll+0x7bb04)
# | #2 0x00007fffce4dcad1 (C:\Windows\System32\ucrtbase.dll+0x7cad1)
# | #3 0x00007fffce4de4a1 (C:\Windows\System32\ucrtbase.dll+0x7e4a1)
# | #4 0x00007fffce4de6e1 (C:\Windows\System32\ucrtbase.dll+0x7e6e1)
# | #5 0x00007ff6f8329a10 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x7319a10)
# | #6 0x00007ff6f7e9aadb (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6e8aadb)
# | #7 0x00007ff6f84b3b6b (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x74a3b6b)
# | #8 0x00007ff6f84b3985 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x74a3985)
# | #9 0x00007ff6f7eb94dc (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ea94dc)
# | #10 0x00007ff6f7eb4a5a (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ea4a5a)
# | #11 0x00007ff6f7ed16dd (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ec16dd)
# | #12 0x00007ff6f7ed08cc (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ec08cc)
# | #13 0x00007ff6f7ed03ce (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ec03ce)
# | #14 0x00007ff6f7ecfe74 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x6ebfe74)
# | #15 0x00007ff6f6ee77f4 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x5ed77f4)
# | #16 0x00007ff6f6ee52b1 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x5ed52b1)
# | #17 0x00007ff6f6d45427 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x5d35427)
# | #18 0x00007ff6f3e1024f (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x2e0024f)
# | #19 0x00007ff6f199ebba (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x98ebba)
# | #20 0x00007ff6f1a53f1c (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0xa43f1c)
# | #21 0x00007ff6f101886a (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x886a)
# | #22 0x00007ff6f10141a4 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x41a4)
# | #23 0x00007ff6f101294c (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x294c)
# | #24 0x00007ff6f1027cac (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x17cac)
# | #25 0x00007ff6f8572760 (c:\_work\llvm-project\llvm-project\build\bin\clang.exe+0x7562760)
# | #26 0x00007fffdaf54cb0 (C:\Windows\System32\KERNEL32.DLL+0x14cb0)
# | #27 0x00007fffdfd9edcb (C:\Windows\SYSTEM32\ntdll.dll+0x7edcb)
# `-----------------------------
# error: command failed with exit status: 0xc000001d
--
```
</details>
<details>
<summary>Clang.Analysis/use-after-move.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\23\include -nostdsysteminc -analyze -setup-static-analyzer -analyzer-checker=cplusplus.Move C:\_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: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\23\include' -nostdsysteminc -analyze -setup-static-analyzer -analyzer-checker=cplusplus.Move 'C:\_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 C:\_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 C:\_work\llvm-project\llvm-project\clang\test\Analysis\use-after-move.cpp Line 1023 'peaceful-note': Object 'l1' is moved
# | File C:\_work\llvm-project\llvm-project\clang\test\Analysis\use-after-move.cpp Line 1022 (directive at C:\_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