Lines Matching defs:i1

141   auto i1 = v.end();
145   auto i2 = i1;
148   clang_analyzer_express(clang_analyzer_iterator_position(i1));     // expected-warning-re {{$v.end(){{$}}}}
153   auto i1 = v.begin();
157   auto i2 = i1 + 2;
160   clang_analyzer_express(clang_analyzer_iterator_position(i1));     // expected-warning-re{{$v.begin(){{$}}}}
165   auto i1 = v.begin();
169   auto i2 = 2 + i1;
172   clang_analyzer_express(clang_analyzer_iterator_position(i1));     // expected-warning-re{{$v.begin(){{$}}}}
177   auto i1 = v.end();
181   auto i2 = i1 + (-2);
184   clang_analyzer_express(clang_analyzer_iterator_position(i1));     // expected-warning-re {{$v.end(){{$}}}}
189   auto i1 = v.end();
193   auto i2 = (-2) + i1;
196   clang_analyzer_express(clang_analyzer_iterator_position(i1));     // expected-warning-re {{$v.end(){{$}}}}
201   auto i1 = v.end();
205   auto i2 = i1 - 2;
208   clang_analyzer_express(clang_analyzer_iterator_position(i1));     // expected-warning-re {{$v.end(){{$}}}}
213   auto i1 = v.begin();
217   auto i2 = i1 - (-2);
220   clang_analyzer_express(clang_analyzer_iterator_position(i1));     // expected-warning-re {{$v.begin(){{$}}}}
225   auto i1 = v.begin();
229   auto i2 = i1;
230   ++i1;
232   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$v.begin() + 1{{$}}}}
237   auto i1 = v.begin();
241   auto i2 = i1;
244   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$v.begin(){{$}}}}
249   auto i1 = v.end();
253   auto i2 = i1;
254   --i1;
256   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$v.end() - 1{{$}}}}
261   auto i1 = v.end();
265   auto i2 = i1;
268   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$v.end(){{$}}}}
374   auto i0 = L1.cbegin(), i1 = L2.cbegin(), i2 = --L2.cend(), i3 = L2.cend();
382   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
386   clang_analyzer_eval(clang_analyzer_iterator_container(i1) == &L1); // expected-warning{{TRUE}}
389   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L2.begin(){{$}}}}
393   auto i0 = V1.cbegin(), i1 = V2.cbegin(), i2 = --V2.cend(), i3 = V2.cend();
400   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
404   clang_analyzer_eval(clang_analyzer_iterator_container(i1) == &V1); // expected-warning{{TRUE}}
407   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$V2.begin(){{$}}}}
411   auto i0 = D1.cbegin(), i1 = D2.cbegin(), i2 = --D2.cend(), i3 = D2.cend();
418   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
422   clang_analyzer_eval(clang_analyzer_iterator_container(i1) == &D1); // expected-warning{{TRUE}}
425   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$D2.begin(){{$}}}}
430   auto i0 = FL1.cbegin(), i1 = FL2.cbegin(), i2 = FL2.cend();
437   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
440   clang_analyzer_eval(clang_analyzer_iterator_container(i1) == &FL1); // expected-warning{{TRUE}}
442   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL2.begin(){{$}}}}
458   auto i0 = L.cbegin(), i1 = L.cend();
461   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
465   auto i0 = V.cbegin(), i1 = V.cend();
468   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
472   auto i0 = D.cbegin(), i1 = D.cend();
475   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
479   auto i0 = FL.cbegin(), i1 = FL.cend();
482   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
491   auto i0 = L.cbegin(), i1 = L.cend();
498   auto i0 = V.cbegin(), i1 = V.cend();
505   auto i0 = D.cbegin(), i1 = D.cend();
512   auto i0 = FL.cbegin(), i1 = FL.cend();
528   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();
536   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
540   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.end() - 1{{$}}}}
547   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();
555   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
559   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$V.end() - 1{{$}}}}
566   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();
574   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
588   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();
596   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
600   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.end() - 1{{$}}}}
607   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();
615   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
619   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$V.end() - 1{{$}}}}
626   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();
634   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
648   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();
656   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
667   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();
675   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
686   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();
694   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
710   auto i0 = L.cbegin(), i1 = L.cend();
718   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
721   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.end(){{$}}}}
728   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();
736   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
743   auto i0 = FL.cbegin(), i1 = FL.cend();
751   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
754   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.end(){{$}}}}
767   auto i0 = L.cbegin(), i1 = L.cend();
775   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
778   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.end(){{$}}}}
785   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();
793   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
800   auto i0 = FL.cbegin(), i1 = FL.cend();
808   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
811   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.end(){{$}}}}
824   auto i0 = L.cbegin(), i1 = ++L.cbegin(), i2 = L.cend();
832   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
835   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.begin() + 1{{$}}}}
843   auto i0 = D.cbegin(), i1 = ++D.cbegin(), i2 = D.cend();
851   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
854   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$D.begin() + 1{{$}}}}
862   auto i0 = FL.cbegin(), i1 = ++FL.cbegin(), i2 = FL.cend();
870   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
873   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.begin() + 1{{$}}}}
890   auto i0 = L.cbegin(), i1 = L.cend();
898   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
902   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.end(){{$}}}}
906   auto i0 = L.cbegin(), i1 = ++L.cbegin(), i2 = L.cend();
911   auto i3 = L.insert(i1, n);
914   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
918   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.begin() + 1{{$}}}}
926   auto i0 = L.cbegin(), i1 = return_any_iterator(L.cbegin()), i2 = L.cend();
930   clang_analyzer_denote(clang_analyzer_iterator_position(i1), "$i1");
932   auto i3 = L.insert(i1, n);
935   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
939   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$i1{{$}}}}
945   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();
950   auto i3 = L.insert(i1, n);
953   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
957   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.end() - 1{{$}}}}
963   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();
971   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
975   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.end() - 1{{$}}}} FIXME: should be $L.end() - 2
985   auto i0 = V.cbegin(), i1 = V.cend();
993   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
999   auto i0 = V.cbegin(), i1 = ++V.cbegin(), i2 = V.cend();
1004   auto i3 = V.insert(i1, n);
1007   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1015   auto i0 = V.cbegin(), i1 = return_any_iterator(V.cbegin()), i2 = V.cend();
1019   clang_analyzer_denote(clang_analyzer_iterator_position(i1), "$i1");
1021   auto i3 = V.insert(i1, n);
1024   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1028   // clang_analyzer_express(clang_analyzer_iterator_position(i3)); FIXME: expecte warning $i1 - 1
1032   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();
1037   auto i3 = V.insert(i1, n);
1040   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1048   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();
1056   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1060   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$V.end() - 1{{$}}}} FIXME: Should be $V.end() - 2
1068   auto i0 = D.cbegin(), i1 = D.cend();
1076   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1082   auto i0 = D.cbegin(), i1 = ++D.cbegin(), i2 = D.cend();
1087   auto i3 = D.insert(i1, n);
1090   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1097   auto i0 = D.cbegin(), i1 = return_any_iterator(D.cbegin()), i2 = D.cend();
1101   clang_analyzer_denote(clang_analyzer_iterator_position(i1), "$i1");
1103   auto i3 = D.insert(i1, n);
1106   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1109   // clang_analyzer_express(clang_analyzer_iterator_position(i3)); FIXME: expect warning $i1 - 1
1113   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();
1118   auto i3 = D.insert(i1, n);
1121   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1128   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();
1136   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1153   auto i0 = FL.cbegin(), i1 = FL.cend();
1161   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1165   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.end(){{$}}}}
1169   auto i0 = FL.cbegin(), i1 = ++FL.cbegin(), i2 = FL.cend();
1174   auto i3 = FL.insert_after(i1, n);
1177   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1181   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.begin() + 1{{$}}}}
1187   auto i0 = FL.cbegin(), i1 = return_any_iterator(FL.cbegin()), i2 = FL.cend();
1191   clang_analyzer_denote(clang_analyzer_iterator_position(i1), "$i1");
1193   auto i3 = FL.insert_after(i1, n);
1196   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1200   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$i1{{$}}}}
1201   // clang_analyzer_express(clang_analyzer_iterator_position(i3)); FIXME: expect warning $i1 + 1
1218   auto i0 = L.cbegin(), i1 = L.cend();
1226   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1230   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.end(){{$}}}}
1234   auto i0 = L.cbegin(), i1 = ++L.cbegin(), i2 = L.cend();
1239   auto i3 = L.emplace(i1, n);
1242   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1246   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.begin() + 1{{$}}}}
1254   auto i0 = L.cbegin(), i1 = return_any_iterator(L.cbegin()), i2 = L.cend();
1258   clang_analyzer_denote(clang_analyzer_iterator_position(i1), "$i1");
1260   auto i3 = L.emplace(i1, n);
1263   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1267   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$i1{{$}}}}
1273   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();
1278   auto i3 = L.emplace(i1, n);
1281   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1285   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.end() - 1{{$}}}}
1291   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();
1299   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1303   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.end() - 1{{$}}}} FIXME: should be $L.end() - 2
1313   auto i0 = V.cbegin(), i1 = V.cend();
1321   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1326   auto i0 = V.cbegin(), i1 = ++V.cbegin(), i2 = V.cend();
1331   auto i3 = V.emplace(i1, n);
1334   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1342   auto i0 = V.cbegin(), i1 = return_any_iterator(V.cbegin()), i2 = V.cend();
1346   clang_analyzer_denote(clang_analyzer_iterator_position(i1), "$i1");
1348   auto i3 = V.emplace(i1, n);
1351   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1355   // clang_analyzer_express(clang_analyzer_iterator_position(i3)); FIXME: expecte warning $i1 - 1
1359   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();
1364   auto i3 = V.emplace(i1, n);
1367   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1375   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();
1383   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1387   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$V.end() - 1{{$}}}} FIXME: Should be $V.end() - 2
1395   auto i0 = D.cbegin(), i1 = D.cend();
1403   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1408   auto i0 = D.cbegin(), i1 = ++D.cbegin(), i2 = D.cend();
1413   auto i3 = D.emplace(i1, n);
1416   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1422   auto i0 = D.cbegin(), i1 = return_any_iterator(D.cbegin()), i2 = D.cend();
1426   clang_analyzer_denote(clang_analyzer_iterator_position(i1), "$i1");
1428   auto i3 = D.emplace(i1, n);
1431   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1434   // clang_analyzer_express(clang_analyzer_iterator_position(i3)); FIXME: expect warning $i1 - 1
1438   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();
1443   auto i3 = D.emplace(i1, n);
1446   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1453   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();
1461   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1478   auto i0 = FL.cbegin(), i1 = FL.cend();
1486   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1490   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.end(){{$}}}}
1495   auto i0 = FL.cbegin(), i1 = ++FL.cbegin(), i2 = FL.cend();
1500   auto i3 = FL.emplace_after(i1, n);
1503   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1507   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.begin() + 1{{$}}}}
1513   auto i0 = FL.cbegin(), i1 = return_any_iterator(FL.cbegin()), i2 = FL.cend();
1517   clang_analyzer_denote(clang_analyzer_iterator_position(i1), "$i1");
1519   auto i3 = FL.emplace_after(i1, n);
1522   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1526   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$i1{{$}}}}
1527   // clang_analyzer_express(clang_analyzer_iterator_position(i3)); FIXME: expect warning $i1 + 1
1545   auto i0 = L.cbegin(), i1 = ++L.cbegin(), i2 = L.cend();
1553   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1556   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$L.begin() + 1{{$}}}}
1562   auto i0 = L.cbegin(), i1 = ++L.cbegin(), i2 = L.cend();
1567   auto i3 = L.erase(i1);
1570   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1579   auto i0 = L.cbegin(), i1 = return_any_iterator(L.cbegin()), i2 = L.cend();
1583   clang_analyzer_denote(clang_analyzer_iterator_position(i1), "$i1");
1585   auto i3 = L.erase(i1);
1588   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1592   // clang_analyzer_express(clang_analyzer_iterator_position(i3)); FIXME: expect warning $i1 + 1
1597   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();
1602   auto i3 = L.erase(i1);
1605   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1617   auto i0 = V.cbegin(), i1 = ++V.cbegin(), i2 = V.cend();
1625   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1632   auto i0 = V.cbegin(), i1 = ++V.cbegin(), i2 = V.cend();
1637   auto i3 = V.erase(i1);
1640   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1648   auto i0 = V.cbegin(), i1 = return_any_iterator(V.cbegin()), i2 = V.cend();
1652   clang_analyzer_denote(clang_analyzer_iterator_position(i1), "$i1");
1654   auto i3 = V.erase(i1);
1657   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1661   // clang_analyzer_express(clang_analyzer_iterator_position(i3)); FIXME: expect warning $i1 + 1
1665   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();
1670   auto i3 = V.erase(i1);
1673   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1689   auto i0 = D.cbegin(), i1 = ++D.cbegin(), i2 = D.cend();
1697   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1704   auto i0 = D.cbegin(), i1 = ++D.cbegin(), i2 = D.cend();
1709   auto i3 = D.erase(i1);
1712   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1719   auto i0 = D.cbegin(), i1 = return_any_iterator(D.cbegin()), i2 = D.cend();
1723   clang_analyzer_denote(clang_analyzer_iterator_position(i1), "$i1");
1725   auto i3 = D.erase(i1);
1728   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1731   // clang_analyzer_express(clang_analyzer_iterator_position(i3)); FIXME: expect warning $i1 + 1
1735   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();
1740   auto i3 = D.erase(i1);
1743   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1763   auto i0 = FL.cbegin(), i1 = ++FL.cbegin(), i2 = i1, i3 = FL.cend();
1772   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{FALSE}}
1783   auto i0 = FL.cbegin(), i1 = return_any_iterator(FL.cbegin()), i2 = i1,
1784     i3 = i1, i4 = FL.cend();
1791   clang_analyzer_denote(clang_analyzer_iterator_position(i1), "$i1");
1793   auto i5 = FL.erase_after(i1);
1796   clang_analyzer_eval(clang_analyzer_iterator_validity(i1)); //expected-warning{{TRUE}}
1802   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$i1{{$}}}}
1803   clang_analyzer_express(clang_analyzer_iterator_position(i3)); // expected-warning-re {{$i1 + 2{{$}}}} FIXME: Should be $i1 + 1
1804   // clang_analyzer_express(clang_analyzer_iterator_position(i5)); FIXME: expect warning $i1 + 1
1846   auto i0 = V.begin(), i1 = V.end();
1847   ptrdiff_t len = i1 - i0; // no-crash
1983   auto i1 = c.begin();
1987   auto i2 = i1 + 2;
1990   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning{{$c.begin()}}
1995   auto i1 = c.begin();
1999   auto i2 = 2 + i1;
2002   clang_analyzer_express(clang_analyzer_iterator_position(i1));     // expected-warning{{$c.begin()}}
2007   auto i1 = c.end();
2011   auto i2 = i1 - 2;
2014   clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning{{$c.end()}}
2019   auto i0 = c.begin(), i1 = c.end();
2020   ptrdiff_t len = i1 - i0; // no-crash
2043   const auto i1 = V.cend();
2050   // CHECK-NEXT:     "i1 : Valid ; Container == SymRegion{reg_$[[#]]<std::vector<int> & V>} ; Offset == conj_$[[#]]{long, LC[[#]], S[[#]], #[[#]]}"
2053   *i1;