1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 // <vector>
10 
11 // vector(const vector& v);
12 
13 #include <vector>
14 #include <cassert>
15 
16 #include "test_macros.h"
17 #include "test_allocator.h"
18 #include "min_allocator.h"
19 #include "asan_testing.h"
20 
21 template <class C>
22 void
23 test(const C& x)
24 {
25     typename C::size_type s = x.size();
26     C c(x);
27     LIBCPP_ASSERT(c.__invariants());
28     assert(c.size() == s);
29     assert(c == x);
30     LIBCPP_ASSERT(is_contiguous_container_asan_correct(c));
31 }
32 
33 int main(int, char**)
34 {
35     {
36         int a[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 8, 7, 6, 5, 4, 3, 1, 0};
37         int* an = a + sizeof(a)/sizeof(a[0]);
38         test(std::vector<int>(a, an));
39     }
40     {
41         std::vector<int, test_allocator<int> > v(3, 2, test_allocator<int>(5));
42         std::vector<int, test_allocator<int> > v2 = v;
43         assert(is_contiguous_container_asan_correct(v));
44         assert(is_contiguous_container_asan_correct(v2));
45         assert(v2 == v);
46         assert(v2.get_allocator() == v.get_allocator());
47         assert(is_contiguous_container_asan_correct(v));
48         assert(is_contiguous_container_asan_correct(v2));
49     }
50     {
51         // Test copy ctor with empty source
52         std::vector<int, test_allocator<int> > v(test_allocator<int>(5));
53         std::vector<int, test_allocator<int> > v2 = v;
54         assert(is_contiguous_container_asan_correct(v));
55         assert(is_contiguous_container_asan_correct(v2));
56         assert(v2 == v);
57         assert(v2.get_allocator() == v.get_allocator());
58         assert(is_contiguous_container_asan_correct(v));
59         assert(is_contiguous_container_asan_correct(v2));
60         assert(v2.empty());
61     }
62 #if TEST_STD_VER >= 11
63     {
64         std::vector<int, other_allocator<int> > v(3, 2, other_allocator<int>(5));
65         std::vector<int, other_allocator<int> > v2 = v;
66         assert(is_contiguous_container_asan_correct(v));
67         assert(is_contiguous_container_asan_correct(v2));
68         assert(v2 == v);
69         assert(v2.get_allocator() == other_allocator<int>(-2));
70         assert(is_contiguous_container_asan_correct(v));
71         assert(is_contiguous_container_asan_correct(v2));
72     }
73     {
74         int a[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 8, 7, 6, 5, 4, 3, 1, 0};
75         int* an = a + sizeof(a)/sizeof(a[0]);
76         test(std::vector<int, min_allocator<int>>(a, an));
77     }
78     {
79         std::vector<int, min_allocator<int> > v(3, 2, min_allocator<int>());
80         std::vector<int, min_allocator<int> > v2 = v;
81         assert(is_contiguous_container_asan_correct(v));
82         assert(is_contiguous_container_asan_correct(v2));
83         assert(v2 == v);
84         assert(v2.get_allocator() == v.get_allocator());
85         assert(is_contiguous_container_asan_correct(v));
86         assert(is_contiguous_container_asan_correct(v2));
87     }
88 #endif
89 
90   return 0;
91 }
92