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 | // void clear() noexcept; |
12 | |
13 | #include <vector> |
14 | #include <cassert> |
15 | |
16 | #include "test_macros.h" |
17 | #include "min_allocator.h" |
18 | #include "asan_testing.h" |
19 | |
20 | TEST_CONSTEXPR_CXX20 bool tests() |
21 | { |
22 | { |
23 | int a[] = {1, 2, 3}; |
24 | std::vector<int> c(a, a+3); |
25 | ASSERT_NOEXCEPT(c.clear()); |
26 | c.clear(); |
27 | assert(c.empty()); |
28 | LIBCPP_ASSERT(c.__invariants()); |
29 | LIBCPP_ASSERT(is_contiguous_container_asan_correct(c)); |
30 | } |
31 | #if TEST_STD_VER >= 11 |
32 | { |
33 | int a[] = {1, 2, 3}; |
34 | std::vector<int, min_allocator<int>> c(a, a+3); |
35 | ASSERT_NOEXCEPT(c.clear()); |
36 | c.clear(); |
37 | assert(c.empty()); |
38 | LIBCPP_ASSERT(c.__invariants()); |
39 | LIBCPP_ASSERT(is_contiguous_container_asan_correct(c)); |
40 | } |
41 | { |
42 | int a[] = {1, 2, 3}; |
43 | std::vector<int, safe_allocator<int>> c(a, a + 3); |
44 | ASSERT_NOEXCEPT(c.clear()); |
45 | c.clear(); |
46 | assert(c.empty()); |
47 | LIBCPP_ASSERT(c.__invariants()); |
48 | LIBCPP_ASSERT(is_contiguous_container_asan_correct(c)); |
49 | } |
50 | #endif |
51 | |
52 | return true; |
53 | } |
54 | |
55 | int main(int, char**) |
56 | { |
57 | tests(); |
58 | #if TEST_STD_VER > 17 |
59 | static_assert(tests()); |
60 | #endif |
61 | return 0; |
62 | } |
63 | |