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 
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