[clang] Clang Static Analyzer: Fix stack overflow in template-heavy code (PR #184767)
via cfe-commits
cfe-commits at lists.llvm.org
Thu Mar 5 04:50:53 PST 2026
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
More information about the cfe-commits
mailing list