1 //===----------------------------------------------------------------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 // <vector>
11 
12 // explicit vector(size_type n);
13 
14 #include <vector>
15 #include <cassert>
16 
17 #include "DefaultOnly.h"
18 #include "min_allocator.h"
19 #include "test_allocator.h"
20 #include "asan_testing.h"
21 
22 template <class C>
23 void
test2(typename C::size_type n,typename C::allocator_type const & a=typename C::allocator_type ())24 test2(typename C::size_type n, typename C::allocator_type const& a = typename C::allocator_type ())
25 {
26 #if _LIBCPP_STD_VER > 11
27     C c(n, a);
28     assert(c.__invariants());
29     assert(c.size() == n);
30     assert(c.get_allocator() == a);
31     assert(is_contiguous_container_asan_correct(c));
32 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
33     for (typename C::const_iterator i = c.cbegin(), e = c.cend(); i != e; ++i)
34         assert(*i == typename C::value_type());
35 #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
36 #endif
37 }
38 
39 template <class C>
40 void
test1(typename C::size_type n)41 test1(typename C::size_type n)
42 {
43     C c(n);
44     assert(c.__invariants());
45     assert(c.size() == n);
46     assert(c.get_allocator() == typename C::allocator_type());
47     assert(is_contiguous_container_asan_correct(c));
48 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
49     for (typename C::const_iterator i = c.cbegin(), e = c.cend(); i != e; ++i)
50         assert(*i == typename C::value_type());
51 #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
52 }
53 
54 template <class C>
55 void
test(typename C::size_type n)56 test(typename C::size_type n)
57 {
58     test1<C> ( n );
59     test2<C> ( n );
60 }
61 
main()62 int main()
63 {
64     test<std::vector<int> >(50);
65     test<std::vector<DefaultOnly> >(500);
66     assert(DefaultOnly::count == 0);
67 #if __cplusplus >= 201103L
68     test<std::vector<int, min_allocator<int>> >(50);
69     test<std::vector<DefaultOnly, min_allocator<DefaultOnly>> >(500);
70     test2<std::vector<DefaultOnly, test_allocator<DefaultOnly>> >( 100, test_allocator<DefaultOnly>(23));
71     assert(DefaultOnly::count == 0);
72 #endif
73 }
74