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