1628fcfd5SNikolas Klauser //===----------------------------------------------------------------------===//
2628fcfd5SNikolas Klauser //
3628fcfd5SNikolas Klauser // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4628fcfd5SNikolas Klauser // See https://llvm.org/LICENSE.txt for license information.
5628fcfd5SNikolas Klauser // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6628fcfd5SNikolas Klauser //
7628fcfd5SNikolas Klauser //===----------------------------------------------------------------------===//
8628fcfd5SNikolas Klauser 
9628fcfd5SNikolas Klauser // UNSUPPORTED: c++03
10628fcfd5SNikolas Klauser 
11628fcfd5SNikolas Klauser // <string>
12628fcfd5SNikolas Klauser 
13*425620ccSNikolas Klauser // ~basic_string() // implied noexcept; // constexpr since C++20
14628fcfd5SNikolas Klauser 
15628fcfd5SNikolas Klauser #include <string>
16628fcfd5SNikolas Klauser #include <cassert>
17628fcfd5SNikolas Klauser 
18628fcfd5SNikolas Klauser #include "test_macros.h"
19628fcfd5SNikolas Klauser #include "test_allocator.h"
20628fcfd5SNikolas Klauser 
21628fcfd5SNikolas Klauser template <class T>
22628fcfd5SNikolas Klauser struct throwing_alloc
23628fcfd5SNikolas Klauser {
24628fcfd5SNikolas Klauser     typedef T value_type;
25628fcfd5SNikolas Klauser     throwing_alloc(const throwing_alloc&);
26628fcfd5SNikolas Klauser     T *allocate(size_t);
27628fcfd5SNikolas Klauser     ~throwing_alloc() noexcept(false);
28628fcfd5SNikolas Klauser };
29628fcfd5SNikolas Klauser 
30628fcfd5SNikolas Klauser // Test that it's possible to take the address of basic_string's destructors
31628fcfd5SNikolas Klauser // by creating globals which will register their destructors with cxa_atexit.
32628fcfd5SNikolas Klauser std::string s;
33628fcfd5SNikolas Klauser #ifndef TEST_HAS_NO_WIDE_CHARACTERS
34628fcfd5SNikolas Klauser std::wstring ws;
35628fcfd5SNikolas Klauser #endif
36628fcfd5SNikolas Klauser 
37628fcfd5SNikolas Klauser static_assert(std::is_nothrow_destructible<std::string>::value, "");
38628fcfd5SNikolas Klauser static_assert(std::is_nothrow_destructible<
39628fcfd5SNikolas Klauser                 std::basic_string<char, std::char_traits<char>, test_allocator<char>>>::value, "");
40628fcfd5SNikolas Klauser LIBCPP_STATIC_ASSERT(!std::is_nothrow_destructible<
41628fcfd5SNikolas Klauser                      std::basic_string<char, std::char_traits<char>, throwing_alloc<char>>>::value, "");
42628fcfd5SNikolas Klauser 
test()43*425620ccSNikolas Klauser TEST_CONSTEXPR_CXX20 bool test() {
44628fcfd5SNikolas Klauser   test_allocator_statistics alloc_stats;
45628fcfd5SNikolas Klauser   {
46628fcfd5SNikolas Klauser     std::basic_string<char, std::char_traits<char>, test_allocator<char>> str2((test_allocator<char>(&alloc_stats)));
47628fcfd5SNikolas Klauser     str2 = "long long string so no SSO";
48628fcfd5SNikolas Klauser     assert(alloc_stats.alloc_count == 1);
49628fcfd5SNikolas Klauser   }
50628fcfd5SNikolas Klauser   assert(alloc_stats.alloc_count == 0);
51628fcfd5SNikolas Klauser 
52628fcfd5SNikolas Klauser   return true;
53628fcfd5SNikolas Klauser }
54628fcfd5SNikolas Klauser 
main(int,char **)55628fcfd5SNikolas Klauser int main(int, char**)
56628fcfd5SNikolas Klauser {
57628fcfd5SNikolas Klauser   test();
58628fcfd5SNikolas Klauser #if TEST_STD_VER > 17
59*425620ccSNikolas Klauser   static_assert(test());
60628fcfd5SNikolas Klauser #endif
61628fcfd5SNikolas Klauser 
62628fcfd5SNikolas Klauser   return 0;
63628fcfd5SNikolas Klauser }
64