]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/testsuite/23_containers/list/debug/invalidation/4.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 23_containers / list / debug / invalidation / 4.cc
CommitLineData
d570f2e9 1// List iterator invalidation tests
2
f1717362 3// Copyright (C) 2003-2016 Free Software Foundation, Inc.
d570f2e9 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
6bc9506f 8// Free Software Foundation; either version 3, or (at your option)
d570f2e9 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
6bc9506f 17// with this library; see the file COPYING3. If not see
18// <http://www.gnu.org/licenses/>.
d570f2e9 19
20#include <debug/list>
21#include <iterator>
22#include <testsuite_hooks.h>
23
d570f2e9 24// Splice
25void test04()
26{
2b48700a 27 using std::advance;
28
1e0b9bbb 29 bool test __attribute__((unused)) = true;
2b48700a 30
31 typedef __gnu_debug::list<int> list_type;
32
33 list_type l1(10, 17);
34 list_type l2(10, 42);
d570f2e9 35
2b48700a 36 list_type::iterator start2 = l2.begin();
37 list_type::iterator end2 = start2;
d570f2e9 38 advance(end2, 5);
2b48700a 39 list_type::iterator after2 = end2;
d570f2e9 40 advance(after2, 2);
41
42 l1.splice(l1.begin(), l2, start2, end2);
43 VERIFY(start2._M_dereferenceable());
44 VERIFY(end2._M_dereferenceable());
45 VERIFY(after2._M_dereferenceable());
46 VERIFY(start2._M_attached_to(&l1));
47 VERIFY(end2._M_attached_to(&l2));
48 VERIFY(after2._M_attached_to(&l2));
49}
50
51int main()
52{
53 test04();
25be47cd 54 return 0;
d570f2e9 55}