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