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 #if TEST_STD_VER >= 11
51     {
52         std::vector<int, other_allocator<int> > v(3, 2, other_allocator<int>(5));
53         std::vector<int, other_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() == other_allocator<int>(-2));
58         assert(is_contiguous_container_asan_correct(v));
59         assert(is_contiguous_container_asan_correct(v2));
60     }
61     {
62         int a[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 8, 7, 6, 5, 4, 3, 1, 0};
63         int* an = a + sizeof(a)/sizeof(a[0]);
64         test(std::vector<int, min_allocator<int>>(a, an));
65     }
66     {
67         std::vector<int, min_allocator<int> > v(3, 2, min_allocator<int>());
68         std::vector<int, min_allocator<int> > v2 = v;
69         assert(is_contiguous_container_asan_correct(v));
70         assert(is_contiguous_container_asan_correct(v2));
71         assert(v2 == v);
72         assert(v2.get_allocator() == v.get_allocator());
73         assert(is_contiguous_container_asan_correct(v));
74         assert(is_contiguous_container_asan_correct(v2));
75     }
76 #endif
77 
78   return 0;
79 }
80