104dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant//===----------------------------------------------------------------------===// 204dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant// 304dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant// The LLVM Compiler Infrastructure 404dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant// 504dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 604dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 704dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant// 804dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant//===----------------------------------------------------------------------===// 904dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant 1004dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant// <unordered_set> 1104dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant 1204dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant// void swap(unordered_set& c) 1304dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant// noexcept(!allocator_type::propagate_on_container_swap::value || 1404dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant// __is_nothrow_swappable<allocator_type>::value); 1504dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant 1604dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant// This tests a conforming extension 1704dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant 1804dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant#include <unordered_set> 1904dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant#include <cassert> 2004dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant 215cb52824fc2a0caf233311e91d9a2a53368f04adDan Albert#include "MoveOnly.h" 221b92188a82b01e76ac6e8ad5f997293c2a078adcMarshall Clow#include "test_allocator.h" 2304dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant 2404dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnanttemplate <class T> 2504dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnantstruct some_comp 2604dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant{ 2704dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant typedef T value_type; 2804dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant 2904dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant some_comp() {} 3004dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant some_comp(const some_comp&) {} 3104dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant}; 3204dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant 3304dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnanttemplate <class T> 3404dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnantstruct some_hash 3504dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant{ 3604dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant typedef T value_type; 3704dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant some_hash() {} 3804dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant some_hash(const some_hash&); 3904dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant}; 4004dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant 4104dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnantint main() 4204dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant{ 4304dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant#if __has_feature(cxx_noexcept) 4404dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant { 4504dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant typedef std::unordered_set<MoveOnly> C; 4604dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant C c1, c2; 4704dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant static_assert(noexcept(swap(c1, c2)), ""); 4804dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant } 4904dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant { 5004dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant typedef std::unordered_set<MoveOnly, std::hash<MoveOnly>, 5104dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant std::equal_to<MoveOnly>, test_allocator<MoveOnly>> C; 5204dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant C c1, c2; 5304dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant static_assert(noexcept(swap(c1, c2)), ""); 5404dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant } 5504dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant { 5604dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant typedef std::unordered_set<MoveOnly, std::hash<MoveOnly>, 5704dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant std::equal_to<MoveOnly>, other_allocator<MoveOnly>> C; 5804dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant C c1, c2; 5904dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant static_assert(noexcept(swap(c1, c2)), ""); 6004dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant } 6104dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant { 6204dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant typedef std::unordered_set<MoveOnly, some_hash<MoveOnly>> C; 6304dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant C c1, c2; 6404dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant static_assert(!noexcept(swap(c1, c2)), ""); 6504dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant } 6604dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant { 6704dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant typedef std::unordered_set<MoveOnly, std::hash<MoveOnly>, 6804dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant some_comp<MoveOnly>> C; 6904dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant C c1, c2; 7004dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant static_assert(!noexcept(swap(c1, c2)), ""); 7104dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant } 7204dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant#endif 7304dae1df2232276c6497dcaefec9f9d9d7d74890Howard Hinnant} 74