]>
Commit | Line | Data |
---|---|---|
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 |
25 | void 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 | ||
51 | int main() | |
52 | { | |
53 | test04(); | |
25be47cd | 54 | return 0; |
d570f2e9 | 55 | } |