1// Set 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/set> 21#include <iterator> 22#include <testsuite_hooks.h> 23 24using __gnu_debug::set; 25using std::advance; 26 27// Erase 28void test02() 29{ 30 bool test __attribute__((unused)) = true; 31 32 set<int> v; 33 for (int i = 0; i < 20; ++i) 34 v.insert(i); 35 36 // Single element erase (middle) 37 set<int>::iterator before = v.begin(); 38 set<int>::iterator at = before; 39 advance(at, 3); 40 set<int>::iterator after = at; 41 ++after; 42 v.erase(at); 43 VERIFY(before._M_dereferenceable()); 44 VERIFY(at._M_singular()); 45 VERIFY(after._M_dereferenceable()); 46 47 // Multiple element erase 48 before = v.begin(); 49 at = before; 50 advance(at, 3); 51 after = at; 52 advance(after, 4); 53 v.erase(at, after); 54 VERIFY(before._M_dereferenceable()); 55 VERIFY(at._M_singular()); 56 57 // clear() 58 before = v.begin(); 59 set<int>::iterator finish = v.end(); 60 VERIFY(before._M_dereferenceable()); 61 v.clear(); 62 VERIFY(before._M_singular()); 63 VERIFY(!finish._M_singular() && !finish._M_dereferenceable()); 64} 65 66int main() 67{ 68 test02(); 69 return 0; 70} 71