| //===----------------------------------------------------------------------===// |
| // |
| // 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> |
| |
| // vector(); |
| // vector(const Alloc&); |
| |
| #include <vector> |
| #include <cassert> |
| |
| #include "test_macros.h" |
| #include "test_allocator.h" |
| #include "../../../NotConstructible.h" |
| #include "test_allocator.h" |
| #include "min_allocator.h" |
| #include "asan_testing.h" |
| |
| template <class C> |
| void |
| test0() |
| { |
| #if TEST_STD_VER > 14 |
| static_assert((noexcept(C{})), "" ); |
| #elif TEST_STD_VER >= 11 |
| static_assert((noexcept(C()) == noexcept(typename C::allocator_type())), "" ); |
| #endif |
| C c; |
| LIBCPP_ASSERT(c.__invariants()); |
| assert(c.empty()); |
| assert(c.get_allocator() == typename C::allocator_type()); |
| LIBCPP_ASSERT(is_contiguous_container_asan_correct(c)); |
| #if TEST_STD_VER >= 11 |
| C c1 = {}; |
| LIBCPP_ASSERT(c1.__invariants()); |
| assert(c1.empty()); |
| assert(c1.get_allocator() == typename C::allocator_type()); |
| LIBCPP_ASSERT(is_contiguous_container_asan_correct(c1)); |
| #endif |
| } |
| |
| template <class C> |
| void |
| test1(const typename C::allocator_type& a) |
| { |
| #if TEST_STD_VER > 14 |
| static_assert((noexcept(C{typename C::allocator_type{}})), "" ); |
| #elif TEST_STD_VER >= 11 |
| static_assert((noexcept(C(typename C::allocator_type())) == std::is_nothrow_copy_constructible<typename C::allocator_type>::value), "" ); |
| #endif |
| C c(a); |
| LIBCPP_ASSERT(c.__invariants()); |
| assert(c.empty()); |
| assert(c.get_allocator() == a); |
| LIBCPP_ASSERT(is_contiguous_container_asan_correct(c)); |
| } |
| |
| int main(int, char**) |
| { |
| { |
| test0<std::vector<int> >(); |
| test0<std::vector<NotConstructible> >(); |
| test1<std::vector<int, test_allocator<int> > >(test_allocator<int>(3)); |
| test1<std::vector<NotConstructible, test_allocator<NotConstructible> > > |
| (test_allocator<NotConstructible>(5)); |
| } |
| { |
| std::vector<int, limited_allocator<int, 10> > v; |
| assert(v.empty()); |
| } |
| #if TEST_STD_VER >= 11 |
| { |
| test0<std::vector<int, min_allocator<int>> >(); |
| test0<std::vector<NotConstructible, min_allocator<NotConstructible>> >(); |
| test1<std::vector<int, min_allocator<int> > >(min_allocator<int>{}); |
| test1<std::vector<NotConstructible, min_allocator<NotConstructible> > > |
| (min_allocator<NotConstructible>{}); |
| } |
| { |
| std::vector<int, min_allocator<int> > v; |
| assert(v.empty()); |
| } |
| |
| { |
| test0<std::vector<int, explicit_allocator<int>> >(); |
| test0<std::vector<NotConstructible, explicit_allocator<NotConstructible>> >(); |
| test1<std::vector<int, explicit_allocator<int> > >(explicit_allocator<int>{}); |
| test1<std::vector<NotConstructible, explicit_allocator<NotConstructible> > > |
| (explicit_allocator<NotConstructible>{}); |
| } |
| { |
| std::vector<int, explicit_allocator<int> > v; |
| assert(v.empty()); |
| } |
| #endif |
| |
| return 0; |
| } |