libcxx/test/std/containers/sequences/vector/vector.modifiers/clear.pass.cpp

   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 }