1b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===// 2b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 3b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// The LLVM Compiler Infrastructure 4b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 5b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// This file is dual licensed under the MIT and the University of Illinois Open 6b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// Source Licenses. See LICENSE.TXT for details. 7b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 8b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===// 9b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 10b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// <deque> 11b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 12b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// void swap(deque& c) 13b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// noexcept(!allocator_type::propagate_on_container_swap::value || 14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// __is_nothrow_swappable<allocator_type>::value); 15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 16b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// This tests a conforming extension 17b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 18b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <deque> 19b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <cassert> 20b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 21b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include "../../../MoveOnly.h" 22b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include "../../../test_allocator.h" 23b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 24b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertemplate <class T> 25b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct some_alloc 26b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 27b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner typedef T value_type; 28b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 29b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner some_alloc() {} 30b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner some_alloc(const some_alloc&); 31b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner void deallocate(void*, unsigned) {} 32b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 33b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner typedef std::true_type propagate_on_container_swap; 34b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 35b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 36b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main() 37b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 38b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#if __has_feature(cxx_noexcept) 39b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner { 40b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner typedef std::deque<MoveOnly> C; 41b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner C c1, c2; 42b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert(noexcept(swap(c1, c2)), ""); 43b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner } 44b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner { 45b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner typedef std::deque<MoveOnly, test_allocator<MoveOnly>> C; 46b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner C c1, c2; 47b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert(noexcept(swap(c1, c2)), ""); 48b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner } 49b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner { 50b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner typedef std::deque<MoveOnly, other_allocator<MoveOnly>> C; 51b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner C c1, c2; 52b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert(noexcept(swap(c1, c2)), ""); 53b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner } 54b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner { 55b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner typedef std::deque<MoveOnly, some_alloc<MoveOnly>> C; 56b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner C c1, c2; 57b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner static_assert(!noexcept(swap(c1, c2)), ""); 58b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner } 59b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#endif 60b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 61