github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results
* 53052 tests passed
* 1004 tests skipped
* 9 tests failed
## Failed Tests
(click on a test name to see its output)
### Clang
<details>
<summary>Clang.Analysis/NewDelete-checker-test.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 -std=c++11 -fblocks
C:\_work\llvm-project\llvm-project\clang\test\Analysis\NewDelete-checker-test.cpp
-verify=expected,newdelete -analyzer-checker=core
-analyzer-checker=cplusplus.NewDelete
# 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 -fblocks
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\NewDelete-checker-test.cpp'
-verify=expected,newdelete -analyzer-checker=core
-analyzer-checker=cplusplus.NewDelete
# .---command stderr------------
# | error: diagnostics with 'warning' severity expected but not seen:
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\NewDelete-checker-test.cpp
Line 518 'newdelete-warning': Attempt to release already released memory
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\NewDelete-checker-test.cpp
Line 560 'newdelete-warning': Attempt to release already released memory
# | 2 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.Analysis/ctor-trivial-copy.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=core,debug.ExprInspection
-analyzer-config c++-inlining=constructors -verify
C:\_work\llvm-project\llvm-project\clang\test\Analysis\ctor-trivial-copy.cpp
2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\clang\test\Analysis\ctor-trivial-copy.cpp
# 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=core,debug.ExprInspection
-analyzer-config c++-inlining=constructors -verify
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\ctor-trivial-copy.cpp'
# note: command had no output on stdout or stderr
# error: command failed with exit status: 1
# executed command:
'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe'
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\ctor-trivial-copy.cpp'
# .---command stderr------------
# |
C:\_work\llvm-project\llvm-project\clang\test\Analysis\ctor-trivial-copy.cpp:98:17:
error: CHECK-NEXT: expected string not found in input
# | // CHECK-NEXT: { "kind": "Direct", "offset": 0, "value":
"derived_${{[0-9]+}}{[[AGGR_CONJ]],Aggr.x}" },
# | ^
# | <stdin>:38:62: note: scanning from here
# | { "cluster": "Aggr2", "pointer": "0x28d3beff608", "items": [
# | ^
# | <stdin>:38:62: note: with "AGGR_CONJ" equal to "conj_$11{int, LC9, S4264,
#1}"
# | { "cluster": "Aggr2", "pointer": "0x28d3beff608", "items": [
# | ^
# | <stdin>:39:2: note: possible intended match here
# | { "kind": "Default", "offset": 0, "value": "conj_$11{int, LC9, S4264, #1}"
}
# | ^
# |
# | Input file: <stdin>
# | Check file:
C:\_work\llvm-project\llvm-project\clang\test\Analysis\ctor-trivial-copy.cpp
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 33: { "kind": "Default", "offset": 0, "value": "conj_$10{int,
LC9, S4264, #1}" }
# | 34: ]},
# | 35: { "cluster": "Aggr", "pointer": "0x28d3befeb20", "items": [
# | 36: { "kind": "Default", "offset": 0, "value": "conj_$11{int,
LC9, S4264, #1}" }
# | 37: ]},
# | 38: { "cluster": "Aggr2", "pointer": "0x28d3beff608", "items": [
# | next:98'0
X error: no match found
# | next:98'1
with "AGGR_CONJ" equal to "conj_$11{int, LC9, S4264, #1}"
# | 39: { "kind": "Default", "offset": 0, "value": "conj_$11{int,
LC9, S4264, #1}" }
# | next:98'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:98'2 ?
possible intended match
# | 40: ]},
# | next:98'0 ~~~~~
# | 41: { "cluster": "Aggr3", "pointer": "0x28d3befad28", "items": [
# | next:98'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 42: { "kind": "Default", "offset": 0, "value": "conj_$11{int,
LC9, S4264, #1}" }
# | next:98'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 43: ]}
# | next:98'0 ~~~~
# | 44: ]},
# | next:98'0 ~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.Analysis/explain-svals.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 -triple i386-apple-darwin10 -verify
C:\_work\llvm-project\llvm-project\clang\test\Analysis\explain-svals.cpp
-analyzer-checker=debug.ExprInspection -analyzer-checker=unix.cstring
-analyzer-checker=unix.Malloc -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 -triple i386-apple-darwin10 -verify
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\explain-svals.cpp'
-analyzer-checker=debug.ExprInspection -analyzer-checker=unix.cstring
-analyzer-checker=unix.Malloc -analyzer-config display-checker-name=false
# .---command stderr------------
# | error: 'expected-warning' diagnostics expected but not seen:
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\explain-svals.cpp Line
102: {{^lazily frozen compound value of 1st parameter of function
'clang_analyzer_explain\(\)'$}}
# | error: 'expected-warning' diagnostics seen but not expected:
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\explain-svals.cpp Line
102: symbol of type 'int' conjured at CFG element 'conjure_S()
(CXXRecordTypedCall, +0)'
# | 2 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.Analysis/iterator-modeling.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 -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": "0x19e6aa0d148", "items": [
# | { "cluster": "GlobalSystemSpaceRegion", "pointer": "0x19e6aa0fbe0",
"items": [
# | { "kind": "Default", "offset": 0, "value": "conj_$1{int, LC1,
S179040, #1}" }
# | ]},
# | { "cluster": "i0", "pointer": "0x19e6aa0fdf0", "items": [
# | { "kind": "Default", "offset": 0, "value": "conj_$2{int, LC1,
S179040, #1}" }
# | ]}
# | ]},
# | "environment": { "pointer": "0x19e6a983b30", "items": [
# | { "lctx_id": 1, "location_context": "#0 Call", "calling":
"print_state", "location": null, "items": [
# | { "stmt_id": 179104, "kind": "ImplicitCastExpr", "pretty":
"clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" }
# | ]}
# | ]},
# | "constraints": [
# | { "symbol": "conj_$3{long, LC1, S179040, #1}", "range": "{ [-536870911,
536870911] }" }
# | ],
# | "equivalence_classes": null,
# | "disequality_info": null,
# | "dynamic_types": null,
# | "dynamic_casts": null,
# | "checker_messages": [
# | { "checker": "alpha.cplusplus.IteratorModeling", "messages": [
# | "Iterator Positions :",
# | "conj_$2{int, LC1, S179040, #1} : Valid ; Container ==
SymRegion{reg_$0<std::vector<int> & V>} ; Offset == conj_$3{long, LC1, S179040,
#1}",
# | "i0 : Valid ; Container == SymRegion{reg_$0<std::vector<int> & V>} ;
Offset == conj_$3{long, LC1, S179040, #1}"
# | ]},
# | { "checker": "alpha.cplusplus.ContainerModeling", "messages": [
# | "Container Data :",
# | "SymRegion{reg_$0<std::vector<int> & V>} : [ conj_$3{long, LC1,
S179040, #1} .. <Unknown> ]"
# | ]}
# | ]
# | }"program_state": {
# | "store": { "pointer": "0x19e6aa16778", "items": [
# | { "cluster": "GlobalSystemSpaceRegion", "pointer": "0x19e6aa0fbe0",
"items": [
# | { "kind": "Default", "offset": 0, "value": "conj_$9{int, LC1,
S179171, #1}" }
# | ]},
# | { "cluster": "i1", "pointer": "0x19e6aa16380", "items": [
# | { "kind": "Default", "offset": 0, "value": "conj_$10{int, LC1,
S179171, #1}" }
# | ]}
# | ]},
# | "environment": { "pointer": "0x19e6a983b30", "items": [
# | { "lctx_id": 1, "location_context": "#0 Call", "calling":
"print_state", "location": null, "items": [
# | { "stmt_id": 179228, "kind": "ImplicitCastExpr", "pretty":
"clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" }
# | ]}
# | ]},
# | "constraints": [
# | { "symbol": "conj_$11{long, LC1, S179171, #1}", "range": "{
[-536870911, 536870911] }" },
# | { "symbol": "conj_$3{long, LC1, S179040, #1}", "range": "{ [-536870911,
536870911] }" }
# | ],
# | "equivalence_classes": null,
# | "disequality_info": null,
# | "dynamic_types": null,
# | "dynamic_casts": null,
# | "checker_messages": [
# | { "checker": "alpha.cplusplus.IteratorModeling", "messages": [
# | "Iterator Positions :",
# | "conj_$10{int, LC1, S179171, #1} : Valid ; Container ==
SymRegion{reg_$0<std::vector<int> & V>} ; Offset == conj_$11{long, LC1,
S179171, #1}",
# | "i1 : Valid ; Container == SymRegion{reg_$0<std::vector<int> & V>} ;
Offset == conj_$11{long, LC1, S179171, #1}"
# | ]},
# | { "checker": "alpha.cplusplus.ContainerModeling", "messages": [
# | "Container Data :",
# | "SymRegion{reg_$0<std::vector<int> & V>} : [ conj_$3{long, LC1,
S179040, #1} .. conj_$11{long, LC1, S179171, #1} ]"
# | ]}
# | ]
# | }
# `-----------------------------
# RUN: at line 3
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=true -DINLINE=1
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=true -DINLINE=1
'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": "0x1ef30d84ff0", "items": [
# | { "cluster": "i0", "pointer": "0x1ef30d880c0", "items": [
# | { "kind": "Direct", "offset": 0, "value": "&SymRegion{reg_$1<int *
Element{SymRegion{reg_$0<std::vector<int> & V>},0 S64b,class
std::vector<int>}._start>}" }
# | ]}
# | ]},
# | "environment": { "pointer": "0x1ef30b35b40", "items": [
# | { "lctx_id": 1, "location_context": "#0 Call", "calling":
"print_state", "location": null, "items": [
# | { "stmt_id": 179104, "kind": "ImplicitCastExpr", "pretty":
"clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" }
# | ]}
# | ]},
# | "constraints": [
# | { "symbol": "conj_$2{long, LC1, S179040, #1}", "range": "{ [-536870911,
536870911] }" }
# | ],
# | "equivalence_classes": null,
# | "disequality_info": null,
# | "dynamic_types": null,
# | "dynamic_casts": null,
# | "checker_messages": [
# | { "checker": "alpha.cplusplus.IteratorModeling", "messages": [
# | "Iterator Positions :",
# | "i0 : Valid ; Container == SymRegion{reg_$0<std::vector<int> & V>} ;
Offset == conj_$2{long, LC1, S179040, #1}"
# | ]},
# | { "checker": "alpha.cplusplus.ContainerModeling", "messages": [
# | "Container Data :",
# | "SymRegion{reg_$0<std::vector<int> & V>} : [ conj_$2{long, LC1,
S179040, #1} .. <Unknown> ]"
# | ]}
# | ]
# | }"program_state": {
# | "store": { "pointer": "0x1ef30d8d5c0", "items": [
# | { "cluster": "i1", "pointer": "0x1ef30d94b90", "items": [
# | { "kind": "Direct", "offset": 0, "value": "&SymRegion{reg_$7<int *
Element{SymRegion{reg_$0<std::vector<int> & V>},0 S64b,class
std::vector<int>}._finish>}" }
# | ]}
# | ]},
# | "environment": { "pointer": "0x1ef30b35b40", "items": [
# | { "lctx_id": 1, "location_context": "#0 Call", "calling":
"print_state", "location": null, "items": [
# | { "stmt_id": 179228, "kind": "ImplicitCastExpr", "pretty":
"clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" }
# | ]}
# | ]},
# | "constraints": [
# | { "symbol": "conj_$2{long, LC1, S179040, #1}", "range": "{ [-536870911,
536870911] }" },
# | { "symbol": "conj_$8{long, LC1, S179171, #1}", "range": "{ [-536870911,
536870911] }" }
# | ],
# | "equivalence_classes": null,
# | "disequality_info": null,
# | "dynamic_types": null,
# | "dynamic_casts": null,
# | "checker_messages": [
# | { "checker": "alpha.cplusplus.IteratorModeling", "messages": [
# | "Iterator Positions :",
# | "i1 : Valid ; Container == SymRegion{reg_$0<std::vector<int> & V>} ;
Offset == conj_$8{long, LC1, S179171, #1}"
# | ]},
# | { "checker": "alpha.cplusplus.ContainerModeling", "messages": [
# | "Container Data :",
# | "SymRegion{reg_$0<std::vector<int> & V>} : [ conj_$2{long, LC1,
S179040, #1} .. conj_$8{long, LC1, S179171, #1} ]"
# | ]}
# | ]
# | }
# `-----------------------------
# RUN: at line 5
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=true -DINLINE=1
-DSTD_ADVANCE_INLINE_LEVEL=0
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=true -DINLINE=1
-DSTD_ADVANCE_INLINE_LEVEL=0
'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": "0x1b373a3d8e0", "items": [
# | { "cluster": "i0", "pointer": "0x1b373a36ee0", "items": [
# | { "kind": "Direct", "offset": 0, "value": "&SymRegion{reg_$1<int *
Element{SymRegion{reg_$0<std::vector<int> & V>},0 S64b,class
std::vector<int>}._start>}" }
# | ]}
# | ]},
# | "environment": { "pointer": "0x1b37395c110", "items": [
# | { "lctx_id": 1, "location_context": "#0 Call", "calling":
"print_state", "location": null, "items": [
# | { "stmt_id": 178758, "kind": "ImplicitCastExpr", "pretty":
"clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" }
# | ]}
# | ]},
# | "constraints": [
# | { "symbol": "conj_$2{long, LC1, S178694, #1}", "range": "{ [-536870911,
536870911] }" }
# | ],
# | "equivalence_classes": null,
# | "disequality_info": null,
# | "dynamic_types": null,
# | "dynamic_casts": null,
# | "checker_messages": [
# | { "checker": "alpha.cplusplus.IteratorModeling", "messages": [
# | "Iterator Positions :",
# | "i0 : Valid ; Container == SymRegion{reg_$0<std::vector<int> & V>} ;
Offset == conj_$2{long, LC1, S178694, #1}"
# | ]},
# | { "checker": "alpha.cplusplus.ContainerModeling", "messages": [
# | "Container Data :",
# | "SymRegion{reg_$0<std::vector<int> & V>} : [ conj_$2{long, LC1,
S178694, #1} .. <Unknown> ]"
# | ]}
# | ]
# | }"program_state": {
# | "store": { "pointer": "0x1b373a42b78", "items": [
# | { "cluster": "i1", "pointer": "0x1b373a46d38", "items": [
# | { "kind": "Direct", "offset": 0, "value": "&SymRegion{reg_$7<int *
Element{SymRegion{reg_$0<std::vector<int> & V>},0 S64b,class
std::vector<int>}._finish>}" }
# | ]}
# | ]},
# | "environment": { "pointer": "0x1b37395c110", "items": [
# | { "lctx_id": 1, "location_context": "#0 Call", "calling":
"print_state", "location": null, "items": [
# | { "stmt_id": 178881, "kind": "ImplicitCastExpr", "pretty":
"clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" }
# | ]}
# | ]},
# | "constraints": [
# | { "symbol": "conj_$2{long, LC1, S178694, #1}", "range": "{ [-536870911,
536870911] }" },
# | { "symbol": "conj_$8{long, LC1, S178825, #1}", "range": "{ [-536870911,
536870911] }" }
# | ],
# | "equivalence_classes": null,
# | "disequality_info": null,
# | "dynamic_types": null,
# | "dynamic_casts": null,
# | "checker_messages": [
# | { "checker": "alpha.cplusplus.IteratorModeling", "messages": [
# | "Iterator Positions :",
# | "i1 : Valid ; Container == SymRegion{reg_$0<std::vector<int> & V>} ;
Offset == conj_$8{long, LC1, S178825, #1}"
# | ]},
# | { "checker": "alpha.cplusplus.ContainerModeling", "messages": [
# | "Container Data :",
# | "SymRegion{reg_$0<std::vector<int> & V>} : [ conj_$2{long, LC1,
S178694, #1} .. conj_$8{long, LC1, S178825, #1} ]"
# | ]}
# | ]
# | }
# `-----------------------------
# RUN: at line 7
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=true -DINLINE=1
-DSTD_ADVANCE_INLINE_LEVEL=1
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=true -DINLINE=1
-DSTD_ADVANCE_INLINE_LEVEL=1
'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": "0x125c661a090", "items": [
# | { "cluster": "i0", "pointer": "0x125c6610360", "items": [
# | { "kind": "Direct", "offset": 0, "value": "&SymRegion{reg_$1<int *
Element{SymRegion{reg_$0<std::vector<int> & V>},0 S64b,class
std::vector<int>}._start>}" }
# | ]}
# | ]},
# | "environment": { "pointer": "0x125c655a950", "items": [
# | { "lctx_id": 1, "location_context": "#0 Call", "calling":
"print_state", "location": null, "items": [
# | { "stmt_id": 178758, "kind": "ImplicitCastExpr", "pretty":
"clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" }
# | ]}
# | ]},
# | "constraints": [
# | { "symbol": "conj_$2{long, LC1, S178694, #1}", "range": "{ [-536870911,
536870911] }" }
# | ],
# | "equivalence_classes": null,
# | "disequality_info": null,
# | "dynamic_types": null,
# | "dynamic_casts": null,
# | "checker_messages": [
# | { "checker": "alpha.cplusplus.IteratorModeling", "messages": [
# | "Iterator Positions :",
# | "i0 : Valid ; Container == SymRegion{reg_$0<std::vector<int> & V>} ;
Offset == conj_$2{long, LC1, S178694, #1}"
# | ]},
# | { "checker": "alpha.cplusplus.ContainerModeling", "messages": [
# | "Container Data :",
# | "SymRegion{reg_$0<std::vector<int> & V>} : [ conj_$2{long, LC1,
S178694, #1} .. <Unknown> ]"
# | ]}
# | ]
# | }"program_state": {
# | "store": { "pointer": "0x125c6620368", "items": [
# | { "cluster": "i1", "pointer": "0x125c661dff0", "items": [
# | { "kind": "Direct", "offset": 0, "value": "&SymRegion{reg_$7<int *
Element{SymRegion{reg_$0<std::vector<int> & V>},0 S64b,class
std::vector<int>}._finish>}" }
# | ]}
# | ]},
# | "environment": { "pointer": "0x125c655a950", "items": [
# | { "lctx_id": 1, "location_context": "#0 Call", "calling":
"print_state", "location": null, "items": [
# | { "stmt_id": 178881, "kind": "ImplicitCastExpr", "pretty":
"clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" }
# | ]}
# | ]},
# | "constraints": [
# | { "symbol": "conj_$2{long, LC1, S178694, #1}", "range": "{ [-536870911,
536870911] }" },
# | { "symbol": "conj_$8{long, LC1, S178825, #1}", "range": "{ [-536870911,
536870911] }" }
# | ],
# | "equivalence_classes": null,
# | "disequality_info": null,
# | "dynamic_types": null,
# | "dynamic_casts": null,
# | "checker_messages": [
# | { "checker": "alpha.cplusplus.IteratorModeling", "messages": [
# | "Iterator Positions :",
# | "i1 : Valid ; Container == SymRegion{reg_$0<std::vector<int> & V>} ;
Offset == conj_$8{long, LC1, S178825, #1}"
# | ]},
# | { "checker": "alpha.cplusplus.ContainerModeling", "messages": [
# | "Container Data :",
# | "SymRegion{reg_$0<std::vector<int> & V>} : [ conj_$2{long, LC1,
S178694, #1} .. conj_$8{long, LC1, S178825, #1} ]"
# | ]}
# | ]
# | }
# `-----------------------------
# RUN: at line 9
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=true -DINLINE=1
-DSTD_ADVANCE_INLINE_LEVEL=2
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=true -DINLINE=1
-DSTD_ADVANCE_INLINE_LEVEL=2
'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": "0x193f26e2df0", "items": [
# | { "cluster": "i0", "pointer": "0x193f26e4cc0", "items": [
# | { "kind": "Direct", "offset": 0, "value": "&SymRegion{reg_$1<int *
Element{SymRegion{reg_$0<std::vector<int> & V>},0 S64b,class
std::vector<int>}._start>}" }
# | ]}
# | ]},
# | "environment": { "pointer": "0x193f260e7b0", "items": [
# | { "lctx_id": 1, "location_context": "#0 Call", "calling":
"print_state", "location": null, "items": [
# | { "stmt_id": 178948, "kind": "ImplicitCastExpr", "pretty":
"clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" }
# | ]}
# | ]},
# | "constraints": [
# | { "symbol": "conj_$2{long, LC1, S178884, #1}", "range": "{ [-536870911,
536870911] }" }
# | ],
# | "equivalence_classes": null,
# | "disequality_info": null,
# | "dynamic_types": null,
# | "dynamic_casts": null,
# | "checker_messages": [
# | { "checker": "alpha.cplusplus.IteratorModeling", "messages": [
# | "Iterator Positions :",
# | "i0 : Valid ; Container == SymRegion{reg_$0<std::vector<int> & V>} ;
Offset == conj_$2{long, LC1, S178884, #1}"
# | ]},
# | { "checker": "alpha.cplusplus.ContainerModeling", "messages": [
# | "Container Data :",
# | "SymRegion{reg_$0<std::vector<int> & V>} : [ conj_$2{long, LC1,
S178884, #1} .. <Unknown> ]"
# | ]}
# | ]
# | }"program_state": {
# | "store": { "pointer": "0x193f26f6e40", "items": [
# | { "cluster": "i1", "pointer": "0x193f26f8f00", "items": [
# | { "kind": "Direct", "offset": 0, "value": "&SymRegion{reg_$7<int *
Element{SymRegion{reg_$0<std::vector<int> & V>},0 S64b,class
std::vector<int>}._finish>}" }
# | ]}
# | ]},
# | "environment": { "pointer": "0x193f260e7b0", "items": [
# | { "lctx_id": 1, "location_context": "#0 Call", "calling":
"print_state", "location": null, "items": [
# | { "stmt_id": 179071, "kind": "ImplicitCastExpr", "pretty":
"clang_analyzer_printState", "value": "&code{clang_analyzer_printState}" }
# | ]}
# | ]},
# | "constraints": [
# | { "symbol": "conj_$2{long, LC1, S178884, #1}", "range": "{ [-536870911,
536870911] }" },
# | { "symbol": "conj_$8{long, LC1, S179015, #1}", "range": "{ [-536870911,
536870911] }" }
# | ],
# | "equivalence_classes": null,
# | "disequality_info": null,
# | "dynamic_types": null,
# | "dynamic_casts": null,
# | "checker_messages": [
# | { "checker": "alpha.cplusplus.IteratorModeling", "messages": [
# | "Iterator Positions :",
# | "i1 : Valid ; Container == SymRegion{reg_$0<std::vector<int> & V>} ;
Offset == conj_$8{long, LC1, S179015, #1}"
# | ]},
# | { "checker": "alpha.cplusplus.ContainerModeling", "messages": [
# | "Container Data :",
# | "SymRegion{reg_$0<std::vector<int> & V>} : [ conj_$2{long, LC1,
S178884, #1} .. conj_$8{long, LC1, S179015, #1} ]"
# | ]}
# | ]
# | }
# `-----------------------------
# RUN: at line 11
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.IteratorModeling,debug.ExprInspection
-analyzer-config aggressive-binary-operation-simplification=true
C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-modeling.cpp
2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-modeling.cpp
# 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.IteratorModeling,debug.ExprInspection
-analyzer-config aggressive-binary-operation-simplification=true
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-modeling.cpp'
# note: command had no output on stdout or stderr
# executed command:
'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe'
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-modeling.cpp'
# .---command stderr------------
# |
C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-modeling.cpp:2038:17:
error: CHECK-NEXT: is not on the line after the previous match
# | // CHECK-NEXT: "i0 : Valid ; Container ==
SymRegion{reg_$[[#]]<std::vector<int> & V>} ; Offset == conj_$[[#]]{long,
LC[[#]], S[[#]], #[[#]]}"
# | ^
# | <stdin>:26:2: note: 'next' match was here
# | "i0 : Valid ; Container == SymRegion{reg_$0<std::vector<int> & V>} ;
Offset == conj_$3{long, LC1, S179040, #1}"
# | ^
# | <stdin>:24:25: note: previous match ended here
# | "Iterator Positions :",
# | ^
# | <stdin>:25:1: note: non-matching line after previous match is here
# | "conj_$2{int, LC1, S179040, #1} : Valid ; Container ==
SymRegion{reg_$0<std::vector<int> & V>} ; Offset == conj_$3{long, LC1, S179040,
#1}",
# | ^
# |
# | Input file: <stdin>
# | Check file:
C:\_work\llvm-project\llvm-project\clang\test\Analysis\iterator-modeling.cpp
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 21: "dynamic_casts": null,
# | 22: "checker_messages": [
# | 23: { "checker": "alpha.cplusplus.IteratorModeling", "messages":
[
# | 24: "Iterator Positions :",
# | 25: "conj_$2{int, LC1, S179040, #1} : Valid ; Container ==
SymRegion{reg_$0<std::vector<int> & V>} ; Offset == conj_$3{long, LC1, S179040,
#1}",
# | 26: "i0 : Valid ; Container == SymRegion{reg_$0<std::vector<int>
& V>} ; Offset == conj_$3{long, LC1, S179040, #1}"
# | next:2038
!~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error: match on wrong line
# | 27: ]},
# | 28: { "checker": "alpha.cplusplus.ContainerModeling",
"messages": [
# | 29: "Container Data :",
# | 30: "SymRegion{reg_$0<std::vector<int> & V>} : [ conj_$3{long,
LC1, S179040, #1} .. <Unknown> ]"
# | 31: ]}
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.Analysis/stl-algorithm-modeling-aggressive-std-find-modeling.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 -std=c++17
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
-analyzer-checker=core,cplusplus,alpha.cplusplus.STLAlgorithmModeling,debug.DebugIteratorModeling,debug.ExprInspection
-analyzer-config aggressive-binary-operation-simplification=true
-analyzer-config
alpha.cplusplus.STLAlgorithmModeling:AggressiveStdFindModeling=true -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++17
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp'
-analyzer-checker=core,cplusplus,alpha.cplusplus.STLAlgorithmModeling,debug.DebugIteratorModeling,debug.ExprInspection
-analyzer-config aggressive-binary-operation-simplification=true
-analyzer-config
alpha.cplusplus.STLAlgorithmModeling:AggressiveStdFindModeling=true -verify
# .---command stderr------------
# | error: 'expected-warning' diagnostics expected but not seen:
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 22: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 22: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 30 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:31):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 32 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:33):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 43: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 43: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 51 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:52):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 53 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:54):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 66: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 66: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 74 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:75):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 76 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:77):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 87: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 87: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 95 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:96):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 97 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:98):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 108: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 108: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 116 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:117):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 118 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:119):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 130: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 130: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 138 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:139):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 140 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:141):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 153: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 153: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 161 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:162):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 163 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:164):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 177: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 177: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 185 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:186):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 187 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:188):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 200: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 200: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 208 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:209):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 210 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:211):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 224: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 224: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 232 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:233):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 234 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:235):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 247: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 247: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 255 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:256):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 257 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:258):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 271: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 271: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 279 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:280):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 281 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:282):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 294: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 294: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 302 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:303):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 304 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:305):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 318: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 318: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 326 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:327):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 328 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:329):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 341: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 341: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 349 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:350):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 351 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:352):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 362: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 362: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 370 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:371):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 372 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:373):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 383: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 383: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 391 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:392):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 393 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:394):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 404: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 404: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 412 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:413):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 414 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:415):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 427: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 427: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 435 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:436):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 437 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:438):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 451: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 451: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 459 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:460):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 461 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:462):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 474: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 474: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 482 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:483):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 484 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:485):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 498: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 498: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 506 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:507):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 508 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:509):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 521: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 521: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 529 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:530):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 531 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:532):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 542: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 542: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 550 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:551):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 552 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:553):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 564: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 564: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 572 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:573):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 574 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:575):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 585: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 585: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 593 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:594):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 595 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:596):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 607: TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 607: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 615 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:616):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 617 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp:618):
FALSE
# | error: 'expected-warning' diagnostics seen but not expected:
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 22: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 30: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 32: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 43: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 51: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 53: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 66: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 74: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 76: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 87: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 95: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 97: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 108: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 116: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 118: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 130: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 138: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 140: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 153: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 161: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 163: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 177: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 185: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 187: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 200: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 208: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 210: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 224: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 232: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 234: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 247: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 255: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 257: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 271: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 279: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 281: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 294: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 302: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 304: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 318: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 326: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 328: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 341: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 349: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 351: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 362: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 370: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 372: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 383: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 391: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 393: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 404: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 412: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 414: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 427: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 435: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 437: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 451: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 459: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 461: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 474: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 482: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 484: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 498: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 506: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 508: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 521: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 529: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 531: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 542: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 550: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 552: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 564: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 572: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 574: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 585: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 593: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 595: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 607: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 615: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling-aggressive-std-find-modeling.cpp
Line 617: TRUE [debug.ExprInspection]
# | 189 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.Analysis/stl-algorithm-modeling.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 -std=c++17
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
-analyzer-checker=core,cplusplus,alpha.cplusplus.STLAlgorithmModeling,debug.DebugIteratorModeling,debug.ExprInspection
-analyzer-config aggressive-binary-operation-simplification=true -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++17
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp'
-analyzer-checker=core,cplusplus,alpha.cplusplus.STLAlgorithmModeling,debug.DebugIteratorModeling,debug.ExprInspection
-analyzer-config aggressive-binary-operation-simplification=true -verify
# .---command stderr------------
# | error: 'expected-warning' diagnostics expected but not seen:
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 21: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 28 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:29):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 30 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:31):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 40: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 47 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:48):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 49 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:50):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 61: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 68 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:69):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 70 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:71):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 80: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 87 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:88):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 89 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:90):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 99: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 106 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:107):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 108 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:109):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 119: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 126 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:127):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 128 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:129):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 140: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 147 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:148):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 149 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:150):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 162: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 169 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:170):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 171 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:172):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 183: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 190 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:191):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 192 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:193):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 205: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 212 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:213):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 214 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:215):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 226: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 233 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:234):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 235 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:236):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 248: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 255 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:256):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 257 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:258):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 269: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 276 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:277):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 278 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:279):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 291: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 298 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:299):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 300 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:301):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 312: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 319 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:320):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 321 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:322):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 331: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 338 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:339):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 340 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:341):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 350: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 357 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:358):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 359 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:360):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 369: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 376 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:377):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 378 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:379):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 390: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 397 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:398):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 399 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:400):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 412: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 419 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:420):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 421 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:422):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 433: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 440 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:441):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 442 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:443):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 455: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 462 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:463):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 464 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:465):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 476: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 483 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:484):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 485 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:486):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 495: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 502 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:503):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 504 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:505):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 515: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 523 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:524):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 525 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:526):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 535: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 542 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:543):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 544 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:545):
FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 555: FALSE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 562 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:563):
TRUE
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 564 (directive at
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp:565):
FALSE
# | error: 'expected-warning' diagnostics seen but not expected:
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 21: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 28: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 30: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 40: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 47: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 49: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 61: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 68: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 70: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 80: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 87: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 89: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 99: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 106: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 108: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 119: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 126: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 128: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 140: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 147: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 149: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 162: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 169: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 171: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 183: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 190: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 192: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 205: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 212: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 214: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 226: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 233: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 235: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 248: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 255: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 257: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 269: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 276: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 278: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 291: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 298: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 300: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 312: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 319: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 321: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 331: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 338: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 340: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 350: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 357: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 359: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 369: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 376: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 378: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 390: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 397: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 399: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 412: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 419: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 421: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 433: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 440: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 442: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 455: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 462: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 464: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 476: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 483: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 485: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 495: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 502: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 504: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 515: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 523: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 525: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 535: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 542: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 544: TRUE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 555: UNKNOWN [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 562: FALSE [debug.ExprInspection]
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\stl-algorithm-modeling.cpp
Line 564: TRUE [debug.ExprInspection]
# | 162 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.Analysis/store-dump-orders.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=core,debug.ExprInspection
-verify
C:\_work\llvm-project\llvm-project\clang\test\Analysis\store-dump-orders.cpp
2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\clang\test\Analysis\store-dump-orders.cpp
# 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=core,debug.ExprInspection
-verify
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\store-dump-orders.cpp'
# note: command had no output on stdout or stderr
# executed command:
'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe'
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\store-dump-orders.cpp'
# .---command stderr------------
# |
C:\_work\llvm-project\llvm-project\clang\test\Analysis\store-dump-orders.cpp:44:17:
error: CHECK-NEXT: expected string not found in input
# | // CHECK-NEXT: { "kind": "Default", "offset": 0, "value": "lazyCompoundVal
# | ^
# | <stdin>:9:65: note: scanning from here
# | { "cluster": "objfirst", "pointer": "0x1b4e45d4e40", "items": [
# | ^
# | <stdin>:16:2: note: possible intended match here
# | { "kind": "Default", "offset": 0, "value": "Unknown" },
# | ^
# |
# | Input file: <stdin>
# | Check file:
C:\_work\llvm-project\llvm-project\clang\test\Analysis\store-dump-orders.cpp
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: "program_state": {
# | 2: "store": { "pointer": "0x1b4e45e21e0", "items": [
# | 3: { "cluster": "GlobalInternalSpaceRegion", "pointer":
"0x1b4e45e4748", "items": [
# | 4: { "kind": "Default", "offset": 0, "value": "conj_$2{int,
LC1, S1450, #1}" }
# | 5: ]},
# | 6: { "cluster": "GlobalSystemSpaceRegion", "pointer":
"0x1b4e45e4828", "items": [
# | 7: { "kind": "Default", "offset": 0, "value": "conj_$3{int,
LC1, S1450, #1}" }
# | 8: ]},
# | 9: { "cluster": "objfirst", "pointer": "0x1b4e45d4e40",
"items": [
# | next:44'0
X error: no match found
# | 10: { "kind": "Default", "offset": 0, "value": "conj_$4{int,
LC1, S1450, #1}" },
# | next:44'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 11: { "kind": "Direct", "offset": 320, "value": "1 S32b" },
# | next:44'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 12: { "kind": "Direct", "offset": 352, "value": "2 S32b" },
# | next:44'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 13: { "kind": "Direct", "offset": 384, "value": "3 S32b" }
# | next:44'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 14: ]},
# | next:44'0 ~~~~~
# | 15: { "cluster": "objsecond", "pointer": "0x1b4e45d7880",
"items": [
# | next:44'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 16: { "kind": "Default", "offset": 0, "value": "Unknown" },
# | next:44'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:44'1 ?
possible intended match
# | 17: { "kind": "Direct", "offset": null, "value": "20 S32b" }
# | next:44'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 18: ]}
# | next:44'0 ~~~~
# | 19: ]},
# | next:44'0 ~~~~~
# | 20: "environment": { "pointer": "0x1b4e4608c50", "items": [
# | next:44'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 21: { "lctx_id": 1, "location_context": "#0 Call", "calling":
"test_output", "location": null, "items": [
# | next:44'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.Analysis/taint-generic.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 -std=c++11 -Wno-format-security
-analyzer-checker=core,optin.taint,security.ArrayBound,debug.ExprInspection
-analyzer-config
optin.taint.TaintPropagation:Config=C:\_work\llvm-project\llvm-project\clang\test\Analysis/Inputs/taint-generic-config.yaml
-verify
C:\_work\llvm-project\llvm-project\clang\test\Analysis\taint-generic.cpp
# 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 -Wno-format-security
-analyzer-checker=core,optin.taint,security.ArrayBound,debug.ExprInspection
-analyzer-config
'optin.taint.TaintPropagation:Config=C:\_work\llvm-project\llvm-project\clang\test\Analysis/Inputs/taint-generic-config.yaml'
-verify
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\taint-generic.cpp'
# .---command stderr------------
# | error: 'expected-warning' diagnostics expected but not seen:
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\taint-generic.cpp Line
165: NO
# | error: 'expected-warning' diagnostics seen but not expected:
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\taint-generic.cpp Line
165: YES [debug.ExprInspection]
# | 2 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.Analysis/template-param-objects.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=core,debug.ExprInspection
-analyzer-config eagerly-assume=false -std=c++20 -verify
C:\_work\llvm-project\llvm-project\clang\test\Analysis\template-param-objects.cpp
# 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=core,debug.ExprInspection
-analyzer-config eagerly-assume=false -std=c++20 -verify
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\template-param-objects.cpp'
# .---command stderr------------
# | error: 'expected-warning' diagnostics expected but not seen:
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\template-param-objects.cpp
Line 14: lazyCompoundVal
# | error: 'expected-warning' diagnostics seen but not expected:
# | File
C:\_work\llvm-project\llvm-project\clang\test\Analysis\template-param-objects.cpp
Line 14: Unknown [debug.ExprInspection]
# | 2 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/184767
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
