1// Vector iterator invalidation tests 2 3// Copyright (C) 2003, 2004, 2005 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 2, 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 COPYING. If not, write to the Free 18// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, 19// USA. 20 21// We need to be pedantic about reallocations for this testcase to be correct. 22// { dg-options "-D_GLIBCXX_DEBUG_PEDANTIC" } 23 24#ifndef _GLIBCXX_DEBUG_PEDANTIC 25# define _GLIBCXX_DEBUG_PEDANTIC 1 26#endif 27 28#include <debug/vector> 29#include <testsuite_hooks.h> 30 31using __gnu_debug::vector; 32 33bool test = true; 34 35// Erase 36void test04() 37{ 38 vector<int> v(20, 42); 39 40 // Single element erase 41 vector<int>::iterator before = v.begin(); 42 vector<int>::iterator at = before + 3; 43 vector<int>::iterator after = at; 44 at = v.erase(at); 45 VERIFY(before._M_dereferenceable()); 46 VERIFY(at._M_dereferenceable()); 47 VERIFY(after._M_singular()); 48 49 // Multiple element erase 50 before = v.begin(); 51 at = before + 3; 52 v.erase(at, at + 3); 53 VERIFY(before._M_dereferenceable()); 54 VERIFY(at._M_singular()); 55 56 // clear() 57 before = v.begin(); 58 VERIFY(before._M_dereferenceable()); 59 v.clear(); 60 VERIFY(before._M_singular()); 61} 62 63int main() 64{ 65 test04(); 66 return 0; 67} 68