1// List iterator invalidation tests 2 3// Copyright (C) 2003-2015 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// Erase 25void test03() 26{ 27 using std::advance; 28 29 bool test __attribute__((unused)) = true; 30 typedef __gnu_debug::list<int> list_type; 31 32 list_type v(20, 42); 33 34 // Single element erase (middle) 35 list_type::iterator before = v.begin(); 36 list_type::iterator at = before; 37 advance(at, 3); 38 list_type::iterator after = at; 39 at = v.erase(at); 40 VERIFY(before._M_dereferenceable()); 41 VERIFY(at._M_dereferenceable()); 42 VERIFY(after._M_singular()); 43 44 // Single element erase (end) 45 before = v.begin(); 46 at = before; 47 after = at; 48 ++after; 49 at = v.erase(at); 50 VERIFY(before._M_singular()); 51 VERIFY(at._M_dereferenceable()); 52 VERIFY(after._M_dereferenceable()); 53 54 // Multiple element erase 55 before = v.begin(); 56 at = before; 57 advance(at, 3); 58 after = at; 59 advance(after, 3); 60 v.erase(at, after); 61 VERIFY(before._M_dereferenceable()); 62 VERIFY(at._M_singular()); 63 64 // clear() 65 before = v.begin(); 66 list_type::iterator finish = v.end(); 67 VERIFY(before._M_dereferenceable()); 68 v.clear(); 69 VERIFY(before._M_singular()); 70 VERIFY(!finish._M_singular() && !finish._M_dereferenceable()); 71} 72 73int main() 74{ 75 test03(); 76 return 0; 77} 78