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 // ~vector<bool>() // implied noexcept;
12
13 // UNSUPPORTED: c++03
14
15 #include <vector>
16 #include <cassert>
17
18 #include "test_macros.h"
19 #include "test_allocator.h"
20
21 template <class T>
22 struct some_alloc
23 {
24 typedef T value_type;
25 some_alloc(const some_alloc&);
26 ~some_alloc() noexcept(false);
27 };
28
main(int,char **)29 int main(int, char**)
30 {
31 {
32 typedef std::vector<bool> C;
33 static_assert(std::is_nothrow_destructible<C>::value, "");
34 }
35 {
36 typedef std::vector<bool, test_allocator<bool>> C;
37 static_assert(std::is_nothrow_destructible<C>::value, "");
38 }
39 {
40 typedef std::vector<bool, other_allocator<bool>> C;
41 static_assert(std::is_nothrow_destructible<C>::value, "");
42 }
43 #if defined(_LIBCPP_VERSION)
44 {
45 typedef std::vector<bool, some_alloc<bool>> C;
46 static_assert(!std::is_nothrow_destructible<C>::value, "");
47 }
48 #endif // _LIBCPP_VERSION
49
50 return 0;
51 }
52