17686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant//===----------------------------------------------------------------------===// 27686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// 37686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// The LLVM Compiler Infrastructure 47686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// 57686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 67686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 77686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// 87686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant//===----------------------------------------------------------------------===// 97686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant 107686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// <map> 117686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant 127686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// map(map&&) 137686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// noexcept(is_nothrow_move_constructible<allocator_type>::value && 147686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// is_nothrow_move_constructible<key_compare>::value); 157686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant 167686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// This tests a conforming extension 177686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant 187686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant#include <map> 197686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant#include <cassert> 207686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant 217686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant#include "../../../MoveOnly.h" 221b92188a82b01e76ac6e8ad5f997293c2a078adcMarshall Clow#include "test_allocator.h" 237686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant 247686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnanttemplate <class T> 257686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnantstruct some_comp 267686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant{ 277686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant typedef T value_type; 287686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant some_comp(const some_comp&); 297686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant}; 307686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant 317686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnantint main() 327686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant{ 337686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant#if __has_feature(cxx_noexcept) 347686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant { 357686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant typedef std::map<MoveOnly, MoveOnly> C; 367686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant static_assert(std::is_nothrow_move_constructible<C>::value, ""); 377686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant } 387686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant { 397686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant typedef std::map<MoveOnly, MoveOnly, std::less<MoveOnly>, test_allocator<MoveOnly>> C; 407686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant static_assert(std::is_nothrow_move_constructible<C>::value, ""); 417686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant } 427686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant { 43b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant typedef std::map<MoveOnly, MoveOnly, std::less<MoveOnly>, other_allocator<MoveOnly>> C; 447686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant static_assert(std::is_nothrow_move_constructible<C>::value, ""); 457686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant } 467686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant { 477686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant typedef std::map<MoveOnly, MoveOnly, some_comp<MoveOnly>> C; 487686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant static_assert(!std::is_nothrow_move_constructible<C>::value, ""); 497686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant } 507686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant#endif 517686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant} 52