1 // Copyright (C) 2010 Free Software Foundation, Inc.
3 // This file is part of the GNU ISO C++ Library. This library is free
4 // software; you can redistribute it and/or modify it under the
5 // terms of the GNU General Public License as published by the
6 // Free Software Foundation; either version 3, or (at your option)
9 // This library is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
14 // You should have received a copy of the GNU General Public License along
15 // with this library; see the file COPYING3. If not see
16 // <http://www.gnu.org/licenses/>.
22 #ifndef _GLIBCXX_DEBUG
23 # include <debug/vector>
24 # include <debug/deque>
25 # include <debug/list>
27 #include <testsuite_hooks.h>
31 template<typename _Tp
>
32 struct CopyableValueType
34 typedef _Tp value_type
;
37 template<typename _Tp1
, typename _Tp2
>
38 struct CopyableValueType
<std::pair
<const _Tp1
, _Tp2
> >
40 typedef std::pair
<_Tp1
, _Tp2
> value_type
;
43 template<typename _Tp
>
44 struct generate_unique
46 typedef _Tp value_type
;
50 static value_type _S_
;
56 template<typename _Tp1
, typename _Tp2
>
57 struct generate_unique
<std::pair
<_Tp1
, _Tp2
> >
59 typedef _Tp1 first_type
;
60 typedef _Tp2 second_type
;
61 typedef std::pair
<_Tp1
, _Tp2
> pair_type
;
65 static first_type _S_1
;
66 static second_type _S_2
;
69 return pair_type(_S_1
, _S_2
);
73 // Check that invalid range of pointers is detected
74 template<typename _Tp
>
78 bool test
__attribute__((unused
)) = true;
80 typedef _Tp cont_type
;
81 typedef typename
cont_type::value_type cont_val_type
;
82 typedef typename CopyableValueType
<cont_val_type
>::value_type val_type
;
83 typedef std::vector
<val_type
> vector_type
;
85 generate_unique
<val_type
> gu
;
88 for (int i
= 0; i
!= 5; ++i
)
90 VERIFY(v
.size() == 5);
92 const val_type
* first
= &v
.front() + 1;
93 const val_type
* last
= first
+ 2;
96 c1
.assign(first
, last
);
97 VERIFY(c1
.size() == 2);
100 c2
.assign(last
, first
); // Expected failure
103 // Check that invalid range of debug random iterators is detected
104 template<typename _Tp
>
108 bool test
__attribute__((unused
)) = true;
110 typedef _Tp cont_type
;
111 typedef typename
cont_type::value_type cont_val_type
;
112 typedef typename CopyableValueType
<cont_val_type
>::value_type val_type
;
113 typedef std::vector
<val_type
> vector_type
;
115 generate_unique
<val_type
> gu
;
118 for (int i
= 0; i
!= 5; ++i
)
120 VERIFY(v
.size() == 5);
122 typename
vector_type::iterator first
= v
.begin() + 1;
123 typename
vector_type::iterator last
= first
+ 2;
125 c1
.assign(first
, last
);
126 VERIFY(c1
.size() == 2);
129 c2
.assign(last
, first
); // Expected failure
132 // Check that invalid range of debug !random debug iterators is detected
133 template<typename _Tp
>
137 bool test
__attribute__((unused
)) = true;
139 typedef _Tp cont_type
;
140 typedef typename
cont_type::value_type cont_val_type
;
141 typedef typename CopyableValueType
<cont_val_type
>::value_type val_type
;
142 typedef std::list
<val_type
> list_type
;
144 generate_unique
<val_type
> gu
;
147 for (int i
= 0; i
!= 5; ++i
)
149 VERIFY(l
.size() == 5);
151 typename
list_type::iterator first
= l
.begin(); ++first
;
152 typename
list_type::iterator last
= first
; ++last
; ++last
;
154 c1
.assign(first
, last
);
155 VERIFY(c1
.size() == 2);
158 c2
.assign(last
, first
); // Expected failure
161 // Check that invalid range of pointers is detected
162 template<typename _Tp
>
166 bool test
__attribute__((unused
)) = true;
168 typedef _Tp cont_type
;
169 typedef typename
cont_type::value_type cont_val_type
;
170 typedef typename CopyableValueType
<cont_val_type
>::value_type val_type
;
171 typedef std::vector
<val_type
> vector_type
;
173 generate_unique
<val_type
> gu
;
176 for (int i
= 0; i
!= 5; ++i
)
178 VERIFY(v
.size() == 5);
180 val_type
*first
= &v
.front() + 1;
181 val_type
*last
= first
+ 2;
182 cont_type
c1(first
, last
);
183 VERIFY(c1
.size() == 2);
185 cont_type
c2(last
, first
); // Expected failure
188 // Check that invalid range of debug random iterators is detected
189 template<typename _Tp
>
193 bool test
__attribute__((unused
)) = true;
195 typedef _Tp cont_type
;
196 typedef typename
cont_type::value_type cont_val_type
;
197 typedef typename CopyableValueType
<cont_val_type
>::value_type val_type
;
198 typedef std::vector
<val_type
> vector_type
;
200 generate_unique
<val_type
> gu
;
203 for (int i
= 0; i
!= 5; ++i
)
205 VERIFY(v
.size() == 5);
207 typename
vector_type::iterator first
= v
.begin() + 1;
208 typename
vector_type::iterator last
= first
+ 2;
209 cont_type
c1(first
, last
);
210 VERIFY(c1
.size() == 2);
212 cont_type
c2(last
, first
); // Expected failure
215 // Check that invalid range of debug not random iterators is detected
216 template<typename _Tp
>
220 bool test
__attribute__((unused
)) = true;
222 typedef _Tp cont_type
;
223 typedef typename
cont_type::value_type cont_val_type
;
224 typedef typename CopyableValueType
<cont_val_type
>::value_type val_type
;
225 typedef std::list
<val_type
> list_type
;
227 generate_unique
<val_type
> gu
;
230 for (int i
= 0; i
!= 5; ++i
)
232 VERIFY(l
.size() == 5);
234 typename
list_type::iterator first
= l
.begin(); ++first
;
235 typename
list_type::iterator last
= first
; ++last
; ++last
;
236 cont_type
c1(first
, last
);
237 VERIFY(c1
.size() == 2);
239 cont_type
c2(last
, first
); // Expected failure
242 template <typename _Cont
>
243 struct InsertRangeHelper
245 template <typename _It
>
247 Insert(_Cont
& cont
, _It first
, _It last
)
248 { cont
.insert(first
, last
); }
251 template <typename _Cont
>
252 struct InsertRangeHelperAux
254 template <typename _It
>
256 Insert(_Cont
& cont
, _It first
, _It last
)
257 { cont
.insert(cont
.begin(), first
, last
); }
260 template <typename _Tp1
, typename _Tp2
>
261 struct InsertRangeHelper
<std::vector
<_Tp1
, _Tp2
> >
262 : InsertRangeHelperAux
<std::vector
<_Tp1
, _Tp2
> >
265 template <typename _Tp1
, typename _Tp2
>
266 struct InsertRangeHelper
<std::deque
<_Tp1
, _Tp2
> >
267 : InsertRangeHelperAux
<std::deque
<_Tp1
, _Tp2
> >
270 template <typename _Tp1
, typename _Tp2
>
271 struct InsertRangeHelper
<std::list
<_Tp1
, _Tp2
> >
272 : InsertRangeHelperAux
<std::list
<_Tp1
, _Tp2
> >
275 #ifndef _GLIBCXX_DEBUG
276 template <typename _Tp1
, typename _Tp2
>
277 struct InsertRangeHelper
<__gnu_debug::vector
<_Tp1
, _Tp2
> >
278 : InsertRangeHelperAux
<__gnu_debug::vector
<_Tp1
, _Tp2
> >
281 template <typename _Tp1
, typename _Tp2
>
282 struct InsertRangeHelper
<__gnu_debug::deque
<_Tp1
, _Tp2
> >
283 : InsertRangeHelperAux
<__gnu_debug::deque
<_Tp1
, _Tp2
> >
286 template <typename _Tp1
, typename _Tp2
>
287 struct InsertRangeHelper
<__gnu_debug::list
<_Tp1
, _Tp2
> >
288 : InsertRangeHelperAux
<__gnu_debug::list
<_Tp1
, _Tp2
> >
292 template<typename _Tp
>
296 bool test
__attribute__((unused
)) = true;
298 typedef _Tp cont_type
;
299 typedef typename
cont_type::value_type cont_val_type
;
300 typedef typename CopyableValueType
<cont_val_type
>::value_type val_type
;
301 typedef std::vector
<val_type
> vector_type
;
303 generate_unique
<val_type
> gu
;
306 for (int i
= 0; i
!= 5; ++i
)
308 VERIFY(v
.size() == 5);
310 const val_type
* first
= &v
.front() + 1;
311 const val_type
* last
= first
+ 2;
314 InsertRangeHelper
<cont_type
>::Insert(c1
, first
, last
);
315 VERIFY(c1
.size() == 2);
318 InsertRangeHelper
<cont_type
>::Insert(c2
, last
, first
); // Expected failure
321 template<typename _Tp
>
325 bool test
__attribute__((unused
)) = true;
327 typedef _Tp cont_type
;
328 typedef typename
cont_type::value_type cont_val_type
;
329 typedef typename CopyableValueType
<cont_val_type
>::value_type val_type
;
330 typedef std::vector
<val_type
> vector_type
;
332 generate_unique
<val_type
> gu
;
335 for (int i
= 0; i
!= 5; ++i
)
337 VERIFY(v
.size() == 5);
339 typename
vector_type::iterator first
= v
.begin() + 1;
340 typename
vector_type::iterator last
= first
+ 2;
343 InsertRangeHelper
<cont_type
>::Insert(c1
, first
, last
);
344 VERIFY(c1
.size() == 2);
347 InsertRangeHelper
<cont_type
>::Insert(c2
, last
, first
); // Expected failure
350 template<typename _Tp
>
354 bool test
__attribute__((unused
)) = true;
356 typedef _Tp cont_type
;
357 typedef typename
cont_type::value_type cont_val_type
;
358 typedef typename CopyableValueType
<cont_val_type
>::value_type val_type
;
359 typedef std::list
<val_type
> list_type
;
361 generate_unique
<val_type
> gu
;
364 for (int i
= 0; i
!= 5; ++i
)
366 VERIFY(l
.size() == 5);
368 typename
list_type::iterator first
= l
.begin(); ++first
;
369 typename
list_type::iterator last
= first
; ++last
; ++last
;
372 InsertRangeHelper
<cont_type
>::Insert(c1
, first
, last
);
373 VERIFY(c1
.size() == 2);
376 InsertRangeHelper
<cont_type
>::Insert(c2
, last
, first
); // Expected failure