Lines Matching defs:FL
478 void forward_list_assign(std::forward_list<int> &FL, int n) {
479 auto i0 = FL.cbegin(), i1 = FL.cend();
480 FL.assign(10, n);
511 void forward_list_clear(std::forward_list<int> &FL) {
512 auto i0 = FL.cbegin(), i1 = FL.cend();
514 FL.clear();
742 void forward_list_push_front(std::forward_list<int> &FL, int n) {
743 auto i0 = FL.cbegin(), i1 = FL.cend();
745 clang_analyzer_denote(clang_analyzer_container_begin(FL), "$FL.begin()");
746 clang_analyzer_denote(clang_analyzer_container_end(FL), "$FL.end()");
748 FL.push_front(n);
753 clang_analyzer_express(clang_analyzer_iterator_position(i0)); // expected-warning-re {{$FL.begin(){{$}}}}
754 clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.end(){{$}}}}
799 void forward_list_emplace_front(std::forward_list<int> &FL, int n) {
800 auto i0 = FL.cbegin(), i1 = FL.cend();
802 clang_analyzer_denote(clang_analyzer_container_begin(FL), "$FL.begin()");
803 clang_analyzer_denote(clang_analyzer_container_end(FL), "$FL.end()");
805 FL.emplace_front(n);
810 clang_analyzer_express(clang_analyzer_iterator_position(i0)); // expected-warning-re {{$FL.begin(){{$}}}}
811 clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.end(){{$}}}}
861 void forward_list_pop_front(std::list<int> &FL, int n) {
862 auto i0 = FL.cbegin(), i1 = ++FL.cbegin(), i2 = FL.cend();
864 clang_analyzer_denote(clang_analyzer_container_begin(FL), "$FL.begin()");
865 clang_analyzer_denote(clang_analyzer_container_end(FL), "$FL.end()");
867 FL.pop_front();
873 clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.begin() + 1{{$}}}}
874 clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$FL.end(){{$}}}}
1152 void forward_list_insert_after_begin(std::forward_list<int> &FL, int n) {
1153 auto i0 = FL.cbegin(), i1 = FL.cend();
1155 clang_analyzer_denote(clang_analyzer_container_begin(FL), "$FL.begin()");
1156 clang_analyzer_denote(clang_analyzer_container_end(FL), "$FL.end()");
1158 auto i2 = FL.insert_after(i0, n);
1163 clang_analyzer_express(clang_analyzer_iterator_position(i0)); // expected-warning-re {{$FL.begin(){{$}}}}
1164 // clang_analyzer_express(clang_analyzer_iterator_position(i2)); FIXME: expect warning $FL.begin() + 1
1165 clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.end(){{$}}}}
1168 void forward_list_insert_after_behind_begin(std::forward_list<int> &FL, int n) {
1169 auto i0 = FL.cbegin(), i1 = ++FL.cbegin(), i2 = FL.cend();
1171 clang_analyzer_denote(clang_analyzer_container_begin(FL), "$FL.begin()");
1172 clang_analyzer_denote(clang_analyzer_container_end(FL), "$FL.end()");
1174 auto i3 = FL.insert_after(i1, n);
1180 clang_analyzer_express(clang_analyzer_iterator_position(i0)); // expected-warning-re {{$FL.begin(){{$}}}}
1181 clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.begin() + 1{{$}}}}
1182 // clang_analyzer_express(clang_analyzer_iterator_position(i3)); FIXME: expect warning $FL.begin() + 2
1183 clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$FL.end(){{$}}}}
1186 void forward_list_insert_after_unknown(std::forward_list<int> &FL, int n) {
1187 auto i0 = FL.cbegin(), i1 = return_any_iterator(FL.cbegin()), i2 = FL.cend();
1189 clang_analyzer_denote(clang_analyzer_container_begin(FL), "$FL.begin()");
1190 clang_analyzer_denote(clang_analyzer_container_end(FL), "$FL.end()");
1193 auto i3 = FL.insert_after(i1, n);
1199 clang_analyzer_express(clang_analyzer_iterator_position(i0)); // expected-warning-re {{$FL.begin(){{$}}}}
1202 clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$FL.end(){{$}}}}
1477 void forward_list_emplace_after_begin(std::forward_list<int> &FL, int n) {
1478 auto i0 = FL.cbegin(), i1 = FL.cend();
1480 clang_analyzer_denote(clang_analyzer_container_begin(FL), "$FL.begin()");
1481 clang_analyzer_denote(clang_analyzer_container_end(FL), "$FL.end()");
1483 auto i2 = FL.emplace_after(i0, n);
1488 clang_analyzer_express(clang_analyzer_iterator_position(i0)); // expected-warning-re {{$FL.begin(){{$}}}}
1489 // clang_analyzer_express(clang_analyzer_iterator_position(i2)); FIXME: expect warning $FL.begin() + 1
1490 clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.end(){{$}}}}
1493 void forward_list_emplace_after_behind_begin(std::forward_list<int> &FL,
1495 auto i0 = FL.cbegin(), i1 = ++FL.cbegin(), i2 = FL.cend();
1497 clang_analyzer_denote(clang_analyzer_container_begin(FL), "$FL.begin()");
1498 clang_analyzer_denote(clang_analyzer_container_end(FL), "$FL.end()");
1500 auto i3 = FL.emplace_after(i1, n);
1506 clang_analyzer_express(clang_analyzer_iterator_position(i0)); // expected-warning-re {{$FL.begin(){{$}}}}
1507 clang_analyzer_express(clang_analyzer_iterator_position(i1)); // expected-warning-re {{$FL.begin() + 1{{$}}}}
1508 // clang_analyzer_express(clang_analyzer_iterator_position(i3)); FIXME: expect warning $FL.begin() + 2
1509 clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$FL.end(){{$}}}}
1512 void forward_list_emplace_after_unknown(std::forward_list<int> &FL, int n) {
1513 auto i0 = FL.cbegin(), i1 = return_any_iterator(FL.cbegin()), i2 = FL.cend();
1515 clang_analyzer_denote(clang_analyzer_container_begin(FL), "$FL.begin()");
1516 clang_analyzer_denote(clang_analyzer_container_end(FL), "$FL.end()");
1519 auto i3 = FL.emplace_after(i1, n);
1525 clang_analyzer_express(clang_analyzer_iterator_position(i0)); // expected-warning-re {{$FL.begin(){{$}}}}
1528 clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$FL.end(){{$}}}}
1762 void forward_list_erase_after_begin(std::forward_list<int> &FL) {
1763 auto i0 = FL.cbegin(), i1 = ++FL.cbegin(), i2 = i1, i3 = FL.cend();
1766 clang_analyzer_denote(clang_analyzer_container_begin(FL), "$FL.begin()");
1767 clang_analyzer_denote(clang_analyzer_container_end(FL), "$FL.end()");
1769 auto i4 = FL.erase_after(i0);
1776 clang_analyzer_express(clang_analyzer_iterator_position(i0)); // expected-warning-re {{$FL.begin(){{$}}}}
1777 clang_analyzer_express(clang_analyzer_iterator_position(i2)); // expected-warning-re {{$FL.begin() + 2{{$}}}} FIXME: Should be $FL.begin() + 1
1778 // clang_analyzer_express(clang_analyzer_iterator_position(i4)); FIXME: expect warning $FL.begin() + 1
1779 clang_analyzer_express(clang_analyzer_iterator_position(i3)); // expected-warning-re {{$FL.end(){{$}}}}
1782 void forward_list_erase_after_unknown(std::forward_list<int> &FL) {
1783 auto i0 = FL.cbegin(), i1 = return_any_iterator(FL.cbegin()), i2 = i1,
1784 i3 = i1, i4 = FL.cend();
1789 clang_analyzer_denote(clang_analyzer_container_begin(FL), "$FL.begin()");
1790 clang_analyzer_denote(clang_analyzer_container_end(FL), "$FL.end()");
1793 auto i5 = FL.erase_after(i1);
1801 clang_analyzer_express(clang_analyzer_iterator_position(i0)); // expected-warning-re {{$FL.begin(){{$}}}}
1805 clang_analyzer_express(clang_analyzer_iterator_position(i4)); // expected-warning-re {{$FL.end(){{$}}}}