1b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===//
2b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
3b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//                     The LLVM Compiler Infrastructure
4b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
5b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// This file is dual licensed under the MIT and the University of Illinois Open
6b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// Source Licenses. See LICENSE.TXT for details.
7b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
8b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===//
9b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
10b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// <string>
11b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
12b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// void swap(basic_string& c)
13b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//     noexcept(!allocator_type::propagate_on_container_swap::value ||
14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//              __is_nothrow_swappable<allocator_type>::value);
15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
16b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// This tests a conforming extension
17b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
18b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <string>
19b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <cassert>
20b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
21b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include "../../test_allocator.h"
22b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
23b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertemplate <class T>
24b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct some_alloc
25b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
26b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    typedef T value_type;
27b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
28b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    some_alloc() {}
29b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    some_alloc(const some_alloc&);
30b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    void deallocate(void*, unsigned) {}
31b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
32b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    typedef std::true_type propagate_on_container_swap;
33b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner};
34b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
35b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main()
36b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
37b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#if __has_feature(cxx_noexcept)
38b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    {
39b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        typedef std::string C;
40b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        C c1, c2;
41b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        static_assert(noexcept(swap(c1, c2)), "");
42b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    }
43b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    {
44b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        typedef std::basic_string<char, std::char_traits<char>, test_allocator<char>> C;
45b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        C c1, c2;
46b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        static_assert(noexcept(swap(c1, c2)), "");
47b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    }
48b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    {
49b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        typedef std::basic_string<char, std::char_traits<char>, some_alloc<char>> C;
50b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        C c1, c2;
51b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        static_assert(!noexcept(swap(c1, c2)), "");
52b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    }
53b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#endif
54b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}
55