145   auto i2 = i1;  in copy()  local
147   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &v); // expected-warning{{TRUE}}  in copy()
149 …clang_analyzer_express(clang_analyzer_iterator_position(i2));     // expected-warning-re {{$v.end(…  in copy()
157   auto i2 = i1 + 2;  in plus_lhs()  local
159   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &v); // expected-warning{{TRUE}}  in plus_lhs()
161 …clang_analyzer_express(clang_analyzer_iterator_position(i2));     // expected-warning-re{{$v.begin…  in plus_lhs()
169   auto i2 = 2 + i1;  in plus_rhs()  local
171   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &v); // expected-warning{{TRUE}}  in plus_rhs()
173 …clang_analyzer_express(clang_analyzer_iterator_position(i2));     // expected-warning-re{{$v.begin…  in plus_rhs()
181   auto i2 = i1 + (-2);  in plus_lhs_negative()  local
183   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &v); // expected-warning{{TRUE}}  in plus_lhs_negative()
185 …clang_analyzer_express(clang_analyzer_iterator_position(i2));     // expected-warning-re {{$v.end(…  in plus_lhs_negative()
193   auto i2 = (-2) + i1;  in plus_rhs_negative()  local
195   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &v); // expected-warning{{TRUE}}  in plus_rhs_negative()
197 …clang_analyzer_express(clang_analyzer_iterator_position(i2));     // expected-warning-re {{$v.end(…  in plus_rhs_negative()
205   auto i2 = i1 - 2;  in minus()  local
207   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &v); // expected-warning{{TRUE}}  in minus()
209 …clang_analyzer_express(clang_analyzer_iterator_position(i2));     // expected-warning-re {{$v.end(…  in minus()
217   auto i2 = i1 - (-2);  in minus_negative()  local
219   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &v); // expected-warning{{TRUE}}  in minus_negative()
221 …clang_analyzer_express(clang_analyzer_iterator_position(i2));     // expected-warning-re {{$v.begi…  in minus_negative()
229   auto i2 = i1;  in copy_and_increment1()  local
233 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$v.begin(){…  in copy_and_increment1()
241   auto i2 = i1;  in copy_and_increment2()  local
242   ++i2;  in copy_and_increment2()
245 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$v.begin() …  in copy_and_increment2()
253   auto i2 = i1;  in copy_and_decrement1()  local
257 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$v.end(){{$…  in copy_and_decrement1()
265   auto i2 = i1;  in copy_and_decrement2()  local
266   --i2;  in copy_and_decrement2()
269 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$v.end() - …  in copy_and_decrement2()
374   auto i0 = L1.cbegin(), i1 = L2.cbegin(), i2 = --L2.cend(), i3 = L2.cend();  in list_move_assignment()  local
383   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_move_assignment()
387   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &L1); // expected-warning{{TRUE}}  in list_move_assignment()
393   auto i0 = V1.cbegin(), i1 = V2.cbegin(), i2 = --V2.cend(), i3 = V2.cend();  in vector_move_assignment()  local
401   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in vector_move_assignment()
405   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &V1); // expected-warning{{TRUE}}  in vector_move_assignment()
411   auto i0 = D1.cbegin(), i1 = D2.cbegin(), i2 = --D2.cend(), i3 = D2.cend();  in deque_move_assignment()  local
419   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in deque_move_assignment()
423   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &D1); // expected-warning{{TRUE}}  in deque_move_assignment()
430   auto i0 = FL1.cbegin(), i1 = FL2.cbegin(), i2 = FL2.cend();  in forward_list_move_assignment()  local
438 …clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}} FIXME: Shoul…  in forward_list_move_assignment()
528   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();  in list_push_back()  local
537   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_push_back()
541 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_push_back()
547   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();  in vector_push_back()  local
556   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_push_back()
566   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();  in deque_push_back()  local
575   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_push_back()
588   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();  in list_emplace_back()  local
597   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_emplace_back()
601 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_emplace_back()
607   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();  in vector_emplace_back()  local
616   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_emplace_back()
626   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();  in deque_emplace_back()  local
635   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_emplace_back()
648   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();  in list_pop_back()  local
657   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_pop_back()
660 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_pop_back()
667   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();  in vector_pop_back()  local
676   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_pop_back()
686   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();  in deque_pop_back()  local
695   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_pop_back()
728   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();  in deque_push_front()  local
737   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_push_front()
785   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();  in deque_emplace_front()  local
794   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_emplace_front()
824   auto i0 = L.cbegin(), i1 = ++L.cbegin(), i2 = L.cend();  in list_pop_front()  local
833   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_pop_front()
836 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_pop_front()
843   auto i0 = D.cbegin(), i1 = ++D.cbegin(), i2 = D.cend();  in deque_pop_front()  local
852   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in deque_pop_front()
855 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$D.end(){{$…  in deque_pop_front()
862   auto i0 = FL.cbegin(), i1 = ++FL.cbegin(), i2 = FL.cend();  in forward_list_pop_front()  local
871   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in forward_list_pop_front()
874 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$FL.end(){{…  in forward_list_pop_front()
895   auto i2 = L.insert(i0, n);  in list_insert_begin()  local
906   auto i0 = L.cbegin(), i1 = ++L.cbegin(), i2 = L.cend();  in list_insert_behind_begin()  local
915   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_insert_behind_begin()
920 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_insert_behind_begin()
926   auto i0 = L.cbegin(), i1 = return_any_iterator(L.cbegin()), i2 = L.cend();  in list_insert_unknown()  local
936   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_insert_unknown()
941 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_insert_unknown()
945   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();  in list_insert_ahead_of_end()  local
954   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_insert_ahead_of_end()
958 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_insert_ahead_of_end()
963   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();  in list_insert_end()  local
968   auto i3 = L.insert(i2, n);  in list_insert_end()
972   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_insert_end()
976 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_insert_end()
990   auto i2 = V.insert(i0, n);  in vector_insert_begin()  local
999   auto i0 = V.cbegin(), i1 = ++V.cbegin(), i2 = V.cend();  in vector_insert_behind_begin()  local
1008   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_insert_behind_begin()
1015   auto i0 = V.cbegin(), i1 = return_any_iterator(V.cbegin()), i2 = V.cend();  in vector_insert_unknown()  local
1025   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_insert_unknown()
1032   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();  in vector_insert_ahead_of_end()  local
1041   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_insert_ahead_of_end()
1048   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();  in vector_insert_end()  local
1053   auto i3 = V.insert(i2, n);  in vector_insert_end()
1057   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_insert_end()
1073   auto i2 = D.insert(i0, n);  in deque_insert_begin()  local
1082   auto i0 = D.cbegin(), i1 = ++D.cbegin(), i2 = D.cend();  in deque_insert_behind_begin()  local
1091   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_insert_behind_begin()
1097   auto i0 = D.cbegin(), i1 = return_any_iterator(D.cbegin()), i2 = D.cend();  in deque_insert_unknown()  local
1107   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_insert_unknown()
1113   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();  in deque_insert_ahead_of_end()  local
1122   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_insert_ahead_of_end()
1128   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();  in deque_insert_end()  local
1133   auto i3 = D.insert(i2, n);  in deque_insert_end()
1137   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_insert_end()
1158   auto i2 = FL.insert_after(i0, n);  in forward_list_insert_after_begin()  local
1169   auto i0 = FL.cbegin(), i1 = ++FL.cbegin(), i2 = FL.cend();  in forward_list_insert_after_behind_begin()  local
1178   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in forward_list_insert_after_behind_begin()
1183 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$FL.end(){{…  in forward_list_insert_after_behind_begin()
1187   auto i0 = FL.cbegin(), i1 = return_any_iterator(FL.cbegin()), i2 = FL.cend();  in forward_list_insert_after_unknown()  local
1197   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in forward_list_insert_after_unknown()
1202 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$FL.end(){{…  in forward_list_insert_after_unknown()
1223   auto i2 = L.emplace(i0, n);  in list_emplace_begin()  local
1234   auto i0 = L.cbegin(), i1 = ++L.cbegin(), i2 = L.cend();  in list_emplace_behind_begin()  local
1243   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_emplace_behind_begin()
1248 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_emplace_behind_begin()
1254   auto i0 = L.cbegin(), i1 = return_any_iterator(L.cbegin()), i2 = L.cend();  in list_emplace_unknown()  local
1264   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_emplace_unknown()
1269 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_emplace_unknown()
1273   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();  in list_emplace_ahead_of_end()  local
1282   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_emplace_ahead_of_end()
1286 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_emplace_ahead_of_end()
1291   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();  in list_emplace_end()  local
1296   auto i3 = L.emplace(i2, n);  in list_emplace_end()
1300   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_emplace_end()
1304 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_emplace_end()
1318   auto i2 = V.emplace(i0, n);  in vector_emplace_begin()  local
1326   auto i0 = V.cbegin(), i1 = ++V.cbegin(), i2 = V.cend();  in vector_emplace_behind_begin()  local
1335   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_emplace_behind_begin()
1342   auto i0 = V.cbegin(), i1 = return_any_iterator(V.cbegin()), i2 = V.cend();  in vector_emplace_unknown()  local
1352   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_emplace_unknown()
1359   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();  in vector_emplace_ahead_of_end()  local
1368   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_emplace_ahead_of_end()
1375   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();  in vector_emplace_end()  local
1380   auto i3 = V.emplace(i2, n);  in vector_emplace_end()
1384   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_emplace_end()
1400   auto i2 = D.emplace(i0, n);  in deque_emplace_begin()  local
1408   auto i0 = D.cbegin(), i1 = ++D.cbegin(), i2 = D.cend();  in deque_emplace_behind_begin()  local
1417   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_emplace_behind_begin()
1422   auto i0 = D.cbegin(), i1 = return_any_iterator(D.cbegin()), i2 = D.cend();  in deque_emplace_unknown()  local
1432   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_emplace_unknown()
1438   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();  in deque_emplace_ahead_of_end()  local
1447   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_emplace_ahead_of_end()
1453   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();  in deque_emplace_end()  local
1458   auto i3 = D.emplace(i2, n);  in deque_emplace_end()
1462   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_emplace_end()
1483   auto i2 = FL.emplace_after(i0, n);  in forward_list_emplace_after_begin()  local
1495   auto i0 = FL.cbegin(), i1 = ++FL.cbegin(), i2 = FL.cend();  in forward_list_emplace_after_behind_begin()  local
1504   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in forward_list_emplace_after_behind_begin()
1509 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$FL.end(){{…  in forward_list_emplace_after_behind_begin()
1513   auto i0 = FL.cbegin(), i1 = return_any_iterator(FL.cbegin()), i2 = FL.cend();  in forward_list_emplace_after_unknown()  local
1523   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in forward_list_emplace_after_unknown()
1528 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$FL.end(){{…  in forward_list_emplace_after_unknown()
1545   auto i0 = L.cbegin(), i1 = ++L.cbegin(), i2 = L.cend();  in list_erase_begin()  local
1554   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_erase_begin()
1558 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_erase_begin()
1562   auto i0 = L.cbegin(), i1 = ++L.cbegin(), i2 = L.cend();  in list_erase_behind_begin()  local
1571   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_erase_behind_begin()
1575 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_erase_behind_begin()
1579   auto i0 = L.cbegin(), i1 = return_any_iterator(L.cbegin()), i2 = L.cend();  in list_erase_unknown()  local
1589   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_erase_unknown()
1593 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_erase_unknown()
1597   auto i0 = L.cbegin(), i1 = --L.cend(), i2 = L.cend();  in list_erase_ahead_of_end()  local
1606   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in list_erase_ahead_of_end()
1609 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$L.end(){{$…  in list_erase_ahead_of_end()
1617   auto i0 = V.cbegin(), i1 = ++V.cbegin(), i2 = V.cend();  in vector_erase_begin()  local
1626   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_erase_begin()
1632   auto i0 = V.cbegin(), i1 = ++V.cbegin(), i2 = V.cend();  in vector_erase_behind_begin()  local
1641   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_erase_behind_begin()
1648   auto i0 = V.cbegin(), i1 = return_any_iterator(V.cbegin()), i2 = V.cend();  in vector_erase_unknown()  local
1658   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_erase_unknown()
1665   auto i0 = V.cbegin(), i1 = --V.cend(), i2 = V.cend();  in vector_erase_ahead_of_end()  local
1674   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in vector_erase_ahead_of_end()
1689   auto i0 = D.cbegin(), i1 = ++D.cbegin(), i2 = D.cend();  in deque_erase_begin()  local
1698   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_erase_begin()
1704   auto i0 = D.cbegin(), i1 = ++D.cbegin(), i2 = D.cend();  in deque_erase_behind_begin()  local
1713   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_erase_behind_begin()
1719   auto i0 = D.cbegin(), i1 = return_any_iterator(D.cbegin()), i2 = D.cend();  in deque_erase_unknown()  local
1729   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_erase_unknown()
1735   auto i0 = D.cbegin(), i1 = --D.cend(), i2 = D.cend();  in deque_erase_ahead_of_end()  local
1744   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in deque_erase_ahead_of_end()
1763   auto i0 = FL.cbegin(), i1 = ++FL.cbegin(), i2 = i1, i3 = FL.cend();  in forward_list_erase_after_begin()  local
1764   ++i2;  in forward_list_erase_after_begin()
1773   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{TRUE}}  in forward_list_erase_after_begin()
1777 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$FL.begin()…  in forward_list_erase_after_begin()
1783   auto i0 = FL.cbegin(), i1 = return_any_iterator(FL.cbegin()), i2 = i1,  in forward_list_erase_after_unknown()  local
1785   ++i2;  in forward_list_erase_after_unknown()
1797   clang_analyzer_eval(clang_analyzer_iterator_validity(i2)); //expected-warning{{FALSE}}  in forward_list_erase_after_unknown()
1987   auto i2 = i1 + 2;  in plus_lhs_ptr_iterator()  local
1989   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &c); // expected-warning{{TRUE}}  in plus_lhs_ptr_iterator()
1991 …clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning{{$c.begin() + 2}}  in plus_lhs_ptr_iterator()
1999   auto i2 = 2 + i1;  in plus_rhs_ptr_iterator()  local
2001   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &c); // expected-warning{{TRUE}}  in plus_rhs_ptr_iterator()
2003 …clang_analyzer_express(clang_analyzer_iterator_position(i2));     // expected-warning{{$c.begin() …  in plus_rhs_ptr_iterator()
2011   auto i2 = i1 - 2;  in minus_ptr_iterator()  local
2013   clang_analyzer_eval(clang_analyzer_iterator_container(i2) == &c); // expected-warning{{TRUE}}  in minus_ptr_iterator()
2015   clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning{{$c.end() - 2}}  in minus_ptr_iterator()