1b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant//===----------------------------------------------------------------------===// 2b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant// 3b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant// The LLVM Compiler Infrastructure 4b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant// 5b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 6b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant// 8b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant//===----------------------------------------------------------------------===// 9b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant 10b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant// <set> 11b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant 12b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant// set(set&&) 13b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant// noexcept(is_nothrow_move_constructible<allocator_type>::value && 14b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant// is_nothrow_move_constructible<key_compare>::value); 15b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant 16b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant// This tests a conforming extension 17b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant 18d24c465beaec2fe9a0e365e6379cd5d3acaeb2caEric Fiselier// UNSUPPORTED: c++98, c++03 19d24c465beaec2fe9a0e365e6379cd5d3acaeb2caEric Fiselier 20b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant#include <set> 21b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant#include <cassert> 22b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant 23a29e0e5ba2ad9a130fc712591da374e80cc7153eEric Fiselier#include "test_macros.h" 24df00d5e5ad672aa275a29c5a446072959134adddMarshall Clow#include "MoveOnly.h" 251b92188a82b01e76ac6e8ad5f997293c2a078adcMarshall Clow#include "test_allocator.h" 26b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant 27b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnanttemplate <class T> 28b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnantstruct some_comp 29b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant{ 30b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant typedef T value_type; 31b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant some_comp(const some_comp&); 324241df3ef46df4bc3d6fc729a39dd6e7c13fc6eeMarshall Clow bool operator()(const T&, const T&) const { return false; } 33b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant}; 34b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant 35b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnantint main() 36b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant{ 375597800045d2053774514354adf7fbd8bd36cc3dStephan T. Lavavej#if defined(_LIBCPP_VERSION) 38b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant { 39b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant typedef std::set<MoveOnly> C; 405597800045d2053774514354adf7fbd8bd36cc3dStephan T. Lavavej static_assert(std::is_nothrow_move_constructible<C>::value, ""); 41b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant } 42b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant { 43b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant typedef std::set<MoveOnly, std::less<MoveOnly>, test_allocator<MoveOnly>> C; 445597800045d2053774514354adf7fbd8bd36cc3dStephan T. Lavavej static_assert(std::is_nothrow_move_constructible<C>::value, ""); 45b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant } 46b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant { 47b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant typedef std::set<MoveOnly, std::less<MoveOnly>, other_allocator<MoveOnly>> C; 485597800045d2053774514354adf7fbd8bd36cc3dStephan T. Lavavej static_assert(std::is_nothrow_move_constructible<C>::value, ""); 49b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant } 505597800045d2053774514354adf7fbd8bd36cc3dStephan T. Lavavej#endif // _LIBCPP_VERSION 51b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant { 52b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant typedef std::set<MoveOnly, some_comp<MoveOnly>> C; 53b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant static_assert(!std::is_nothrow_move_constructible<C>::value, ""); 54b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant } 55b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant} 56