]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/testsuite/23_containers/list/debug/invalidation/2.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 23_containers / list / debug / invalidation / 2.cc
CommitLineData
285b36d6
BK
1// List iterator invalidation tests
2
a945c346 3// Copyright (C) 2003-2024 Free Software Foundation, Inc.
285b36d6
BK
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
748086b7 8// Free Software Foundation; either version 3, or (at your option)
285b36d6
BK
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
748086b7
JJ
17// with this library; see the file COPYING3. If not see
18// <http://www.gnu.org/licenses/>.
285b36d6
BK
19
20#include <debug/list>
21#include <iterator>
22#include <testsuite_hooks.h>
23
285b36d6
BK
24// Resize
25void test02()
26{
875d0f10 27 using std::advance;
a9260b7e 28
875d0f10
BK
29 typedef __gnu_debug::list<int> list_type;
30
31 list_type v(10, 17);
285b36d6 32
875d0f10 33 list_type::iterator before = v.begin();
285b36d6 34 advance(before, 6);
875d0f10 35 list_type::iterator at = before;
285b36d6 36 advance(at, 1);
875d0f10 37 list_type::iterator after = at;
285b36d6 38 advance(after, 1);
875d0f10 39 list_type::iterator finish = v.end();
285b36d6
BK
40
41 // Shrink
42 v.resize(7);
43 VERIFY(before._M_dereferenceable());
44 VERIFY(at._M_singular());
45 VERIFY(after._M_singular());
46 VERIFY(!finish._M_singular() && !finish._M_dereferenceable());
47}
48
49int main()
50{
51 test02();
80e39f4a 52 return 0;
285b36d6 53}