stl-algorithm-modeling.cpp - OpenGrok cross reference for /llvm-project/clang/test/Analysis/stl-algorithm-modeling.cpp

Lines Matching defs:i2
27   const auto i2 = return_any_iterator(V.begin());
29   const auto i3 = std::find(i1, i2, n);
31   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}
39                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
41                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
46   const auto i2 = return_any_iterator(V.begin());
48   const auto i3 = std::find(std::execution::sequenced_policy(), i1, i2, n);
50   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}}
58                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
60                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
67   const auto i2 = return_any_iterator(V.begin());
69   const auto i3 = std::find_if(i1, i2, odd);
71   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}}
79                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
81                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
86   const auto i2 = return_any_iterator(V.begin());
88   const auto i3 = std::find_if(std::execution::sequenced_policy(), i1, i2, odd);
90   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}}
98                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
100                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
105   const auto i2 = return_any_iterator(V.begin());
107   const auto i3 = std::find_if_not(i1, i2, odd);
109   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}}
117                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
119                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
124   const auto i2 = return_any_iterator(V.begin());
126   const auto i3 = std::find_if_not(std::execution::sequenced_policy(), i1, i2,
129   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}}
137                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
139                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
144   const auto i2 = return_any_iterator(V1.begin());
148   const auto i5 = std::find_first_of(i1, i2, i3, i4);
150   clang_analyzer_eval(i5 == i2); // expected-warning{{FALSE}}}
158                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
160                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
165   const auto i2 = return_any_iterator(V1.begin());
170                                      i1, i2, i3, i4);
172   clang_analyzer_eval(i5 == i2); // expected-warning{{FALSE}}}
180                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
182                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
187   const auto i2 = return_any_iterator(V1.begin());
191   const auto i5 = std::find_first_of(i1, i2, i3, i4, odd);
193   clang_analyzer_eval(i5 == i2); // expected-warning{{FALSE}}}
201                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
203                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
208   const auto i2 = return_any_iterator(V1.begin());
213                                      i1, i2, i3, i4, odd);
215   clang_analyzer_eval(i5 == i2); // expected-warning{{FALSE}}}
223                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
225                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
230   const auto i2 = return_any_iterator(V1.begin());
234   const auto i5 = std::find_end(i1, i2, i3, i4);
236   clang_analyzer_eval(i5 == i2); // expected-warning{{FALSE}}}
244                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
246                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
251   const auto i2 = return_any_iterator(V1.begin());
256                                 i1, i2, i3, i4);
258   clang_analyzer_eval(i5 == i2); // expected-warning{{FALSE}}}
266                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
268                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
273   const auto i2 = return_any_iterator(V1.begin());
277   const auto i5 = std::find_end(i1, i2, i3, i4, odd);
279   clang_analyzer_eval(i5 == i2); // expected-warning{{FALSE}}}
287                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
289                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
294   const auto i2 = return_any_iterator(V1.begin());
299                                 i1, i2, i3, i4, odd);
301   clang_analyzer_eval(i5 == i2); // expected-warning{{FALSE}}}
309                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
311                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
318   const auto i2 = return_any_iterator(V.begin());
320   const auto i3 = std::lower_bound(i1, i2, n);
322   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}}
330                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
332                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
337   const auto i2 = return_any_iterator(V.begin());
339   const auto i3 = std::lower_bound(i1, i2, n, compare);
341   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}}
349                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
351                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
356   const auto i2 = return_any_iterator(V.begin());
358   const auto i3 = std::upper_bound(i1, i2, n);
360   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}}
368                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
370                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
375   const auto i2 = return_any_iterator(V.begin());
377   const auto i3 = std::upper_bound(i1, i2, n, compare);
379   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}}
387                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
389                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
394   const auto i2 = return_any_iterator(V1.begin());
398   const auto i5 = std::search(i1, i2, i3, i4);
400   clang_analyzer_eval(i5 == i2); // expected-warning{{FALSE}}}
408                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
410                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
415   const auto i2 = return_any_iterator(V1.begin());
420                               i1, i2, i3, i4);
422   clang_analyzer_eval(i5 == i2); // expected-warning{{FALSE}}}
430                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
432                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
437   const auto i2 = return_any_iterator(V1.begin());
441   const auto i5 = std::search(i1, i2, i3, i4, odd);
443   clang_analyzer_eval(i5 == i2); // expected-warning{{FALSE}}}
451                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
453                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
458   const auto i2 = return_any_iterator(V1.begin());
463                               i1, i2, i3, i4, odd);
465   clang_analyzer_eval(i5 == i2); // expected-warning{{FALSE}}}
473                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
475                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
480   const auto i2 = return_any_iterator(V1.begin());
484   const auto i5 = std::search(i1, i2, std::default_searcher(i3, i4));
486   clang_analyzer_eval(i5 == i2); // expected-warning{{FALSE}}}
494                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
496                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
501   const auto i2 = return_any_iterator(V.begin());
503   const auto i3 = std::search_n(i1, i2, 2, n);
505   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}}
513                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
515                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
520   const auto i2 = return_any_iterator(V.begin());
523                                 i1, i2, 2, n);
525   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}}
534                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
536                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
541   const auto i2 = return_any_iterator(V.begin());
543   const auto i3 = std::search_n(i1, i2, 2, n, compare);
545   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}}
553                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
555                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
560   const auto i2 = return_any_iterator(V.begin());
563                                 i1, i2, 2, n, compare);
565   clang_analyzer_eval(i3 == i2); // expected-warning{{FALSE}}}
573                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
575                       clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}