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
tests()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
main(int,char **)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