111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//===----------------------------------------------------------------------===//
211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//
311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//                     The LLVM Compiler Infrastructure
411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//
511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// This file is dual licensed under the MIT and the University of Illinois Open
611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// Source Licenses. See LICENSE.TXT for details.
711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//
811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//===----------------------------------------------------------------------===//
911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
1011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// <string>
1111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
1211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// void swap(basic_string& c)
1311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//     noexcept(!allocator_type::propagate_on_container_swap::value ||
1411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//              __is_nothrow_swappable<allocator_type>::value);
1511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
1611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// This tests a conforming extension
1711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
1811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include <string>
1911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include <cassert>
2011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
2111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include "test_allocator.h"
2211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
2311cd02dfb91661c65134cac258cf5924270e9d2Dan Alberttemplate <class T>
2411cd02dfb91661c65134cac258cf5924270e9d2Dan Albertstruct some_alloc
2511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert{
2611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    typedef T value_type;
2711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
2811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    some_alloc() {}
2911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    some_alloc(const some_alloc&);
3011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    void deallocate(void*, unsigned) {}
3111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
3211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    typedef std::true_type propagate_on_container_swap;
3311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert};
3411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
3511cd02dfb91661c65134cac258cf5924270e9d2Dan Albertint main()
3611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert{
3711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#if __has_feature(cxx_noexcept)
3811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    {
3911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert        typedef std::string C;
4011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert        C c1, c2;
4111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert        static_assert(noexcept(swap(c1, c2)), "");
4211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    }
4311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    {
4411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert        typedef std::basic_string<char, std::char_traits<char>, test_allocator<char>> C;
4511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert        C c1, c2;
4611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert        static_assert(noexcept(swap(c1, c2)), "");
4711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    }
4811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    {
4911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert        typedef std::basic_string<char, std::char_traits<char>, some_alloc<char>> C;
5011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert        C c1, c2;
5111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert        static_assert(!noexcept(swap(c1, c2)), "");
5211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    }
5311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#endif
5411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert}
55