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// multimap() 137686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// noexcept( 147686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// is_nothrow_default_constructible<allocator_type>::value && 157686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// is_nothrow_default_constructible<key_compare>::value && 167686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// is_nothrow_copy_constructible<key_compare>::value); 177686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant 187686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant// This tests a conforming extension 197686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant 207686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant#include <map> 217686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant#include <cassert> 227686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant 237686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant#include "../../../MoveOnly.h" 241b92188a82b01e76ac6e8ad5f997293c2a078adcMarshall Clow#include "test_allocator.h" 257686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant 267686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnanttemplate <class T> 277686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnantstruct some_comp 287686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant{ 297686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant typedef T value_type; 307686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant some_comp(); 317686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant}; 327686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant 337686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnantint main() 347686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant{ 357686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant#if __has_feature(cxx_noexcept) 367686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant { 377686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant typedef std::multimap<MoveOnly, MoveOnly> C; 387686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant static_assert(std::is_nothrow_default_constructible<C>::value, ""); 397686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant } 407686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant { 417686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant typedef std::multimap<MoveOnly, MoveOnly, std::less<MoveOnly>, test_allocator<MoveOnly>> C; 427686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant static_assert(std::is_nothrow_default_constructible<C>::value, ""); 437686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant } 447686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant { 45b2e2a8f6f3a1c47ea942bac99dd75c53be967954Howard Hinnant typedef std::multimap<MoveOnly, MoveOnly, std::less<MoveOnly>, other_allocator<MoveOnly>> C; 467686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant static_assert(!std::is_nothrow_default_constructible<C>::value, ""); 477686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant } 487686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant { 497686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant typedef std::multimap<MoveOnly, MoveOnly, some_comp<MoveOnly>> C; 507686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant static_assert(!std::is_nothrow_default_constructible<C>::value, ""); 517686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant } 527686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant#endif 537686add61e0a6c8e5abe28fb943cf2d698cd1266Howard Hinnant} 54