clang/test/Analysis/stl-algorithm-modeling-aggressive-std-find-modeling.cpp

   1 // RUN: %clang_analyze_cc1 -std=c++17 %s\
   2 // RUN:  -analyzer-checker=core,cplusplus,alpha.cplusplus.STLAlgorithmModeling,debug.DebugIteratorModeling,debug.ExprInspection\
   3 // RUN:  -analyzer-config aggressive-binary-operation-simplification=true\
   4 // RUN:  -analyzer-config alpha.cplusplus.STLAlgorithmModeling:AggressiveStdFindModeling=true\
   5 // RUN:  -verify
   6
   7 #include "Inputs/system-header-simulator-cxx.h"
   8
   9 void clang_analyzer_eval(bool);
  10
  11 template <typename Iterator>
  12 long clang_analyzer_iterator_position(const Iterator&);
  13
  14 template <typename Iter> Iter return_any_iterator(const Iter &It);
  15
  16 void test_find1(std::vector<int> V, int n) {
  17   const auto i1 = return_any_iterator(V.begin());
  18   const auto i2 = return_any_iterator(V.begin());
  19
  20   const auto i3 = std::find(i1, i2, n);
  21
  22   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
  23
  24   if (i3 != i2) {
  25     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
  26                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
  27     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
  28                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
  29
  30     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
  31                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
  32     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
  33                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
  34   }
  35 }
  36
  37 void test_find2(std::vector<int> V, int n) {
  38   const auto i1 = return_any_iterator(V.begin());
  39   const auto i2 = return_any_iterator(V.begin());
  40
  41   const auto i3 = std::find(std::execution::sequenced_policy(), i1, i2, n);
  42
  43   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
  44
  45   if (i3 != i2) {
  46     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
  47                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
  48     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
  49                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
  50
  51     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
  52                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
  53     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
  54                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
  55   }
  56 }
  57
  58 bool odd(int i) { return i % 2; }
  59
  60 void test_find_if1(std::vector<int> V) {
  61   const auto i1 = return_any_iterator(V.begin());
  62   const auto i2 = return_any_iterator(V.begin());
  63
  64   const auto i3 = std::find_if(i1, i2, odd);
  65
  66   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
  67
  68   if (i3 != i2) {
  69     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
  70                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
  71     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
  72                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
  73
  74     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
  75                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
  76     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
  77                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
  78   }
  79 }
  80
  81 void test_find_if2(std::vector<int> V) {
  82   const auto i1 = return_any_iterator(V.begin());
  83   const auto i2 = return_any_iterator(V.begin());
  84
  85   const auto i3 = std::find_if(std::execution::sequenced_policy(), i1, i2, odd);
  86
  87   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
  88
  89   if (i3 != i2) {
  90     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
  91                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
  92     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
  93                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
  94
  95     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
  96                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
  97     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
  98                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
  99   }
 100 }
 101
 102 void test_find_if_not1(std::vector<int> V) {
 103   const auto i1 = return_any_iterator(V.begin());
 104   const auto i2 = return_any_iterator(V.begin());
 105
 106   const auto i3 = std::find_if_not(i1, i2, odd);
 107
 108   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 109
 110   if (i3 != i2) {
 111     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 112                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 113     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 114                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 115
 116     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 117                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 118     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 119                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 120   }
 121 }
 122
 123 void test_find_if_not2(std::vector<int> V) {
 124   const auto i1 = return_any_iterator(V.begin());
 125   const auto i2 = return_any_iterator(V.begin());
 126
 127   const auto i3 = std::find_if_not(std::execution::sequenced_policy(), i1, i2,
 128                                    odd);
 129
 130   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 131
 132   if (i3 != i2) {
 133     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 134                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 135     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 136                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 137
 138     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 139                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 140     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 141                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 142   }
 143 }
 144
 145 void test_find_first_of1(std::vector<int> V1, std::vector<int> V2) {
 146   const auto i1 = return_any_iterator(V1.begin());
 147   const auto i2 = return_any_iterator(V1.begin());
 148   const auto i3 = return_any_iterator(V2.begin());
 149   const auto i4 = return_any_iterator(V2.begin());
 150
 151   const auto i5 = std::find_first_of(i1, i2, i3, i4);
 152
 153   clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 154
 155   if (i5 != i2) {
 156     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 157                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 158     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 159                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 160
 161     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 162                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 163     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 164                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 165   }
 166 }
 167
 168 void test_find_first_of2(std::vector<int> V1, std::vector<int> V2) {
 169   const auto i1 = return_any_iterator(V1.begin());
 170   const auto i2 = return_any_iterator(V1.begin());
 171   const auto i3 = return_any_iterator(V2.begin());
 172   const auto i4 = return_any_iterator(V2.begin());
 173
 174   const auto i5 = std::find_first_of(std::execution::sequenced_policy(),
 175                                      i1, i2, i3, i4);
 176
 177   clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 178
 179   if (i5 != i2) {
 180     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 181                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 182     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 183                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 184
 185     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 186                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 187     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 188                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 189   }
 190 }
 191
 192 void test_find_first_of3(std::vector<int> V1, std::vector<int> V2) {
 193   const auto i1 = return_any_iterator(V1.begin());
 194   const auto i2 = return_any_iterator(V1.begin());
 195   const auto i3 = return_any_iterator(V2.begin());
 196   const auto i4 = return_any_iterator(V2.begin());
 197
 198   const auto i5 = std::find_first_of(i1, i2, i3, i4, odd);
 199
 200   clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 201
 202   if (i5 != i2) {
 203     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 204                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 205     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 206                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 207
 208     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 209                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 210     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 211                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 212   }
 213 }
 214
 215 void test_find_first_of4(std::vector<int> V1, std::vector<int> V2) {
 216   const auto i1 = return_any_iterator(V1.begin());
 217   const auto i2 = return_any_iterator(V1.begin());
 218   const auto i3 = return_any_iterator(V2.begin());
 219   const auto i4 = return_any_iterator(V2.begin());
 220
 221   const auto i5 = std::find_first_of(std::execution::sequenced_policy(),
 222                                      i1, i2, i3, i4, odd);
 223
 224   clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 225
 226   if (i5 != i2) {
 227     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 228                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 229     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 230                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 231
 232     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 233                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 234     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 235                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 236   }
 237 }
 238
 239 void test_find_end1(std::vector<int> V1, std::vector<int> V2) {
 240   const auto i1 = return_any_iterator(V1.begin());
 241   const auto i2 = return_any_iterator(V1.begin());
 242   const auto i3 = return_any_iterator(V2.begin());
 243   const auto i4 = return_any_iterator(V2.begin());
 244
 245   const auto i5 = std::find_end(i1, i2, i3, i4);
 246
 247   clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 248
 249   if (i5 != i2) {
 250     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 251                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 252     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 253                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 254
 255     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 256                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 257     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 258                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 259   }
 260 }
 261
 262 void test_find_end2(std::vector<int> V1, std::vector<int> V2) {
 263   const auto i1 = return_any_iterator(V1.begin());
 264   const auto i2 = return_any_iterator(V1.begin());
 265   const auto i3 = return_any_iterator(V2.begin());
 266   const auto i4 = return_any_iterator(V2.begin());
 267
 268   const auto i5 = std::find_end(std::execution::sequenced_policy(),
 269                                 i1, i2, i3, i4);
 270
 271   clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 272
 273   if (i5 != i2) {
 274     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 275                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 276     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 277                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 278
 279     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 280                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 281     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 282                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 283   }
 284 }
 285
 286 void test_find_end3(std::vector<int> V1, std::vector<int> V2) {
 287   const auto i1 = return_any_iterator(V1.begin());
 288   const auto i2 = return_any_iterator(V1.begin());
 289   const auto i3 = return_any_iterator(V2.begin());
 290   const auto i4 = return_any_iterator(V2.begin());
 291
 292   const auto i5 = std::find_end(i1, i2, i3, i4, odd);
 293
 294   clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 295
 296   if (i5 != i2) {
 297     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 298                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 299     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 300                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 301
 302     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 303                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 304     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 305                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 306   }
 307 }
 308
 309 void test_find_end4(std::vector<int> V1, std::vector<int> V2) {
 310   const auto i1 = return_any_iterator(V1.begin());
 311   const auto i2 = return_any_iterator(V1.begin());
 312   const auto i3 = return_any_iterator(V2.begin());
 313   const auto i4 = return_any_iterator(V2.begin());
 314
 315   const auto i5 = std::find_end(std::execution::sequenced_policy(),
 316                                 i1, i2, i3, i4, odd);
 317
 318   clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 319
 320   if (i5 != i2) {
 321     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 322                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 323     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 324                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 325
 326     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 327                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 328     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 329                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 330   }
 331 }
 332
 333 bool compare(int, int);
 334
 335 void test_lower_bound1(std::vector<int> V, int n) {
 336   const auto i1 = return_any_iterator(V.begin());
 337   const auto i2 = return_any_iterator(V.begin());
 338
 339   const auto i3 = std::lower_bound(i1, i2, n);
 340
 341   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 342
 343   if (i3 != i2) {
 344     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 345                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 346     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 347                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 348
 349     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 350                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 351     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 352                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 353   }
 354 }
 355
 356 void test_lower_bound2(std::vector<int> V, int n) {
 357   const auto i1 = return_any_iterator(V.begin());
 358   const auto i2 = return_any_iterator(V.begin());
 359
 360   const auto i3 = std::lower_bound(i1, i2, n, compare);
 361
 362   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 363
 364   if (i3 != i2) {
 365     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 366                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 367     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 368                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 369
 370     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 371                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 372     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 373                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 374   }
 375 }
 376
 377 void test_upper_bound1(std::vector<int> V, int n) {
 378   const auto i1 = return_any_iterator(V.begin());
 379   const auto i2 = return_any_iterator(V.begin());
 380
 381   const auto i3 = std::upper_bound(i1, i2, n);
 382
 383   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 384
 385   if (i3 != i2) {
 386     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 387                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 388     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 389                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 390
 391     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 392                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 393     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 394                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 395   }
 396 }
 397
 398 void test_upper_bound2(std::vector<int> V, int n) {
 399   const auto i1 = return_any_iterator(V.begin());
 400   const auto i2 = return_any_iterator(V.begin());
 401
 402   const auto i3 = std::upper_bound(i1, i2, n, compare);
 403
 404   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 405
 406   if (i3 != i2) {
 407     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 408                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 409     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 410                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 411
 412     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 413                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 414     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 415                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 416   }
 417 }
 418
 419 void test_search1(std::vector<int> V1, std::vector<int> V2) {
 420   const auto i1 = return_any_iterator(V1.begin());
 421   const auto i2 = return_any_iterator(V1.begin());
 422   const auto i3 = return_any_iterator(V2.begin());
 423   const auto i4 = return_any_iterator(V2.begin());
 424
 425   const auto i5 = std::search(i1, i2, i3, i4);
 426
 427   clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 428
 429   if (i5 != i2) {
 430     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 431                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 432     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 433                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 434
 435     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 436                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 437     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 438                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 439   }
 440 }
 441
 442 void test_search2(std::vector<int> V1, std::vector<int> V2) {
 443   const auto i1 = return_any_iterator(V1.begin());
 444   const auto i2 = return_any_iterator(V1.begin());
 445   const auto i3 = return_any_iterator(V2.begin());
 446   const auto i4 = return_any_iterator(V2.begin());
 447
 448   const auto i5 = std::search(std::execution::sequenced_policy(),
 449                               i1, i2, i3, i4);
 450
 451   clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 452
 453   if (i5 != i2) {
 454     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 455                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 456     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 457                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 458
 459     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 460                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 461     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 462                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 463   }
 464 }
 465
 466 void test_search3(std::vector<int> V1, std::vector<int> V2) {
 467   const auto i1 = return_any_iterator(V1.begin());
 468   const auto i2 = return_any_iterator(V1.begin());
 469   const auto i3 = return_any_iterator(V2.begin());
 470   const auto i4 = return_any_iterator(V2.begin());
 471
 472   const auto i5 = std::search(i1, i2, i3, i4, odd);
 473
 474   clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 475
 476   if (i5 != i2) {
 477     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 478                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 479     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 480                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 481
 482     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 483                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 484     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 485                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 486   }
 487 }
 488
 489 void test_search4(std::vector<int> V1, std::vector<int> V2) {
 490   const auto i1 = return_any_iterator(V1.begin());
 491   const auto i2 = return_any_iterator(V1.begin());
 492   const auto i3 = return_any_iterator(V2.begin());
 493   const auto i4 = return_any_iterator(V2.begin());
 494
 495   const auto i5 = std::search(std::execution::sequenced_policy(),
 496                               i1, i2, i3, i4, odd);
 497
 498   clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 499
 500   if (i5 != i2) {
 501     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 502                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 503     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 504                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 505
 506     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 507                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 508     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 509                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 510   }
 511 }
 512
 513 void test_search5(std::vector<int> V1, std::vector<int> V2) {
 514   const auto i1 = return_any_iterator(V1.begin());
 515   const auto i2 = return_any_iterator(V1.begin());
 516   const auto i3 = return_any_iterator(V2.begin());
 517   const auto i4 = return_any_iterator(V2.begin());
 518
 519   const auto i5 = std::search(i1, i2, std::default_searcher(i3, i4));
 520
 521   clang_analyzer_eval(i5 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 522
 523   if (i5 != i2) {
 524     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 525                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 526     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 527                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 528
 529     clang_analyzer_eval(clang_analyzer_iterator_position(i5) <
 530                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 531     clang_analyzer_eval(clang_analyzer_iterator_position(i5) >=
 532                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 533   }
 534 }
 535
 536 void test_search_n1(std::vector<int> V, int n) {
 537   const auto i1 = return_any_iterator(V.begin());
 538   const auto i2 = return_any_iterator(V.begin());
 539
 540   const auto i3 = std::search_n(i1, i2, 2, n);
 541
 542   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 543
 544   if (i3 != i2) {
 545     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 546                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 547     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 548                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 549
 550     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 551                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 552     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 553                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 554   }
 555 }
 556
 557 void test_search_n2(std::vector<int> V, int n) {
 558   const auto i1 = return_any_iterator(V.begin());
 559   const auto i2 = return_any_iterator(V.begin());
 560
 561   const auto i3 = std::search_n(std::execution::sequenced_policy(),
 562                                 i1, i2, 2, n);
 563
 564   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 565
 566   if (i3 != i2) {
 567     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 568                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 569     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 570                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 571
 572     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 573                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 574     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 575                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 576   }
 577 }
 578
 579 void test_search_n3(std::vector<int> V, int n) {
 580   const auto i1 = return_any_iterator(V.begin());
 581   const auto i2 = return_any_iterator(V.begin());
 582
 583   const auto i3 = std::search_n(i1, i2, 2, n, compare);
 584
 585   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 586
 587   if (i3 != i2) {
 588     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 589                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 590     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 591                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 592
 593     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 594                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 595     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 596                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 597   }
 598 }
 599
 600 void test_search_n4(std::vector<int> V, int n) {
 601   const auto i1 = return_any_iterator(V.begin());
 602   const auto i2 = return_any_iterator(V.begin());
 603
 604   const auto i3 = std::search_n(std::execution::sequenced_policy(),
 605                                 i1, i2, 2, n, compare);
 606
 607   clang_analyzer_eval(i3 == i2); // expected-warning{{TRUE}} expected-warning{{FALSE}}
 608
 609   if (i3 != i2) {
 610     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 611                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{TRUE}}
 612     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 613                         clang_analyzer_iterator_position(i1)); // expected-warning@-1{{FALSE}}
 614
 615     clang_analyzer_eval(clang_analyzer_iterator_position(i3) <
 616                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{TRUE}}
 617     clang_analyzer_eval(clang_analyzer_iterator_position(i3) >=
 618                         clang_analyzer_iterator_position(i2)); // expected-warning@-1{{FALSE}}
 619   }
 620 }