1// Copyright (C) 2013-2015 Free Software Foundation, Inc. 2// 3// This file is part of the GNU ISO C++ Library. This library is free 4// software; you can redistribute it and/or modify it under the 5// terms of the GNU General Public License as published by the 6// Free Software Foundation; either version 3, or (at your option) 7// any later version. 8 9// This library is distributed in the hope that it will be useful, 10// but WITHOUT ANY WARRANTY; without even the implied warranty of 11// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12// GNU General Public License for more details. 13 14// You should have received a copy of the GNU General Public License along 15// with this library; see the file COPYING3. If not see 16// <http://www.gnu.org/licenses/>. 17 18// { dg-options "-std=gnu++11" } 19 20#include <deque> 21#include <testsuite_hooks.h> 22#include <testsuite_allocator.h> 23 24struct T { int i; }; 25 26using __gnu_test::propagating_allocator; 27 28// It is undefined behaviour to swap() containers wth unequal allocators 29// if the allocator doesn't propagate, so ensure the allocators compare 30// equal, while still being able to test propagation via get_personality(). 31bool 32operator==(const propagating_allocator<T, false>&, 33 const propagating_allocator<T, false>&) 34{ 35 return true; 36} 37 38bool 39operator!=(const propagating_allocator<T, false>&, 40 const propagating_allocator<T, false>&) 41{ 42 return false; 43} 44 45 46void test01() 47{ 48 bool test __attribute__((unused)) = true; 49 typedef propagating_allocator<T, false> alloc_type; 50 typedef std::deque<T, alloc_type> test_type; 51 test_type v1(1, alloc_type(1)); 52 test_type v2(1, alloc_type(2)); 53 std::swap(v1, v2); 54 VERIFY(1 == v1.get_allocator().get_personality()); 55 VERIFY(2 == v2.get_allocator().get_personality()); 56 // swap back so assertions in uneq_allocator::deallocate don't fail 57 std::swap(v1, v2); 58} 59 60void test02() 61{ 62 bool test __attribute__((unused)) = true; 63 typedef propagating_allocator<T, true> alloc_type; 64 typedef std::deque<T, alloc_type> test_type; 65 test_type v1(1, alloc_type(1)); 66 test_type v2(1, alloc_type(2)); 67 std::swap(v1, v2); 68 VERIFY(2 == v1.get_allocator().get_personality()); 69 VERIFY(1 == v2.get_allocator().get_personality()); 70} 71 72int main() 73{ 74 test01(); 75 test02(); 76 return 0; 77} 78