1// List iterator invalidation tests 2 3// Copyright (C) 2003, 2004, 2005, 2006, 2009 Free Software Foundation, Inc. 4// 5// This file is part of the GNU ISO C++ Library. This library is free 6// software; you can redistribute it and/or modify it under the 7// terms of the GNU General Public License as published by the 8// Free Software Foundation; either version 3, or (at your option) 9// any later version. 10 11// This library is distributed in the hope that it will be useful, 12// but WITHOUT ANY WARRANTY; without even the implied warranty of 13// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14// GNU General Public License for more details. 15 16// You should have received a copy of the GNU General Public License along 17// with this library; see the file COPYING3. If not see 18// <http://www.gnu.org/licenses/>. 19 20#include <debug/list> 21#include <iterator> 22#include <testsuite_hooks.h> 23 24// Splice 25void test04() 26{ 27 using std::advance; 28 29 bool test __attribute__((unused)) = true; 30 31 typedef __gnu_debug::list<int> list_type; 32 33 list_type l1(10, 17); 34 list_type l2(10, 42); 35 36 list_type::iterator start2 = l2.begin(); 37 list_type::iterator end2 = start2; 38 advance(end2, 5); 39 list_type::iterator after2 = end2; 40 advance(after2, 2); 41 42 l1.splice(l1.begin(), l2, start2, end2); 43 VERIFY(start2._M_dereferenceable()); 44 VERIFY(end2._M_dereferenceable()); 45 VERIFY(after2._M_dereferenceable()); 46 VERIFY(start2._M_attached_to(&l1)); 47 VERIFY(end2._M_attached_to(&l2)); 48 VERIFY(after2._M_attached_to(&l2)); 49} 50 51int main() 52{ 53 test04(); 54 return 0; 55} 56