| //===----------------------------------------------------------------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| // UNSUPPORTED: c++98, c++03 |
| |
| // <vector> |
| |
| // vector(vector&& c); |
| |
| #include <vector> |
| #include <cassert> |
| |
| #include "test_macros.h" |
| #include "MoveOnly.h" |
| #include "test_allocator.h" |
| #include "min_allocator.h" |
| #include "asan_testing.h" |
| |
| int main(int, char**) |
| { |
| { |
| std::vector<MoveOnly, test_allocator<MoveOnly> > l(test_allocator<MoveOnly>(5)); |
| std::vector<MoveOnly, test_allocator<MoveOnly> > lo(test_allocator<MoveOnly>(5)); |
| assert(is_contiguous_container_asan_correct(l)); |
| assert(is_contiguous_container_asan_correct(lo)); |
| for (int i = 1; i <= 3; ++i) |
| { |
| l.push_back(i); |
| lo.push_back(i); |
| } |
| assert(is_contiguous_container_asan_correct(l)); |
| assert(is_contiguous_container_asan_correct(lo)); |
| std::vector<MoveOnly, test_allocator<MoveOnly> > l2 = std::move(l); |
| assert(l2 == lo); |
| assert(l.empty()); |
| assert(l2.get_allocator() == lo.get_allocator()); |
| assert(is_contiguous_container_asan_correct(l2)); |
| } |
| { |
| std::vector<MoveOnly, other_allocator<MoveOnly> > l(other_allocator<MoveOnly>(5)); |
| std::vector<MoveOnly, other_allocator<MoveOnly> > lo(other_allocator<MoveOnly>(5)); |
| assert(is_contiguous_container_asan_correct(l)); |
| assert(is_contiguous_container_asan_correct(lo)); |
| for (int i = 1; i <= 3; ++i) |
| { |
| l.push_back(i); |
| lo.push_back(i); |
| } |
| assert(is_contiguous_container_asan_correct(l)); |
| assert(is_contiguous_container_asan_correct(lo)); |
| std::vector<MoveOnly, other_allocator<MoveOnly> > l2 = std::move(l); |
| assert(l2 == lo); |
| assert(l.empty()); |
| assert(l2.get_allocator() == lo.get_allocator()); |
| assert(is_contiguous_container_asan_correct(l2)); |
| } |
| { |
| int a1[] = {1, 3, 7, 9, 10}; |
| std::vector<int> c1(a1, a1+sizeof(a1)/sizeof(a1[0])); |
| assert(is_contiguous_container_asan_correct(c1)); |
| std::vector<int>::const_iterator i = c1.begin(); |
| std::vector<int> c2 = std::move(c1); |
| assert(is_contiguous_container_asan_correct(c2)); |
| std::vector<int>::iterator j = c2.erase(i); |
| assert(*j == 3); |
| assert(is_contiguous_container_asan_correct(c2)); |
| } |
| { |
| std::vector<MoveOnly, min_allocator<MoveOnly> > l(min_allocator<MoveOnly>{}); |
| std::vector<MoveOnly, min_allocator<MoveOnly> > lo(min_allocator<MoveOnly>{}); |
| assert(is_contiguous_container_asan_correct(l)); |
| assert(is_contiguous_container_asan_correct(lo)); |
| for (int i = 1; i <= 3; ++i) |
| { |
| l.push_back(i); |
| lo.push_back(i); |
| } |
| assert(is_contiguous_container_asan_correct(l)); |
| assert(is_contiguous_container_asan_correct(lo)); |
| std::vector<MoveOnly, min_allocator<MoveOnly> > l2 = std::move(l); |
| assert(l2 == lo); |
| assert(l.empty()); |
| assert(l2.get_allocator() == lo.get_allocator()); |
| assert(is_contiguous_container_asan_correct(l2)); |
| } |
| { |
| int a1[] = {1, 3, 7, 9, 10}; |
| std::vector<int, min_allocator<int>> c1(a1, a1+sizeof(a1)/sizeof(a1[0])); |
| assert(is_contiguous_container_asan_correct(c1)); |
| std::vector<int, min_allocator<int>>::const_iterator i = c1.begin(); |
| std::vector<int, min_allocator<int>> c2 = std::move(c1); |
| assert(is_contiguous_container_asan_correct(c2)); |
| std::vector<int, min_allocator<int>>::iterator j = c2.erase(i); |
| assert(*j == 3); |
| assert(is_contiguous_container_asan_correct(c2)); |
| } |
| { |
| test_alloc_base::clear(); |
| using Vect = std::vector<int, test_allocator<int> >; |
| Vect v(test_allocator<int>(42, 101)); |
| assert(test_alloc_base::count == 1); |
| assert(test_alloc_base::copied == 1); |
| assert(test_alloc_base::moved == 0); |
| { |
| const test_allocator<int>& a = v.get_allocator(); |
| assert(a.get_data() == 42); |
| assert(a.get_id() == 101); |
| } |
| assert(test_alloc_base::count == 1); |
| test_alloc_base::clear_ctor_counters(); |
| |
| Vect v2 = std::move(v); |
| assert(test_alloc_base::count == 2); |
| assert(test_alloc_base::copied == 0); |
| assert(test_alloc_base::moved == 1); |
| { |
| const test_allocator<int>& a = v.get_allocator(); |
| assert(a.get_id() == test_alloc_base::moved_value); |
| assert(a.get_data() == test_alloc_base::moved_value); |
| } |
| { |
| const test_allocator<int>& a = v2.get_allocator(); |
| assert(a.get_id() == 101); |
| assert(a.get_data() == 42); |
| } |
| } |
| |
| return 0; |
| } |