1 // { dg-options "-std=gnu++0x" }
3 // Copyright (C) 2009-2013 Free Software Foundation, Inc.
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)
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.
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/>.
21 // NOTE: This makes use of the fact that we know how moveable
22 // is implemented on multiset (via swap). If the implementation changed
23 // this test may begin to fail.
27 #include <testsuite_hooks.h>
34 bool test
__attribute__((unused
)) = true;
38 typedef multiset
<int>::iterator iterator
;
39 typedef multiset
<int>::const_iterator const_iterator
;
40 typedef iterator insert_return_type
;
42 vector
<insert_return_type
> irt
;
43 for ( int i
= 1; i
<= 4; ++i
)
44 for (int j
= 1; j
<= i
; ++j
)
45 irt
.push_back( ms0
.insert( i
) );
47 iterator pos1
= ms0
.erase(irt
[1]);
48 VERIFY( pos1
== irt
[2] );
50 iterator pos2
= ms0
.erase(irt
[2]);
51 VERIFY( pos2
== irt
[3] );
53 iterator pos3
= ms0
.erase(irt
[9]);
54 VERIFY( pos3
== ms0
.end() );
60 bool test
__attribute__((unused
)) = true;
64 typedef multiset
<int>::iterator iterator
;
65 typedef multiset
<int>::const_iterator const_iterator
;
66 typedef iterator insert_return_type
;
68 vector
<insert_return_type
> irt
;
69 for ( int i
= 1; i
<= 4; ++i
)
70 for (int j
= 1; j
<= i
; ++j
)
71 irt
.push_back( ms0
.insert( i
) );
73 iterator pos1
= ms0
.erase(irt
[3], irt
[6]);
74 VERIFY( pos1
== irt
[6] );
76 iterator pos2
= ms0
.erase(irt
[6], ++irt
[9]);
77 VERIFY( pos2
== ms0
.end() );