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