annotate gcc/testsuite/g++.dg/opt/pr47615.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // { dg-do compile }
kono
parents:
diff changeset
2 // { dg-options "-O -fstrict-aliasing -ftree-pre -fno-tree-fre -fno-tree-sra" }
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
3 // { dg-additional-options "-Wno-return-type" }
111
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 typedef __SIZE_TYPE__ size_t;
kono
parents:
diff changeset
6 namespace std
kono
parents:
diff changeset
7 {
kono
parents:
diff changeset
8 template < class _T1, class > struct pair
kono
parents:
diff changeset
9 {
kono
parents:
diff changeset
10 _T1 first;
kono
parents:
diff changeset
11 };
kono
parents:
diff changeset
12 }
kono
parents:
diff changeset
13 namespace __gnu_cxx
kono
parents:
diff changeset
14 {
kono
parents:
diff changeset
15 template < typename _Tp > class new_allocator
kono
parents:
diff changeset
16 {
kono
parents:
diff changeset
17 public:
kono
parents:
diff changeset
18 typedef size_t size_type;
kono
parents:
diff changeset
19 typedef _Tp * pointer;
kono
parents:
diff changeset
20 typedef _Tp const_pointer;
kono
parents:
diff changeset
21 typedef _Tp & reference;
kono
parents:
diff changeset
22 typedef const _Tp & const_reference;
kono
parents:
diff changeset
23 template < typename _Tp1 > struct rebind
kono
parents:
diff changeset
24 {
kono
parents:
diff changeset
25 typedef new_allocator < _Tp1 > other;
kono
parents:
diff changeset
26 };
kono
parents:
diff changeset
27 };
kono
parents:
diff changeset
28 }
kono
parents:
diff changeset
29 namespace std
kono
parents:
diff changeset
30 {
kono
parents:
diff changeset
31 template < typename _Tp > class allocator:
kono
parents:
diff changeset
32 public __gnu_cxx::new_allocator < _Tp >
kono
parents:
diff changeset
33 {};
kono
parents:
diff changeset
34 template < typename, typename, typename > struct binary_function;
kono
parents:
diff changeset
35 template < typename _Tp > struct less:binary_function < _Tp, _Tp, bool >
kono
parents:
diff changeset
36 {};
kono
parents:
diff changeset
37 }
kono
parents:
diff changeset
38 namespace __gnu_cxx
kono
parents:
diff changeset
39 {
kono
parents:
diff changeset
40 namespace typelist
kono
parents:
diff changeset
41 {
kono
parents:
diff changeset
42 struct null_type;
kono
parents:
diff changeset
43 template < typename Root > struct node
kono
parents:
diff changeset
44 {
kono
parents:
diff changeset
45 typedef Root root;
kono
parents:
diff changeset
46 };
kono
parents:
diff changeset
47 template < typename, typename > struct chain;
kono
parents:
diff changeset
48 namespace detail
kono
parents:
diff changeset
49 {
kono
parents:
diff changeset
50 template < typename, int >struct chain_at_index_;
kono
parents:
diff changeset
51 template
kono
parents:
diff changeset
52 <
kono
parents:
diff changeset
53 typename
kono
parents:
diff changeset
54 Hd, typename Tl > struct chain_at_index_ <chain < Hd, Tl >, 0 >
kono
parents:
diff changeset
55 {
kono
parents:
diff changeset
56 typedef Hd type;
kono
parents:
diff changeset
57 };
kono
parents:
diff changeset
58 template
kono
parents:
diff changeset
59 <
kono
parents:
diff changeset
60 typename
kono
parents:
diff changeset
61 Hd, typename Tl, int i > struct chain_at_index_ <chain < Hd, Tl >, i >
kono
parents:
diff changeset
62 {
kono
parents:
diff changeset
63 typedef typename chain_at_index_ < Tl, i - 1 >::type type;
kono
parents:
diff changeset
64 };
kono
parents:
diff changeset
65 }
kono
parents:
diff changeset
66 template < typename Typelist, int i > struct at_index
kono
parents:
diff changeset
67 {
kono
parents:
diff changeset
68 typedef typename Typelist::root root_type;
kono
parents:
diff changeset
69 typedef detail::chain_at_index_ < root_type, i > index_type;
kono
parents:
diff changeset
70 typedef typename index_type::type type;
kono
parents:
diff changeset
71 };
kono
parents:
diff changeset
72 template < typename T1, typename T2 > struct create2
kono
parents:
diff changeset
73 {
kono
parents:
diff changeset
74 typedef node < chain < T1, chain < T2, null_type > > >type;
kono
parents:
diff changeset
75 };
kono
parents:
diff changeset
76 }
kono
parents:
diff changeset
77 }
kono
parents:
diff changeset
78 namespace std
kono
parents:
diff changeset
79 {
kono
parents:
diff changeset
80 namespace tr1
kono
parents:
diff changeset
81 {
kono
parents:
diff changeset
82 template < typename _Tp, _Tp __v > struct integral_constant
kono
parents:
diff changeset
83 {
kono
parents:
diff changeset
84 static const _Tp value = __v;
kono
parents:
diff changeset
85 };
kono
parents:
diff changeset
86 typedef integral_constant < bool, false > false_type;
kono
parents:
diff changeset
87 template < typename, typename > struct is_same:false_type
kono
parents:
diff changeset
88 {};
kono
parents:
diff changeset
89 }
kono
parents:
diff changeset
90 }
kono
parents:
diff changeset
91 using std::tr1::is_same;
kono
parents:
diff changeset
92 namespace __gnu_pbds
kono
parents:
diff changeset
93 {
kono
parents:
diff changeset
94 struct null_mapped_type;
kono
parents:
diff changeset
95 struct rb_tree_tag;
kono
parents:
diff changeset
96 namespace detail
kono
parents:
diff changeset
97 {
kono
parents:
diff changeset
98 template < typename, typename, typename > struct basic_tree_policy_base;
kono
parents:
diff changeset
99 template
kono
parents:
diff changeset
100 <
kono
parents:
diff changeset
101 typename
kono
parents:
diff changeset
102 Const_Node_Iterator,
kono
parents:
diff changeset
103 typename
kono
parents:
diff changeset
104 Allocator
kono
parents:
diff changeset
105 >
kono
parents:
diff changeset
106 struct
kono
parents:
diff changeset
107 basic_tree_policy_base
kono
parents:
diff changeset
108 <Const_Node_Iterator, Const_Node_Iterator, Allocator >
kono
parents:
diff changeset
109 {};
kono
parents:
diff changeset
110 }
kono
parents:
diff changeset
111 template
kono
parents:
diff changeset
112 < typename, typename, typename, typename > struct null_tree_node_update;
kono
parents:
diff changeset
113 template < typename Const_Node_Iterator, typename Node_Iterator, typename, typename Allocator > class tree_order_statistics_node_update:
kono
parents:
diff changeset
114 detail::basic_tree_policy_base
kono
parents:
diff changeset
115 < Const_Node_Iterator, Node_Iterator, Allocator >
kono
parents:
diff changeset
116 {
kono
parents:
diff changeset
117 public:
kono
parents:
diff changeset
118 typedef Allocator allocator_type;
kono
parents:
diff changeset
119 typedef typename allocator_type::size_type size_type;
kono
parents:
diff changeset
120 typedef size_type metadata_type;
kono
parents:
diff changeset
121 typedef Const_Node_Iterator const_node_iterator;
kono
parents:
diff changeset
122 typedef Node_Iterator node_iterator;
kono
parents:
diff changeset
123 typedef
kono
parents:
diff changeset
124 typename
kono
parents:
diff changeset
125 allocator_type::template
kono
parents:
diff changeset
126 rebind < metadata_type >::other::reference metadata_reference;
kono
parents:
diff changeset
127 void operator () (node_iterator, const_node_iterator) const;
kono
parents:
diff changeset
128 };
kono
parents:
diff changeset
129 template
kono
parents:
diff changeset
130 <
kono
parents:
diff changeset
131 typename
kono
parents:
diff changeset
132 Const_Node_Iterator,
kono
parents:
diff changeset
133 class
kono
parents:
diff changeset
134 Node_Iterator,
kono
parents:
diff changeset
135 class
kono
parents:
diff changeset
136 Cmp_Fn,
kono
parents:
diff changeset
137 class
kono
parents:
diff changeset
138 Allocator
kono
parents:
diff changeset
139 >
kono
parents:
diff changeset
140 inline
kono
parents:
diff changeset
141 void
kono
parents:
diff changeset
142 tree_order_statistics_node_update
kono
parents:
diff changeset
143 <
kono
parents:
diff changeset
144 Const_Node_Iterator,
kono
parents:
diff changeset
145 Node_Iterator,
kono
parents:
diff changeset
146 Cmp_Fn,
kono
parents:
diff changeset
147 Allocator
kono
parents:
diff changeset
148 >::operator
kono
parents:
diff changeset
149 () (node_iterator node_it, const_node_iterator end_nd_it) const
kono
parents:
diff changeset
150 {
kono
parents:
diff changeset
151 node_iterator l_child_it;
kono
parents:
diff changeset
152 size_type
kono
parents:
diff changeset
153 l_rank = (l_child_it == end_nd_it) ? : l_child_it.get_metadata ();
kono
parents:
diff changeset
154 node_iterator r_child_it = node_it.get_r_child ();
kono
parents:
diff changeset
155 size_type
kono
parents:
diff changeset
156 r_rank = (r_child_it == end_nd_it) ? : r_child_it.get_metadata ();
kono
parents:
diff changeset
157 const_cast
kono
parents:
diff changeset
158 < metadata_reference > (node_it.get_metadata ()) = l_rank + r_rank;
kono
parents:
diff changeset
159 }
kono
parents:
diff changeset
160 namespace
kono
parents:
diff changeset
161 {
kono
parents:
diff changeset
162 template < typename, typename, typename, bool > struct value_type_base;
kono
parents:
diff changeset
163 template
kono
parents:
diff changeset
164 <
kono
parents:
diff changeset
165 typename
kono
parents:
diff changeset
166 Key,
kono
parents:
diff changeset
167 typename
kono
parents:
diff changeset
168 Allocator
kono
parents:
diff changeset
169 > struct value_type_base <Key, null_mapped_type, Allocator, false >
kono
parents:
diff changeset
170 {
kono
parents:
diff changeset
171 typedef Key value_type;
kono
parents:
diff changeset
172 typedef
kono
parents:
diff changeset
173 typename
kono
parents:
diff changeset
174 Allocator::template rebind < value_type >::other value_type_allocator;
kono
parents:
diff changeset
175 typedef typename value_type_allocator::pointer pointer;
kono
parents:
diff changeset
176 typedef typename value_type_allocator::const_pointer const_pointer;
kono
parents:
diff changeset
177 typedef typename value_type_allocator::reference reference;
kono
parents:
diff changeset
178 typedef typename value_type_allocator::const_reference const_reference;
kono
parents:
diff changeset
179 };
kono
parents:
diff changeset
180 template
kono
parents:
diff changeset
181 <
kono
parents:
diff changeset
182 typename
kono
parents:
diff changeset
183 Key,
kono
parents:
diff changeset
184 typename
kono
parents:
diff changeset
185 Mapped, typename Alloc, bool Store_Extra > struct vt_base_selector
kono
parents:
diff changeset
186 {
kono
parents:
diff changeset
187 typedef value_type_base < Key, Mapped, Alloc, Store_Extra > type;
kono
parents:
diff changeset
188 };
kono
parents:
diff changeset
189 template
kono
parents:
diff changeset
190 <
kono
parents:
diff changeset
191 typename
kono
parents:
diff changeset
192 Key,
kono
parents:
diff changeset
193 typename
kono
parents:
diff changeset
194 Mapped,
kono
parents:
diff changeset
195 typename
kono
parents:
diff changeset
196 Alloc,
kono
parents:
diff changeset
197 bool
kono
parents:
diff changeset
198 Store_Extra
kono
parents:
diff changeset
199 >
kono
parents:
diff changeset
200 struct
kono
parents:
diff changeset
201 types_traits:vt_base_selector < Key, Mapped, Alloc, Store_Extra >::type
kono
parents:
diff changeset
202 {};
kono
parents:
diff changeset
203 template < typename, class, class > struct dumconst_node_iterator;
kono
parents:
diff changeset
204 template
kono
parents:
diff changeset
205 <
kono
parents:
diff changeset
206 typename
kono
parents:
diff changeset
207 Key,
kono
parents:
diff changeset
208 typename
kono
parents:
diff changeset
209 Mapped,
kono
parents:
diff changeset
210 class,
kono
parents:
diff changeset
211 class
kono
parents:
diff changeset
212 Node_And_It_Traits, class Allocator > class bin_search_tree_no_data_
kono
parents:
diff changeset
213 {
kono
parents:
diff changeset
214 protected:
kono
parents:
diff changeset
215 typedef
kono
parents:
diff changeset
216 typename
kono
parents:
diff changeset
217 Allocator::template
kono
parents:
diff changeset
218 rebind
kono
parents:
diff changeset
219 < typename Node_And_It_Traits::node >::other::pointer node_pointer;
kono
parents:
diff changeset
220 typedef
kono
parents:
diff changeset
221 typename
kono
parents:
diff changeset
222 types_traits
kono
parents:
diff changeset
223 < Key, Mapped, Allocator, false >::const_reference const_reference;
kono
parents:
diff changeset
224 typedef typename Node_And_It_Traits::point_iterator point_iterator;
kono
parents:
diff changeset
225 typedef typename Node_And_It_Traits::node_update node_update;
kono
parents:
diff changeset
226 void rotate_right (node_pointer);
kono
parents:
diff changeset
227 template
kono
parents:
diff changeset
228 <
kono
parents:
diff changeset
229 typename
kono
parents:
diff changeset
230 Node_Update_ > void apply_update (node_pointer, Node_Update_ *);
kono
parents:
diff changeset
231 };
kono
parents:
diff changeset
232 template
kono
parents:
diff changeset
233 <
kono
parents:
diff changeset
234 typename
kono
parents:
diff changeset
235 Key,
kono
parents:
diff changeset
236 typename
kono
parents:
diff changeset
237 Mapped,
kono
parents:
diff changeset
238 class
kono
parents:
diff changeset
239 Cmp_Fn,
kono
parents:
diff changeset
240 class
kono
parents:
diff changeset
241 Node_And_It_Traits,
kono
parents:
diff changeset
242 class
kono
parents:
diff changeset
243 Allocator
kono
parents:
diff changeset
244 >
kono
parents:
diff changeset
245 void
kono
parents:
diff changeset
246 bin_search_tree_no_data_
kono
parents:
diff changeset
247 <
kono
parents:
diff changeset
248 Key,
kono
parents:
diff changeset
249 Mapped,
kono
parents:
diff changeset
250 Cmp_Fn, Node_And_It_Traits, Allocator >::rotate_right (node_pointer p_x)
kono
parents:
diff changeset
251 {
kono
parents:
diff changeset
252 node_pointer p_y = p_x->m_p_parent;
kono
parents:
diff changeset
253 p_y->m_p_right = p_x;
kono
parents:
diff changeset
254 apply_update (p_x, this);
kono
parents:
diff changeset
255 apply_update (p_x->m_p_parent, (node_update *) this);
kono
parents:
diff changeset
256 }
kono
parents:
diff changeset
257 template
kono
parents:
diff changeset
258 <
kono
parents:
diff changeset
259 typename
kono
parents:
diff changeset
260 Key,
kono
parents:
diff changeset
261 typename
kono
parents:
diff changeset
262 Mapped,
kono
parents:
diff changeset
263 class
kono
parents:
diff changeset
264 Cmp_Fn,
kono
parents:
diff changeset
265 class
kono
parents:
diff changeset
266 Node_And_It_Traits,
kono
parents:
diff changeset
267 class
kono
parents:
diff changeset
268 Allocator
kono
parents:
diff changeset
269 >
kono
parents:
diff changeset
270 template
kono
parents:
diff changeset
271 <
kono
parents:
diff changeset
272 typename
kono
parents:
diff changeset
273 Node_Update_
kono
parents:
diff changeset
274 >
kono
parents:
diff changeset
275 void
kono
parents:
diff changeset
276 bin_search_tree_no_data_
kono
parents:
diff changeset
277 <
kono
parents:
diff changeset
278 Key,
kono
parents:
diff changeset
279 Mapped,
kono
parents:
diff changeset
280 Cmp_Fn,
kono
parents:
diff changeset
281 Node_And_It_Traits,
kono
parents:
diff changeset
282 Allocator >::apply_update (node_pointer p_nd, Node_Update_ *)
kono
parents:
diff changeset
283 {
kono
parents:
diff changeset
284 node_update ()((p_nd), ((0)));
kono
parents:
diff changeset
285 }
kono
parents:
diff changeset
286 }
kono
parents:
diff changeset
287 namespace detail
kono
parents:
diff changeset
288 {
kono
parents:
diff changeset
289 template < typename Key, typename Mapped, typename Cmp_Fn, typename Node_And_It_Traits, typename Allocator > class rb_tree_no_data_:
kono
parents:
diff changeset
290 bin_search_tree_no_data_
kono
parents:
diff changeset
291 < Key, Mapped, Cmp_Fn, Node_And_It_Traits, Allocator >
kono
parents:
diff changeset
292 {
kono
parents:
diff changeset
293 typedef
kono
parents:
diff changeset
294 bin_search_tree_no_data_
kono
parents:
diff changeset
295 < Key, Mapped, Cmp_Fn, Node_And_It_Traits, Allocator > base_type;
kono
parents:
diff changeset
296 typedef typename base_type::node_pointer node_pointer;
kono
parents:
diff changeset
297 public:
kono
parents:
diff changeset
298 typedef typename base_type::const_reference const_reference;
kono
parents:
diff changeset
299 typedef typename base_type::point_iterator point_iterator;
kono
parents:
diff changeset
300 std::pair < point_iterator, bool > insert (const_reference);
kono
parents:
diff changeset
301 void insert_fixup (node_pointer);
kono
parents:
diff changeset
302 };
kono
parents:
diff changeset
303 template
kono
parents:
diff changeset
304 <
kono
parents:
diff changeset
305 typename
kono
parents:
diff changeset
306 Key,
kono
parents:
diff changeset
307 typename
kono
parents:
diff changeset
308 Mapped,
kono
parents:
diff changeset
309 typename
kono
parents:
diff changeset
310 Cmp_Fn,
kono
parents:
diff changeset
311 typename
kono
parents:
diff changeset
312 Node_And_It_Traits,
kono
parents:
diff changeset
313 typename
kono
parents:
diff changeset
314 Allocator
kono
parents:
diff changeset
315 >
kono
parents:
diff changeset
316 std::pair
kono
parents:
diff changeset
317 <
kono
parents:
diff changeset
318 typename
kono
parents:
diff changeset
319 rb_tree_no_data_
kono
parents:
diff changeset
320 <
kono
parents:
diff changeset
321 Key,
kono
parents:
diff changeset
322 Mapped,
kono
parents:
diff changeset
323 Cmp_Fn,
kono
parents:
diff changeset
324 Node_And_It_Traits,
kono
parents:
diff changeset
325 Allocator
kono
parents:
diff changeset
326 >::point_iterator,
kono
parents:
diff changeset
327 bool
kono
parents:
diff changeset
328 >
kono
parents:
diff changeset
329 rb_tree_no_data_
kono
parents:
diff changeset
330 <
kono
parents:
diff changeset
331 Key,
kono
parents:
diff changeset
332 Mapped,
kono
parents:
diff changeset
333 Cmp_Fn, Node_And_It_Traits, Allocator >::insert (const_reference)
kono
parents:
diff changeset
334 {
kono
parents:
diff changeset
335 std::pair < point_iterator, bool > ins_pair;
kono
parents:
diff changeset
336 {
kono
parents:
diff changeset
337 insert_fixup (ins_pair.first.m_p_nd);
kono
parents:
diff changeset
338 }
kono
parents:
diff changeset
339 }
kono
parents:
diff changeset
340 template
kono
parents:
diff changeset
341 <
kono
parents:
diff changeset
342 typename
kono
parents:
diff changeset
343 Key,
kono
parents:
diff changeset
344 typename
kono
parents:
diff changeset
345 Mapped,
kono
parents:
diff changeset
346 typename
kono
parents:
diff changeset
347 Cmp_Fn,
kono
parents:
diff changeset
348 typename
kono
parents:
diff changeset
349 Node_And_It_Traits,
kono
parents:
diff changeset
350 typename
kono
parents:
diff changeset
351 Allocator
kono
parents:
diff changeset
352 >
kono
parents:
diff changeset
353 void
kono
parents:
diff changeset
354 rb_tree_no_data_
kono
parents:
diff changeset
355 <
kono
parents:
diff changeset
356 Key,
kono
parents:
diff changeset
357 Mapped,
kono
parents:
diff changeset
358 Cmp_Fn,
kono
parents:
diff changeset
359 Node_And_It_Traits, Allocator >::insert_fixup (node_pointer p_nd)
kono
parents:
diff changeset
360 {
kono
parents:
diff changeset
361 {
kono
parents:
diff changeset
362 {
kono
parents:
diff changeset
363 {
kono
parents:
diff changeset
364 this->rotate_right (p_nd);
kono
parents:
diff changeset
365 }
kono
parents:
diff changeset
366 }
kono
parents:
diff changeset
367 }
kono
parents:
diff changeset
368 }
kono
parents:
diff changeset
369 template
kono
parents:
diff changeset
370 <
kono
parents:
diff changeset
371 typename,
kono
parents:
diff changeset
372 typename, typename, typename, typename > struct container_base_dispatch;
kono
parents:
diff changeset
373 template
kono
parents:
diff changeset
374 <
kono
parents:
diff changeset
375 typename
kono
parents:
diff changeset
376 Key,
kono
parents:
diff changeset
377 typename
kono
parents:
diff changeset
378 Policy_Tl,
kono
parents:
diff changeset
379 typename
kono
parents:
diff changeset
380 Alloc
kono
parents:
diff changeset
381 >
kono
parents:
diff changeset
382 struct
kono
parents:
diff changeset
383 container_base_dispatch
kono
parents:
diff changeset
384 <Key, null_mapped_type, rb_tree_tag, Policy_Tl, Alloc >
kono
parents:
diff changeset
385 {
kono
parents:
diff changeset
386 typedef __gnu_cxx::typelist::at_index < Policy_Tl, 0 > at0;
kono
parents:
diff changeset
387 typedef typename at0::type at0t;
kono
parents:
diff changeset
388 typedef __gnu_cxx::typelist::at_index < Policy_Tl, 1 > at1;
kono
parents:
diff changeset
389 typedef typename at1::type at1t;
kono
parents:
diff changeset
390 typedef
kono
parents:
diff changeset
391 rb_tree_no_data_ < Key, null_mapped_type, at0t, at1t, Alloc > type;
kono
parents:
diff changeset
392 };
kono
parents:
diff changeset
393 template
kono
parents:
diff changeset
394 <
kono
parents:
diff changeset
395 typename
kono
parents:
diff changeset
396 Node_Pointer,
kono
parents:
diff changeset
397 typename,
kono
parents:
diff changeset
398 typename,
kono
parents:
diff changeset
399 typename,
kono
parents:
diff changeset
400 typename, typename, bool, class > class bin_search_tree_const_it_
kono
parents:
diff changeset
401 {
kono
parents:
diff changeset
402 public:
kono
parents:
diff changeset
403 Node_Pointer m_p_nd;
kono
parents:
diff changeset
404 };
kono
parents:
diff changeset
405 template
kono
parents:
diff changeset
406 <
kono
parents:
diff changeset
407 typename
kono
parents:
diff changeset
408 Node,
kono
parents:
diff changeset
409 class
kono
parents:
diff changeset
410 Const_Iterator,
kono
parents:
diff changeset
411 class Iterator, class Allocator > class bin_search_tree_const_node_it_
kono
parents:
diff changeset
412 {
kono
parents:
diff changeset
413 typedef
kono
parents:
diff changeset
414 typename
kono
parents:
diff changeset
415 Allocator::template rebind < Node >::other::pointer node_pointer;
kono
parents:
diff changeset
416 public:
kono
parents:
diff changeset
417 typedef typename Node::metadata_type metadata_type;
kono
parents:
diff changeset
418 typedef
kono
parents:
diff changeset
419 typename
kono
parents:
diff changeset
420 Allocator::template
kono
parents:
diff changeset
421 rebind
kono
parents:
diff changeset
422 < metadata_type >::other::const_reference const_metadata_reference;
kono
parents:
diff changeset
423 bin_search_tree_const_node_it_ (node_pointer p_nd):
kono
parents:
diff changeset
424 m_p_nd ((p_nd))
kono
parents:
diff changeset
425 {}
kono
parents:
diff changeset
426 const_metadata_reference get_metadata ()
kono
parents:
diff changeset
427 {
kono
parents:
diff changeset
428 return (m_p_nd->get_metadata ());
kono
parents:
diff changeset
429 }
kono
parents:
diff changeset
430 bin_search_tree_const_node_it_ ()
kono
parents:
diff changeset
431 {}
kono
parents:
diff changeset
432 bin_search_tree_const_node_it_
kono
parents:
diff changeset
433 < Node, Const_Iterator, Iterator, Allocator > get_r_child ()
kono
parents:
diff changeset
434 {
kono
parents:
diff changeset
435 return ((m_p_nd->m_p_right));
kono
parents:
diff changeset
436 }
kono
parents:
diff changeset
437 bool operator == (bin_search_tree_const_node_it_)
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
438 { return true; }
111
kono
parents:
diff changeset
439 node_pointer m_p_nd;
kono
parents:
diff changeset
440 };
kono
parents:
diff changeset
441 template
kono
parents:
diff changeset
442 <
kono
parents:
diff changeset
443 typename,
kono
parents:
diff changeset
444 typename,
kono
parents:
diff changeset
445 class,
kono
parents:
diff changeset
446 template
kono
parents:
diff changeset
447 <
kono
parents:
diff changeset
448 typename,
kono
parents:
diff changeset
449 class,
kono
parents:
diff changeset
450 class, class > class, class, class > struct bin_search_tree_traits;
kono
parents:
diff changeset
451 template
kono
parents:
diff changeset
452 <
kono
parents:
diff changeset
453 typename
kono
parents:
diff changeset
454 Key,
kono
parents:
diff changeset
455 class
kono
parents:
diff changeset
456 Cmp_Fn,
kono
parents:
diff changeset
457 template
kono
parents:
diff changeset
458 <
kono
parents:
diff changeset
459 typename,
kono
parents:
diff changeset
460 class,
kono
parents:
diff changeset
461 class,
kono
parents:
diff changeset
462 class
kono
parents:
diff changeset
463 >
kono
parents:
diff changeset
464 class
kono
parents:
diff changeset
465 Node_Update,
kono
parents:
diff changeset
466 class
kono
parents:
diff changeset
467 Node,
kono
parents:
diff changeset
468 class
kono
parents:
diff changeset
469 Allocator
kono
parents:
diff changeset
470 >
kono
parents:
diff changeset
471 struct
kono
parents:
diff changeset
472 bin_search_tree_traits
kono
parents:
diff changeset
473 <Key, null_mapped_type, Cmp_Fn, Node_Update, Node, Allocator >
kono
parents:
diff changeset
474 {
kono
parents:
diff changeset
475 typedef
kono
parents:
diff changeset
476 types_traits < Key, null_mapped_type, Allocator, false > type_traits;
kono
parents:
diff changeset
477 typedef Node node;
kono
parents:
diff changeset
478 typedef
kono
parents:
diff changeset
479 bin_search_tree_const_it_
kono
parents:
diff changeset
480 <
kono
parents:
diff changeset
481 typename
kono
parents:
diff changeset
482 Allocator::template
kono
parents:
diff changeset
483 rebind
kono
parents:
diff changeset
484 <
kono
parents:
diff changeset
485 node
kono
parents:
diff changeset
486 >::other::pointer,
kono
parents:
diff changeset
487 typename
kono
parents:
diff changeset
488 type_traits::value_type,
kono
parents:
diff changeset
489 typename
kono
parents:
diff changeset
490 type_traits::pointer,
kono
parents:
diff changeset
491 typename
kono
parents:
diff changeset
492 type_traits::const_pointer,
kono
parents:
diff changeset
493 typename
kono
parents:
diff changeset
494 type_traits::reference,
kono
parents:
diff changeset
495 typename
kono
parents:
diff changeset
496 type_traits::const_reference, true, Allocator > const_point_iterator;
kono
parents:
diff changeset
497 typedef const_point_iterator point_iterator;
kono
parents:
diff changeset
498 typedef
kono
parents:
diff changeset
499 bin_search_tree_const_node_it_
kono
parents:
diff changeset
500 <
kono
parents:
diff changeset
501 Node,
kono
parents:
diff changeset
502 const_point_iterator, point_iterator, Allocator > const_node_iterator;
kono
parents:
diff changeset
503 typedef const_node_iterator node_iterator;
kono
parents:
diff changeset
504 typedef
kono
parents:
diff changeset
505 Node_Update
kono
parents:
diff changeset
506 < const_node_iterator, node_iterator, Cmp_Fn, Allocator > node_update;
kono
parents:
diff changeset
507 };
kono
parents:
diff changeset
508 template < typename Node_Update, bool > struct tree_metadata_helper
kono
parents:
diff changeset
509 {
kono
parents:
diff changeset
510 typedef typename Node_Update::metadata_type type;
kono
parents:
diff changeset
511 };
kono
parents:
diff changeset
512 template
kono
parents:
diff changeset
513 <
kono
parents:
diff changeset
514 typename
kono
parents:
diff changeset
515 Key,
kono
parents:
diff changeset
516 typename
kono
parents:
diff changeset
517 Data,
kono
parents:
diff changeset
518 class
kono
parents:
diff changeset
519 Cmp_Fn,
kono
parents:
diff changeset
520 template
kono
parents:
diff changeset
521 <
kono
parents:
diff changeset
522 typename,
kono
parents:
diff changeset
523 class,
kono
parents:
diff changeset
524 class,
kono
parents:
diff changeset
525 class
kono
parents:
diff changeset
526 >
kono
parents:
diff changeset
527 class Node_Update, class Allocator > struct tree_node_metadata_selector
kono
parents:
diff changeset
528 {
kono
parents:
diff changeset
529 typedef
kono
parents:
diff changeset
530 dumconst_node_iterator < Key, Data, Allocator > dumconst_node_it;
kono
parents:
diff changeset
531 enum
kono
parents:
diff changeset
532 {
kono
parents:
diff changeset
533 null_update = is_same < Node_Update < dumconst_node_it,
kono
parents:
diff changeset
534 dumconst_node_it,
kono
parents:
diff changeset
535 Cmp_Fn,
kono
parents:
diff changeset
536 Allocator >,
kono
parents:
diff changeset
537 null_tree_node_update < dumconst_node_it,
kono
parents:
diff changeset
538 dumconst_node_it,
kono
parents:
diff changeset
539 Cmp_Fn,
kono
parents:
diff changeset
540 Allocator > >::value
kono
parents:
diff changeset
541 };
kono
parents:
diff changeset
542 typedef
kono
parents:
diff changeset
543 typename
kono
parents:
diff changeset
544 tree_metadata_helper
kono
parents:
diff changeset
545 <
kono
parents:
diff changeset
546 Node_Update
kono
parents:
diff changeset
547 <
kono
parents:
diff changeset
548 dumconst_node_it,
kono
parents:
diff changeset
549 dumconst_node_it, Cmp_Fn, Allocator >, null_update >::type type;
kono
parents:
diff changeset
550 };
kono
parents:
diff changeset
551 template
kono
parents:
diff changeset
552 <
kono
parents:
diff changeset
553 typename,
kono
parents:
diff changeset
554 typename,
kono
parents:
diff changeset
555 class,
kono
parents:
diff changeset
556 template
kono
parents:
diff changeset
557 <
kono
parents:
diff changeset
558 typename,
kono
parents:
diff changeset
559 class, class, class > class, class, class > struct tree_traits;
kono
parents:
diff changeset
560 template < typename Value_Type, class Metadata, class Allocator > struct rb_tree_node_
kono
parents:
diff changeset
561 {
kono
parents:
diff changeset
562 typedef Metadata metadata_type;
kono
parents:
diff changeset
563 typedef
kono
parents:
diff changeset
564 typename
kono
parents:
diff changeset
565 Allocator::template
kono
parents:
diff changeset
566 rebind
kono
parents:
diff changeset
567 <
kono
parents:
diff changeset
568 rb_tree_node_
kono
parents:
diff changeset
569 < Value_Type, Metadata, Allocator > >::other::pointer node_pointer;
kono
parents:
diff changeset
570 typedef
kono
parents:
diff changeset
571 typename
kono
parents:
diff changeset
572 Allocator::template
kono
parents:
diff changeset
573 rebind < metadata_type >::other::reference metadata_reference;
kono
parents:
diff changeset
574 metadata_reference get_metadata ()
kono
parents:
diff changeset
575 {
kono
parents:
diff changeset
576 return m_metadata;
kono
parents:
diff changeset
577 }
kono
parents:
diff changeset
578 node_pointer m_p_right;
kono
parents:
diff changeset
579 node_pointer m_p_parent;
kono
parents:
diff changeset
580 metadata_type m_metadata;
kono
parents:
diff changeset
581 };
kono
parents:
diff changeset
582 template
kono
parents:
diff changeset
583 <
kono
parents:
diff changeset
584 typename
kono
parents:
diff changeset
585 Key,
kono
parents:
diff changeset
586 typename
kono
parents:
diff changeset
587 Mapped,
kono
parents:
diff changeset
588 typename
kono
parents:
diff changeset
589 Cmp_Fn,
kono
parents:
diff changeset
590 template
kono
parents:
diff changeset
591 <
kono
parents:
diff changeset
592 typename,
kono
parents:
diff changeset
593 class,
kono
parents:
diff changeset
594 class,
kono
parents:
diff changeset
595 class
kono
parents:
diff changeset
596 >
kono
parents:
diff changeset
597 class
kono
parents:
diff changeset
598 Node_Update,
kono
parents:
diff changeset
599 typename
kono
parents:
diff changeset
600 Allocator
kono
parents:
diff changeset
601 >
kono
parents:
diff changeset
602 struct
kono
parents:
diff changeset
603 tree_traits
kono
parents:
diff changeset
604 <Key,
kono
parents:
diff changeset
605 Mapped,
kono
parents:
diff changeset
606 Cmp_Fn,
kono
parents:
diff changeset
607 Node_Update,
kono
parents:
diff changeset
608 rb_tree_tag,
kono
parents:
diff changeset
609 Allocator
kono
parents:
diff changeset
610 >:bin_search_tree_traits
kono
parents:
diff changeset
611 <
kono
parents:
diff changeset
612 Key,
kono
parents:
diff changeset
613 Mapped,
kono
parents:
diff changeset
614 Cmp_Fn,
kono
parents:
diff changeset
615 Node_Update,
kono
parents:
diff changeset
616 rb_tree_node_
kono
parents:
diff changeset
617 <
kono
parents:
diff changeset
618 typename
kono
parents:
diff changeset
619 types_traits
kono
parents:
diff changeset
620 <
kono
parents:
diff changeset
621 Key,
kono
parents:
diff changeset
622 Mapped,
kono
parents:
diff changeset
623 Allocator,
kono
parents:
diff changeset
624 false
kono
parents:
diff changeset
625 >::value_type,
kono
parents:
diff changeset
626 typename
kono
parents:
diff changeset
627 tree_node_metadata_selector
kono
parents:
diff changeset
628 <
kono
parents:
diff changeset
629 Key,
kono
parents:
diff changeset
630 Mapped, Cmp_Fn, Node_Update, Allocator >::type, Allocator >, Allocator >
kono
parents:
diff changeset
631 {};
kono
parents:
diff changeset
632 }
kono
parents:
diff changeset
633 template < typename Key, typename Mapped, typename Tag, typename Policy_Tl, typename Allocator > class container_base:
kono
parents:
diff changeset
634 public
kono
parents:
diff changeset
635 detail::container_base_dispatch
kono
parents:
diff changeset
636 < Key, Mapped, Tag, Policy_Tl, Allocator >::type
kono
parents:
diff changeset
637 {};
kono
parents:
diff changeset
638 template < typename Key, typename Mapped, typename Tag, typename, typename Policy_Tl, typename Allocator > class basic_tree:
kono
parents:
diff changeset
639 public
kono
parents:
diff changeset
640 container_base < Key, Mapped, Tag, Policy_Tl, Allocator >
kono
parents:
diff changeset
641 {};
kono
parents:
diff changeset
642 template
kono
parents:
diff changeset
643 <
kono
parents:
diff changeset
644 typename
kono
parents:
diff changeset
645 Key,
kono
parents:
diff changeset
646 typename
kono
parents:
diff changeset
647 Mapped,
kono
parents:
diff changeset
648 typename
kono
parents:
diff changeset
649 Cmp_Fn
kono
parents:
diff changeset
650 =
kono
parents:
diff changeset
651 std::less
kono
parents:
diff changeset
652 <
kono
parents:
diff changeset
653 Key
kono
parents:
diff changeset
654 >,
kono
parents:
diff changeset
655 typename
kono
parents:
diff changeset
656 Tag
kono
parents:
diff changeset
657 =
kono
parents:
diff changeset
658 rb_tree_tag,
kono
parents:
diff changeset
659 template
kono
parents:
diff changeset
660 <
kono
parents:
diff changeset
661 typename,
kono
parents:
diff changeset
662 typename,
kono
parents:
diff changeset
663 typename,
kono
parents:
diff changeset
664 typename
kono
parents:
diff changeset
665 >
kono
parents:
diff changeset
666 class
kono
parents:
diff changeset
667 Node_Update
kono
parents:
diff changeset
668 =
kono
parents:
diff changeset
669 null_tree_node_update,
kono
parents:
diff changeset
670 typename
kono
parents:
diff changeset
671 Allocator
kono
parents:
diff changeset
672 =
kono
parents:
diff changeset
673 std::allocator
kono
parents:
diff changeset
674 <
kono
parents:
diff changeset
675 char
kono
parents:
diff changeset
676 > >class
kono
parents:
diff changeset
677 tree:public
kono
parents:
diff changeset
678 basic_tree
kono
parents:
diff changeset
679 <
kono
parents:
diff changeset
680 Key,
kono
parents:
diff changeset
681 Mapped,
kono
parents:
diff changeset
682 Tag,
kono
parents:
diff changeset
683 detail::tree_traits
kono
parents:
diff changeset
684 <
kono
parents:
diff changeset
685 Key,
kono
parents:
diff changeset
686 Mapped,
kono
parents:
diff changeset
687 Cmp_Fn,
kono
parents:
diff changeset
688 Node_Update,
kono
parents:
diff changeset
689 Tag,
kono
parents:
diff changeset
690 Allocator
kono
parents:
diff changeset
691 >,
kono
parents:
diff changeset
692 typename
kono
parents:
diff changeset
693 __gnu_cxx::typelist::create2
kono
parents:
diff changeset
694 <
kono
parents:
diff changeset
695 Cmp_Fn,
kono
parents:
diff changeset
696 detail::tree_traits
kono
parents:
diff changeset
697 < Key, Mapped, Cmp_Fn, Node_Update, Tag, Allocator > >::type, Allocator >
kono
parents:
diff changeset
698 {};
kono
parents:
diff changeset
699 }
kono
parents:
diff changeset
700 using namespace std;
kono
parents:
diff changeset
701 using namespace __gnu_pbds;
kono
parents:
diff changeset
702 typedef
kono
parents:
diff changeset
703 tree
kono
parents:
diff changeset
704 <
kono
parents:
diff changeset
705 int,
kono
parents:
diff changeset
706 null_mapped_type,
kono
parents:
diff changeset
707 less < int >, rb_tree_tag, tree_order_statistics_node_update > set_t;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
708 int main ()
111
kono
parents:
diff changeset
709 {
kono
parents:
diff changeset
710 set_t s;
kono
parents:
diff changeset
711 s.insert (12);
kono
parents:
diff changeset
712 }