| //===----------------------------------------------------------------------===// |
| // |
| // 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 |
| // |
| //===----------------------------------------------------------------------===// |
| |
| // <vector> |
| |
| // template <class T, class Alloc> |
| // void swap(vector<T,Alloc>& x, vector<T,Alloc>& y); |
| |
| #include <vector> |
| #include <iterator> |
| #include <cassert> |
| #include "test_macros.h" |
| #include "test_allocator.h" |
| #include "min_allocator.h" |
| #include "asan_testing.h" |
| |
| template <typename A> |
| TEST_CONSTEXPR_CXX20 void test_with_allocator() { |
| { |
| int a1[] = {1, 3, 7, 9, 10}; |
| int a2[] = {0, 2, 4, 5, 6, 8, 11}; |
| std::vector<int, A> c1(a1, a1 + sizeof(a1) / sizeof(a1[0])); |
| std::vector<int, A> c2(a2, a2 + sizeof(a2) / sizeof(a2[0])); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| swap(c1, c2); |
| assert((c1 == std::vector<int, A>(a2, a2 + sizeof(a2) / sizeof(a2[0])))); |
| assert((c2 == std::vector<int, A>(a1, a1 + sizeof(a1) / sizeof(a1[0])))); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| } |
| { |
| int a1[] = {1, 3, 7, 9, 10}; |
| int a2[] = {0, 2, 4, 5, 6, 8, 11}; |
| std::vector<int, A> c1(a1, a1); |
| std::vector<int, A> c2(a2, a2 + sizeof(a2) / sizeof(a2[0])); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| swap(c1, c2); |
| assert((c1 == std::vector<int, A>(a2, a2 + sizeof(a2) / sizeof(a2[0])))); |
| assert(c2.empty()); |
| assert(std::distance(c2.begin(), c2.end()) == 0); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| } |
| { |
| int a1[] = {1, 3, 7, 9, 10}; |
| int a2[] = {0, 2, 4, 5, 6, 8, 11}; |
| std::vector<int, A> c1(a1, a1 + sizeof(a1) / sizeof(a1[0])); |
| std::vector<int, A> c2(a2, a2); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| swap(c1, c2); |
| assert(c1.empty()); |
| assert(std::distance(c1.begin(), c1.end()) == 0); |
| assert((c2 == std::vector<int, A>(a1, a1 + sizeof(a1) / sizeof(a1[0])))); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| } |
| { |
| int a1[] = {1, 3, 7, 9, 10}; |
| int a2[] = {0, 2, 4, 5, 6, 8, 11}; |
| std::vector<int, A> c1(a1, a1); |
| std::vector<int, A> c2(a2, a2); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| swap(c1, c2); |
| assert(c1.empty()); |
| assert(std::distance(c1.begin(), c1.end()) == 0); |
| assert(c2.empty()); |
| assert(std::distance(c2.begin(), c2.end()) == 0); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| } |
| { |
| int a1[] = {1, 3, 7, 9, 10}; |
| int a2[] = {0, 2, 4, 5, 6, 8, 11}; |
| std::vector<int, A> c1(a1, a1 + sizeof(a1) / sizeof(a1[0]), A()); |
| std::vector<int, A> c2(a2, a2 + sizeof(a2) / sizeof(a2[0]), A()); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| swap(c1, c2); |
| assert((c1 == std::vector<int, A>(a2, a2 + sizeof(a2) / sizeof(a2[0])))); |
| assert(c1.get_allocator() == A()); |
| assert((c2 == std::vector<int, A>(a1, a1 + sizeof(a1) / sizeof(a1[0])))); |
| assert(c2.get_allocator() == A()); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| } |
| } |
| |
| TEST_CONSTEXPR_CXX20 bool tests() |
| { |
| { |
| int a1[] = {1, 3, 7, 9, 10}; |
| int a2[] = {0, 2, 4, 5, 6, 8, 11}; |
| std::vector<int> c1(a1, a1+sizeof(a1)/sizeof(a1[0])); |
| std::vector<int> c2(a2, a2+sizeof(a2)/sizeof(a2[0])); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| swap(c1, c2); |
| assert(c1 == std::vector<int>(a2, a2+sizeof(a2)/sizeof(a2[0]))); |
| assert(c2 == std::vector<int>(a1, a1+sizeof(a1)/sizeof(a1[0]))); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| } |
| { |
| int a1[] = {1, 3, 7, 9, 10}; |
| int a2[] = {0, 2, 4, 5, 6, 8, 11}; |
| std::vector<int> c1(a1, a1); |
| std::vector<int> c2(a2, a2+sizeof(a2)/sizeof(a2[0])); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| swap(c1, c2); |
| assert(c1 == std::vector<int>(a2, a2+sizeof(a2)/sizeof(a2[0]))); |
| assert(c2.empty()); |
| assert(std::distance(c2.begin(), c2.end()) == 0); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| } |
| { |
| int a1[] = {1, 3, 7, 9, 10}; |
| int a2[] = {0, 2, 4, 5, 6, 8, 11}; |
| std::vector<int> c1(a1, a1+sizeof(a1)/sizeof(a1[0])); |
| std::vector<int> c2(a2, a2); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| swap(c1, c2); |
| assert(c1.empty()); |
| assert(std::distance(c1.begin(), c1.end()) == 0); |
| assert(c2 == std::vector<int>(a1, a1+sizeof(a1)/sizeof(a1[0]))); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| } |
| { |
| int a1[] = {1, 3, 7, 9, 10}; |
| int a2[] = {0, 2, 4, 5, 6, 8, 11}; |
| std::vector<int> c1(a1, a1); |
| std::vector<int> c2(a2, a2); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| swap(c1, c2); |
| assert(c1.empty()); |
| assert(std::distance(c1.begin(), c1.end()) == 0); |
| assert(c2.empty()); |
| assert(std::distance(c2.begin(), c2.end()) == 0); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| } |
| { |
| int a1[] = {1, 3, 7, 9, 10}; |
| int a2[] = {0, 2, 4, 5, 6, 8, 11}; |
| typedef test_allocator<int> A; |
| std::vector<int, A> c1(a1, a1+sizeof(a1)/sizeof(a1[0]), A(1, 1)); |
| std::vector<int, A> c2(a2, a2+sizeof(a2)/sizeof(a2[0]), A(1, 2)); |
| swap(c1, c2); |
| assert((c1 == std::vector<int, A>(a2, a2+sizeof(a2)/sizeof(a2[0])))); |
| assert(c1.get_allocator().get_id() == 1); |
| assert((c2 == std::vector<int, A>(a1, a1+sizeof(a1)/sizeof(a1[0])))); |
| assert(c2.get_allocator().get_id() == 2); |
| } |
| { |
| int a1[] = {1, 3, 7, 9, 10}; |
| int a2[] = {0, 2, 4, 5, 6, 8, 11}; |
| typedef other_allocator<int> A; |
| std::vector<int, A> c1(a1, a1+sizeof(a1)/sizeof(a1[0]), A(1)); |
| std::vector<int, A> c2(a2, a2+sizeof(a2)/sizeof(a2[0]), A(2)); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| swap(c1, c2); |
| assert((c1 == std::vector<int, A>(a2, a2+sizeof(a2)/sizeof(a2[0])))); |
| assert(c1.get_allocator() == A(2)); |
| assert((c2 == std::vector<int, A>(a1, a1+sizeof(a1)/sizeof(a1[0])))); |
| assert(c2.get_allocator() == A(1)); |
| assert(is_contiguous_container_asan_correct(c1)); |
| assert(is_contiguous_container_asan_correct(c2)); |
| } |
| #if TEST_STD_VER >= 11 |
| test_with_allocator<min_allocator<int>>(); |
| test_with_allocator<safe_allocator<int>>(); |
| #endif |
| |
| return true; |
| } |
| |
| int main(int, char**) |
| { |
| tests(); |
| #if TEST_STD_VER > 17 |
| static_assert(tests()); |
| #endif |
| return 0; |
| } |