15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
35a83710eSEric Fiselier //                     The LLVM Compiler Infrastructure
45a83710eSEric Fiselier //
55a83710eSEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open
65a83710eSEric Fiselier // Source Licenses. See LICENSE.TXT for details.
75a83710eSEric Fiselier //
85a83710eSEric Fiselier //===----------------------------------------------------------------------===//
95a83710eSEric Fiselier 
101f4231f8SEric Fiselier // UNSUPPORTED: c++98, c++03
111f4231f8SEric Fiselier 
125a83710eSEric Fiselier // <string>
135a83710eSEric Fiselier 
145a83710eSEric Fiselier // basic_string(basic_string&&)
155a83710eSEric Fiselier //        noexcept(is_nothrow_move_constructible<allocator_type>::value);
165a83710eSEric Fiselier 
175a83710eSEric Fiselier // This tests a conforming extension
185a83710eSEric Fiselier 
195a83710eSEric Fiselier #include <string>
205a83710eSEric Fiselier #include <cassert>
215a83710eSEric Fiselier 
22cbf166a2SMarshall Clow #include "test_macros.h"
235a83710eSEric Fiselier #include "test_allocator.h"
245a83710eSEric Fiselier 
255a83710eSEric Fiselier int main()
265a83710eSEric Fiselier {
275a83710eSEric Fiselier     {
285a83710eSEric Fiselier         typedef std::string C;
295a83710eSEric Fiselier         static_assert(std::is_nothrow_move_constructible<C>::value, "");
305a83710eSEric Fiselier     }
315a83710eSEric Fiselier     {
325a83710eSEric Fiselier         typedef std::basic_string<char, std::char_traits<char>, test_allocator<char>> C;
335a83710eSEric Fiselier         static_assert(std::is_nothrow_move_constructible<C>::value, "");
345a83710eSEric Fiselier     }
355a83710eSEric Fiselier     {
36*76b26852SMarshall Clow         typedef std::basic_string<char, std::char_traits<char>, limited_allocator<char, 10>> C;
37cbf166a2SMarshall Clow #if TEST_STD_VER <= 14
385a83710eSEric Fiselier         static_assert(!std::is_nothrow_move_constructible<C>::value, "");
39cbf166a2SMarshall Clow #else
40cbf166a2SMarshall Clow         static_assert( std::is_nothrow_move_constructible<C>::value, "");
41cbf166a2SMarshall Clow #endif
425a83710eSEric Fiselier     }
435a83710eSEric Fiselier }
44