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