43 void move_assignment(std::vector<int> &V1, std::vector<int> &V2) {  in move_assignment()  argument
44   V1.cbegin();  in move_assignment()
45   V1.cend();  in move_assignment()
48   long B1 = clang_analyzer_container_begin(V1);  in move_assignment()
49   long E1 = clang_analyzer_container_end(V1);  in move_assignment()
52   V1 = std::move(V2);  in move_assignment()
53   clang_analyzer_eval(clang_analyzer_container_begin(V1) == B2); // expected-warning{{TRUE}}  in move_assignment()
210 void push_back1(std::vector<int> &V1, std::vector<int> &V2, int n) {  in push_back1()  argument
211   V1.cbegin();  in push_back1()
212   V1.cend();  in push_back1()
216   clang_analyzer_denote(clang_analyzer_container_begin(V1), "$V1.begin()");  in push_back1()
220   clang_analyzer_express(clang_analyzer_container_begin(V1)); // expected-warning{{$V1.begin()}}  in push_back1()
224 void push_back2(std::vector<int> &V1, std::vector<int> &V2, int n) {  in push_back2()  argument
225   V1.cbegin();  in push_back2()
226   V1.cend();  in push_back2()
230   clang_analyzer_denote(clang_analyzer_container_begin(V1), "$V1.begin()");  in push_back2()
233   V1.push_back(n); // expected-note{{Container 'V1' extended to the back by 1 position}}  in push_back2()
236   clang_analyzer_express(clang_analyzer_container_begin(V1)); // expected-warning{{$V1.begin()}}  in push_back2()