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