annotate gcc/testsuite/g++.dg/tm/pr46646.C @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
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 "-fgnu-tm -O0"}
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 namespace std __attribute__ ((__visibility__ ("default"))) {
kono
parents:
diff changeset
5 template<class _T1, class _T2>
kono
parents:
diff changeset
6 struct pair
kono
parents:
diff changeset
7 {
kono
parents:
diff changeset
8 typedef _T1 first_type;
kono
parents:
diff changeset
9 typedef _T2 second_type;
kono
parents:
diff changeset
10 _T1 first;
kono
parents:
diff changeset
11 _T2 second;
kono
parents:
diff changeset
12 pair()
kono
parents:
diff changeset
13 : first(), second() { }
kono
parents:
diff changeset
14 pair(const _T1& __a, const _T2& __b)
kono
parents:
diff changeset
15 : first(__a), second(__b) { }
kono
parents:
diff changeset
16 };
kono
parents:
diff changeset
17 }
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 typedef long int ptrdiff_t;
kono
parents:
diff changeset
21 typedef __SIZE_TYPE__ size_t;
kono
parents:
diff changeset
22 namespace std __attribute__ ((__visibility__ ("default"))) {
kono
parents:
diff changeset
23 using ::ptrdiff_t;
kono
parents:
diff changeset
24 using ::size_t;
kono
parents:
diff changeset
25 }
kono
parents:
diff changeset
26 namespace std __attribute__ ((__visibility__ ("default"))) {
kono
parents:
diff changeset
27 struct input_iterator_tag { };
kono
parents:
diff changeset
28 struct output_iterator_tag { };
kono
parents:
diff changeset
29 struct forward_iterator_tag : public input_iterator_tag { };
kono
parents:
diff changeset
30 struct bidirectional_iterator_tag : public forward_iterator_tag { };
kono
parents:
diff changeset
31 struct random_access_iterator_tag : public bidirectional_iterator_tag { };
kono
parents:
diff changeset
32 template<typename _Category, typename _Tp, typename _Distance = ptrdiff_t,
kono
parents:
diff changeset
33 typename _Pointer = _Tp*, typename _Reference = _Tp&>
kono
parents:
diff changeset
34 struct iterator
kono
parents:
diff changeset
35 {
kono
parents:
diff changeset
36 typedef _Category iterator_category;
kono
parents:
diff changeset
37 typedef _Tp value_type;
kono
parents:
diff changeset
38 typedef _Distance difference_type;
kono
parents:
diff changeset
39 typedef _Pointer pointer;
kono
parents:
diff changeset
40 typedef _Reference reference;
kono
parents:
diff changeset
41 };
kono
parents:
diff changeset
42 template<typename _Iterator>
kono
parents:
diff changeset
43 struct iterator_traits
kono
parents:
diff changeset
44 {
kono
parents:
diff changeset
45 typedef typename _Iterator::iterator_category iterator_category;
kono
parents:
diff changeset
46 typedef typename _Iterator::value_type value_type;
kono
parents:
diff changeset
47 typedef typename _Iterator::difference_type difference_type;
kono
parents:
diff changeset
48 typedef typename _Iterator::pointer pointer;
kono
parents:
diff changeset
49 typedef typename _Iterator::reference reference;
kono
parents:
diff changeset
50 };
kono
parents:
diff changeset
51 template<typename _Tp>
kono
parents:
diff changeset
52 struct iterator_traits<_Tp*>
kono
parents:
diff changeset
53 {
kono
parents:
diff changeset
54 typedef random_access_iterator_tag iterator_category;
kono
parents:
diff changeset
55 typedef _Tp value_type;
kono
parents:
diff changeset
56 typedef ptrdiff_t difference_type;
kono
parents:
diff changeset
57 typedef _Tp* pointer;
kono
parents:
diff changeset
58 typedef _Tp& reference;
kono
parents:
diff changeset
59 };
kono
parents:
diff changeset
60 template<typename _Tp>
kono
parents:
diff changeset
61 struct iterator_traits<const _Tp*>
kono
parents:
diff changeset
62 {
kono
parents:
diff changeset
63 typedef random_access_iterator_tag iterator_category;
kono
parents:
diff changeset
64 typedef _Tp value_type;
kono
parents:
diff changeset
65 typedef ptrdiff_t difference_type;
kono
parents:
diff changeset
66 typedef const _Tp* pointer;
kono
parents:
diff changeset
67 typedef const _Tp& reference;
kono
parents:
diff changeset
68 };
kono
parents:
diff changeset
69 template<typename _Iter>
kono
parents:
diff changeset
70 inline typename iterator_traits<_Iter>::iterator_category
kono
parents:
diff changeset
71 __iterator_category(const _Iter&)
kono
parents:
diff changeset
72 { return typename iterator_traits<_Iter>::iterator_category(); }
kono
parents:
diff changeset
73 }
kono
parents:
diff changeset
74 namespace std __attribute__ ((__visibility__ ("default"))) {
kono
parents:
diff changeset
75 template<typename _Iterator>
kono
parents:
diff changeset
76 class reverse_iterator
kono
parents:
diff changeset
77 : public iterator<typename iterator_traits<_Iterator>::iterator_category,
kono
parents:
diff changeset
78 typename iterator_traits<_Iterator>::value_type,
kono
parents:
diff changeset
79 typename iterator_traits<_Iterator>::difference_type,
kono
parents:
diff changeset
80 typename iterator_traits<_Iterator>::pointer,
kono
parents:
diff changeset
81 typename iterator_traits<_Iterator>::reference>
kono
parents:
diff changeset
82 {
kono
parents:
diff changeset
83 protected:
kono
parents:
diff changeset
84 _Iterator current;
kono
parents:
diff changeset
85 typedef iterator_traits<_Iterator> __traits_type;
kono
parents:
diff changeset
86 public:
kono
parents:
diff changeset
87 typedef _Iterator iterator_type;
kono
parents:
diff changeset
88 typedef typename __traits_type::difference_type difference_type;
kono
parents:
diff changeset
89 typedef typename __traits_type::pointer pointer;
kono
parents:
diff changeset
90 typedef typename __traits_type::reference reference;
kono
parents:
diff changeset
91 reverse_iterator() : current() { }
kono
parents:
diff changeset
92 explicit
kono
parents:
diff changeset
93 reverse_iterator(iterator_type __x) : current(__x) { }
kono
parents:
diff changeset
94 reverse_iterator(const reverse_iterator& __x)
kono
parents:
diff changeset
95 : current(__x.current) { }
kono
parents:
diff changeset
96 template<typename _Iter>
kono
parents:
diff changeset
97 reverse_iterator(const reverse_iterator<_Iter>& __x)
kono
parents:
diff changeset
98 : current(__x.base()) { }
kono
parents:
diff changeset
99 iterator_type
kono
parents:
diff changeset
100 base() const
kono
parents:
diff changeset
101 { return current; }
kono
parents:
diff changeset
102 reference
kono
parents:
diff changeset
103 operator*() const
kono
parents:
diff changeset
104 {
kono
parents:
diff changeset
105 _Iterator __tmp = current;
kono
parents:
diff changeset
106 return *--__tmp;
kono
parents:
diff changeset
107 }
kono
parents:
diff changeset
108 pointer
kono
parents:
diff changeset
109 operator->() const
kono
parents:
diff changeset
110 { return &(operator*()); }
kono
parents:
diff changeset
111 reverse_iterator&
kono
parents:
diff changeset
112 operator++()
kono
parents:
diff changeset
113 {
kono
parents:
diff changeset
114 --current;
kono
parents:
diff changeset
115 return *this;
kono
parents:
diff changeset
116 }
kono
parents:
diff changeset
117 reverse_iterator
kono
parents:
diff changeset
118 operator++(int)
kono
parents:
diff changeset
119 {
kono
parents:
diff changeset
120 reverse_iterator __tmp = *this;
kono
parents:
diff changeset
121 --current;
kono
parents:
diff changeset
122 return __tmp;
kono
parents:
diff changeset
123 }
kono
parents:
diff changeset
124 reverse_iterator&
kono
parents:
diff changeset
125 operator--()
kono
parents:
diff changeset
126 {
kono
parents:
diff changeset
127 ++current;
kono
parents:
diff changeset
128 return *this;
kono
parents:
diff changeset
129 }
kono
parents:
diff changeset
130 reverse_iterator
kono
parents:
diff changeset
131 operator--(int)
kono
parents:
diff changeset
132 {
kono
parents:
diff changeset
133 reverse_iterator __tmp = *this;
kono
parents:
diff changeset
134 ++current;
kono
parents:
diff changeset
135 return __tmp;
kono
parents:
diff changeset
136 }
kono
parents:
diff changeset
137 reverse_iterator
kono
parents:
diff changeset
138 operator+(difference_type __n) const
kono
parents:
diff changeset
139 { return reverse_iterator(current - __n); }
kono
parents:
diff changeset
140 reverse_iterator&
kono
parents:
diff changeset
141 operator+=(difference_type __n)
kono
parents:
diff changeset
142 {
kono
parents:
diff changeset
143 current -= __n;
kono
parents:
diff changeset
144 return *this;
kono
parents:
diff changeset
145 }
kono
parents:
diff changeset
146 reverse_iterator
kono
parents:
diff changeset
147 operator-(difference_type __n) const
kono
parents:
diff changeset
148 { return reverse_iterator(current + __n); }
kono
parents:
diff changeset
149 reverse_iterator&
kono
parents:
diff changeset
150 operator-=(difference_type __n)
kono
parents:
diff changeset
151 {
kono
parents:
diff changeset
152 current += __n;
kono
parents:
diff changeset
153 return *this;
kono
parents:
diff changeset
154 }
kono
parents:
diff changeset
155 reference
kono
parents:
diff changeset
156 operator[](difference_type __n) const
kono
parents:
diff changeset
157 { return *(*this + __n); }
kono
parents:
diff changeset
158 };
kono
parents:
diff changeset
159 }
kono
parents:
diff changeset
160
kono
parents:
diff changeset
161
kono
parents:
diff changeset
162
kono
parents:
diff changeset
163 extern "C++" {
kono
parents:
diff changeset
164 namespace std
kono
parents:
diff changeset
165 {
kono
parents:
diff changeset
166 class exception
kono
parents:
diff changeset
167 {
kono
parents:
diff changeset
168 public:
kono
parents:
diff changeset
169 exception() throw() { }
kono
parents:
diff changeset
170 virtual ~exception() throw();
kono
parents:
diff changeset
171 virtual const char* what() const throw();
kono
parents:
diff changeset
172 };
kono
parents:
diff changeset
173 class bad_exception : public exception
kono
parents:
diff changeset
174 {
kono
parents:
diff changeset
175 public:
kono
parents:
diff changeset
176 bad_exception() throw() { }
kono
parents:
diff changeset
177 virtual ~bad_exception() throw();
kono
parents:
diff changeset
178 virtual const char* what() const throw();
kono
parents:
diff changeset
179 };
kono
parents:
diff changeset
180 typedef void (*terminate_handler) ();
kono
parents:
diff changeset
181 typedef void (*unexpected_handler) ();
kono
parents:
diff changeset
182 terminate_handler set_terminate(terminate_handler) throw();
kono
parents:
diff changeset
183 void terminate() throw() __attribute__ ((__noreturn__));
kono
parents:
diff changeset
184 unexpected_handler set_unexpected(unexpected_handler) throw();
kono
parents:
diff changeset
185 void unexpected() __attribute__ ((__noreturn__));
kono
parents:
diff changeset
186 bool uncaught_exception() throw() __attribute__ ((__pure__));
kono
parents:
diff changeset
187 }
kono
parents:
diff changeset
188 namespace __gnu_cxx __attribute__ ((__visibility__ ("default"))) {
kono
parents:
diff changeset
189 void __verbose_terminate_handler();
kono
parents:
diff changeset
190 }
kono
parents:
diff changeset
191 }
kono
parents:
diff changeset
192 extern "C++" {
kono
parents:
diff changeset
193 namespace std
kono
parents:
diff changeset
194 {
kono
parents:
diff changeset
195 class bad_alloc : public exception
kono
parents:
diff changeset
196 {
kono
parents:
diff changeset
197 public:
kono
parents:
diff changeset
198 bad_alloc() throw() { }
kono
parents:
diff changeset
199 virtual ~bad_alloc() throw();
kono
parents:
diff changeset
200 virtual const char* what() const throw();
kono
parents:
diff changeset
201 };
kono
parents:
diff changeset
202 struct nothrow_t { };
kono
parents:
diff changeset
203 extern const nothrow_t nothrow;
kono
parents:
diff changeset
204 typedef void (*new_handler)();
kono
parents:
diff changeset
205 new_handler set_new_handler(new_handler) throw();
kono
parents:
diff changeset
206 }
kono
parents:
diff changeset
207
kono
parents:
diff changeset
208 void* operator new(std::size_t, const std::nothrow_t&) throw();
kono
parents:
diff changeset
209 void* operator new[](std::size_t, const std::nothrow_t&) throw();
kono
parents:
diff changeset
210 void operator delete(void*, const std::nothrow_t&) throw();
kono
parents:
diff changeset
211 void operator delete[](void*, const std::nothrow_t&) throw();
kono
parents:
diff changeset
212 inline void* operator new(std::size_t, void* __p) throw() { return __p; }
kono
parents:
diff changeset
213 inline void* operator new[](std::size_t, void* __p) throw() { return __p; }
kono
parents:
diff changeset
214 inline void operator delete (void*, void*) throw() { }
kono
parents:
diff changeset
215 inline void operator delete[](void*, void*) throw() { }
kono
parents:
diff changeset
216 }
kono
parents:
diff changeset
217 namespace std __attribute__ ((__visibility__ ("default"))) {
kono
parents:
diff changeset
218 void
kono
parents:
diff changeset
219 __throw_bad_exception(void) __attribute__((__noreturn__));
kono
parents:
diff changeset
220 __attribute__((transaction_safe))
kono
parents:
diff changeset
221 void
kono
parents:
diff changeset
222 __throw_bad_alloc(void) __attribute__((__noreturn__));
kono
parents:
diff changeset
223 void
kono
parents:
diff changeset
224 __throw_bad_cast(void) __attribute__((__noreturn__));
kono
parents:
diff changeset
225 void
kono
parents:
diff changeset
226 __throw_bad_typeid(void) __attribute__((__noreturn__));
kono
parents:
diff changeset
227 void
kono
parents:
diff changeset
228 __throw_logic_error(const char*) __attribute__((__noreturn__));
kono
parents:
diff changeset
229 void
kono
parents:
diff changeset
230 __throw_domain_error(const char*) __attribute__((__noreturn__));
kono
parents:
diff changeset
231 void
kono
parents:
diff changeset
232 __throw_invalid_argument(const char*) __attribute__((__noreturn__));
kono
parents:
diff changeset
233 void
kono
parents:
diff changeset
234 __throw_length_error(const char*) __attribute__((__noreturn__));
kono
parents:
diff changeset
235 void
kono
parents:
diff changeset
236 __throw_out_of_range(const char*) __attribute__((__noreturn__));
kono
parents:
diff changeset
237 void
kono
parents:
diff changeset
238 __throw_runtime_error(const char*) __attribute__((__noreturn__));
kono
parents:
diff changeset
239 void
kono
parents:
diff changeset
240 __throw_range_error(const char*) __attribute__((__noreturn__));
kono
parents:
diff changeset
241 void
kono
parents:
diff changeset
242 __throw_overflow_error(const char*) __attribute__((__noreturn__));
kono
parents:
diff changeset
243 void
kono
parents:
diff changeset
244 __throw_underflow_error(const char*) __attribute__((__noreturn__));
kono
parents:
diff changeset
245 void
kono
parents:
diff changeset
246 __throw_ios_failure(const char*) __attribute__((__noreturn__));
kono
parents:
diff changeset
247 void
kono
parents:
diff changeset
248 __throw_system_error(int) __attribute__((__noreturn__));
kono
parents:
diff changeset
249 void
kono
parents:
diff changeset
250 __throw_future_error(int) __attribute__((__noreturn__));
kono
parents:
diff changeset
251 void
kono
parents:
diff changeset
252 __throw_bad_function_call() __attribute__((__noreturn__));
kono
parents:
diff changeset
253 }
kono
parents:
diff changeset
254
kono
parents:
diff changeset
255
kono
parents:
diff changeset
256 namespace std __attribute__ ((__visibility__ ("default"))) {
kono
parents:
diff changeset
257 template<typename _Tp>
kono
parents:
diff changeset
258 inline void
kono
parents:
diff changeset
259 swap(_Tp& __a, _Tp& __b)
kono
parents:
diff changeset
260 {
kono
parents:
diff changeset
261
kono
parents:
diff changeset
262 _Tp __tmp = (__a);
kono
parents:
diff changeset
263 __a = (__b);
kono
parents:
diff changeset
264 __b = (__tmp);
kono
parents:
diff changeset
265 }
kono
parents:
diff changeset
266 template<typename _Tp, size_t _Nm>
kono
parents:
diff changeset
267 inline void
kono
parents:
diff changeset
268 swap(_Tp (&__a)[_Nm], _Tp (&__b)[_Nm])
kono
parents:
diff changeset
269 {
kono
parents:
diff changeset
270 for (size_t __n = 0; __n < _Nm; ++__n)
kono
parents:
diff changeset
271 swap(__a[__n], __b[__n]);
kono
parents:
diff changeset
272 }
kono
parents:
diff changeset
273 }
kono
parents:
diff changeset
274 namespace __gnu_cxx __attribute__ ((__visibility__ ("default"))) {
kono
parents:
diff changeset
275 using std::size_t;
kono
parents:
diff changeset
276 using std::ptrdiff_t;
kono
parents:
diff changeset
277 template<typename _Tp>
kono
parents:
diff changeset
278 class new_allocator
kono
parents:
diff changeset
279 {
kono
parents:
diff changeset
280 public:
kono
parents:
diff changeset
281 typedef size_t size_type;
kono
parents:
diff changeset
282 typedef ptrdiff_t difference_type;
kono
parents:
diff changeset
283 typedef _Tp* pointer;
kono
parents:
diff changeset
284 typedef const _Tp* const_pointer;
kono
parents:
diff changeset
285 typedef _Tp& reference;
kono
parents:
diff changeset
286 typedef const _Tp& const_reference;
kono
parents:
diff changeset
287 typedef _Tp value_type;
kono
parents:
diff changeset
288 template<typename _Tp1>
kono
parents:
diff changeset
289 struct rebind
kono
parents:
diff changeset
290 { typedef new_allocator<_Tp1> other; };
kono
parents:
diff changeset
291 new_allocator() throw() { }
kono
parents:
diff changeset
292 new_allocator(const new_allocator&) throw() { }
kono
parents:
diff changeset
293 template<typename _Tp1>
kono
parents:
diff changeset
294 new_allocator(const new_allocator<_Tp1>&) throw() { }
kono
parents:
diff changeset
295 ~new_allocator() throw() { }
kono
parents:
diff changeset
296 pointer
kono
parents:
diff changeset
297 address(reference __x) const { return &__x; }
kono
parents:
diff changeset
298 const_pointer
kono
parents:
diff changeset
299 address(const_reference __x) const { return &__x; }
kono
parents:
diff changeset
300 __attribute__((transaction_safe))
kono
parents:
diff changeset
301 pointer
kono
parents:
diff changeset
302 allocate(size_type __n, const void* = 0)
kono
parents:
diff changeset
303 {
kono
parents:
diff changeset
304 if (__n > this->max_size())
kono
parents:
diff changeset
305 std::__throw_bad_alloc();
kono
parents:
diff changeset
306 return static_cast<_Tp*>(::operator new(__n * sizeof(_Tp)));
kono
parents:
diff changeset
307 }
kono
parents:
diff changeset
308 __attribute__((transaction_safe))
kono
parents:
diff changeset
309 void
kono
parents:
diff changeset
310 deallocate(pointer __p, size_type)
kono
parents:
diff changeset
311 { ::operator delete(__p); }
kono
parents:
diff changeset
312 size_type
kono
parents:
diff changeset
313 max_size() const throw()
kono
parents:
diff changeset
314 { return size_t(-1) / sizeof(_Tp); }
kono
parents:
diff changeset
315 void
kono
parents:
diff changeset
316 construct(pointer __p, const _Tp& __val)
kono
parents:
diff changeset
317 { ::new((void *)__p) _Tp(__val); }
kono
parents:
diff changeset
318 void
kono
parents:
diff changeset
319 destroy(pointer __p) { __p->~_Tp(); }
kono
parents:
diff changeset
320 };
kono
parents:
diff changeset
321 template<typename _Tp>
kono
parents:
diff changeset
322 inline bool
kono
parents:
diff changeset
323 operator==(const new_allocator<_Tp>&, const new_allocator<_Tp>&)
kono
parents:
diff changeset
324 { return true; }
kono
parents:
diff changeset
325 template<typename _Tp>
kono
parents:
diff changeset
326 inline bool
kono
parents:
diff changeset
327 operator!=(const new_allocator<_Tp>&, const new_allocator<_Tp>&)
kono
parents:
diff changeset
328 { return false; }
kono
parents:
diff changeset
329 }
kono
parents:
diff changeset
330 namespace std __attribute__ ((__visibility__ ("default"))) {
kono
parents:
diff changeset
331 template<typename _Tp>
kono
parents:
diff changeset
332 class allocator;
kono
parents:
diff changeset
333 template<>
kono
parents:
diff changeset
334 class allocator<void>
kono
parents:
diff changeset
335 {
kono
parents:
diff changeset
336 public:
kono
parents:
diff changeset
337 typedef size_t size_type;
kono
parents:
diff changeset
338 typedef ptrdiff_t difference_type;
kono
parents:
diff changeset
339 typedef void* pointer;
kono
parents:
diff changeset
340 typedef const void* const_pointer;
kono
parents:
diff changeset
341 typedef void value_type;
kono
parents:
diff changeset
342 template<typename _Tp1>
kono
parents:
diff changeset
343 struct rebind
kono
parents:
diff changeset
344 { typedef allocator<_Tp1> other; };
kono
parents:
diff changeset
345 };
kono
parents:
diff changeset
346 template<typename _Tp>
kono
parents:
diff changeset
347 class allocator: public __gnu_cxx::new_allocator<_Tp>
kono
parents:
diff changeset
348 {
kono
parents:
diff changeset
349 public:
kono
parents:
diff changeset
350 typedef size_t size_type;
kono
parents:
diff changeset
351 typedef ptrdiff_t difference_type;
kono
parents:
diff changeset
352 typedef _Tp* pointer;
kono
parents:
diff changeset
353 typedef const _Tp* const_pointer;
kono
parents:
diff changeset
354 typedef _Tp& reference;
kono
parents:
diff changeset
355 typedef const _Tp& const_reference;
kono
parents:
diff changeset
356 typedef _Tp value_type;
kono
parents:
diff changeset
357 template<typename _Tp1>
kono
parents:
diff changeset
358 struct rebind
kono
parents:
diff changeset
359 { typedef allocator<_Tp1> other; };
kono
parents:
diff changeset
360 allocator() throw() { }
kono
parents:
diff changeset
361 allocator(const allocator& __a) throw()
kono
parents:
diff changeset
362 : __gnu_cxx::new_allocator<_Tp>(__a) { }
kono
parents:
diff changeset
363 template<typename _Tp1>
kono
parents:
diff changeset
364 allocator(const allocator<_Tp1>&) throw() { }
kono
parents:
diff changeset
365 ~allocator() throw() { }
kono
parents:
diff changeset
366 };
kono
parents:
diff changeset
367 template<typename _T1, typename _T2>
kono
parents:
diff changeset
368 inline bool
kono
parents:
diff changeset
369 operator==(const allocator<_T1>&, const allocator<_T2>&)
kono
parents:
diff changeset
370 { return true; }
kono
parents:
diff changeset
371 template<typename _Tp>
kono
parents:
diff changeset
372 inline bool
kono
parents:
diff changeset
373 operator==(const allocator<_Tp>&, const allocator<_Tp>&)
kono
parents:
diff changeset
374 { return true; }
kono
parents:
diff changeset
375 template<typename _T1, typename _T2>
kono
parents:
diff changeset
376 inline bool
kono
parents:
diff changeset
377 operator!=(const allocator<_T1>&, const allocator<_T2>&)
kono
parents:
diff changeset
378 { return false; }
kono
parents:
diff changeset
379 template<typename _Tp>
kono
parents:
diff changeset
380 inline bool
kono
parents:
diff changeset
381 operator!=(const allocator<_Tp>&, const allocator<_Tp>&)
kono
parents:
diff changeset
382 { return false; }
kono
parents:
diff changeset
383 //extern template class allocator<char>;
kono
parents:
diff changeset
384 // extern template class allocator<wchar_t>;
kono
parents:
diff changeset
385 template<typename _Alloc, bool = __is_empty(_Alloc)>
kono
parents:
diff changeset
386 struct __alloc_swap
kono
parents:
diff changeset
387 { static void _S_do_it(_Alloc&, _Alloc&) { } };
kono
parents:
diff changeset
388 template<typename _Alloc>
kono
parents:
diff changeset
389 struct __alloc_swap<_Alloc, false>
kono
parents:
diff changeset
390 {
kono
parents:
diff changeset
391 static void
kono
parents:
diff changeset
392 _S_do_it(_Alloc& __one, _Alloc& __two)
kono
parents:
diff changeset
393 {
kono
parents:
diff changeset
394 if (__one != __two)
kono
parents:
diff changeset
395 swap(__one, __two);
kono
parents:
diff changeset
396 }
kono
parents:
diff changeset
397 };
kono
parents:
diff changeset
398 template<typename _Alloc, bool = __is_empty(_Alloc)>
kono
parents:
diff changeset
399 struct __alloc_neq
kono
parents:
diff changeset
400 {
kono
parents:
diff changeset
401 static bool
kono
parents:
diff changeset
402 _S_do_it(const _Alloc&, const _Alloc&)
kono
parents:
diff changeset
403 { return false; }
kono
parents:
diff changeset
404 };
kono
parents:
diff changeset
405 template<typename _Alloc>
kono
parents:
diff changeset
406 struct __alloc_neq<_Alloc, false>
kono
parents:
diff changeset
407 {
kono
parents:
diff changeset
408 static bool
kono
parents:
diff changeset
409 _S_do_it(const _Alloc& __one, const _Alloc& __two)
kono
parents:
diff changeset
410 { return __one != __two; }
kono
parents:
diff changeset
411 };
kono
parents:
diff changeset
412 }
kono
parents:
diff changeset
413 namespace std __attribute__ ((__visibility__ ("default"))) {
kono
parents:
diff changeset
414 template<typename _Arg, typename _Result>
kono
parents:
diff changeset
415 struct unary_function
kono
parents:
diff changeset
416 {
kono
parents:
diff changeset
417 typedef _Arg argument_type;
kono
parents:
diff changeset
418 typedef _Result result_type;
kono
parents:
diff changeset
419 };
kono
parents:
diff changeset
420 template<typename _Arg1, typename _Arg2, typename _Result>
kono
parents:
diff changeset
421 struct binary_function
kono
parents:
diff changeset
422 {
kono
parents:
diff changeset
423 typedef _Arg1 first_argument_type;
kono
parents:
diff changeset
424 typedef _Arg2 second_argument_type;
kono
parents:
diff changeset
425 typedef _Result result_type;
kono
parents:
diff changeset
426 };
kono
parents:
diff changeset
427 template<typename _Tp>
kono
parents:
diff changeset
428 struct equal_to : public binary_function<_Tp, _Tp, bool>
kono
parents:
diff changeset
429 {
kono
parents:
diff changeset
430 bool
kono
parents:
diff changeset
431 operator()(const _Tp& __x, const _Tp& __y) const
kono
parents:
diff changeset
432 { return __x == __y; }
kono
parents:
diff changeset
433 };
kono
parents:
diff changeset
434 template<typename _Tp>
kono
parents:
diff changeset
435 struct not_equal_to : public binary_function<_Tp, _Tp, bool>
kono
parents:
diff changeset
436 {
kono
parents:
diff changeset
437 bool
kono
parents:
diff changeset
438 operator()(const _Tp& __x, const _Tp& __y) const
kono
parents:
diff changeset
439 { return __x != __y; }
kono
parents:
diff changeset
440 };
kono
parents:
diff changeset
441 template<typename _Tp>
kono
parents:
diff changeset
442 struct greater : public binary_function<_Tp, _Tp, bool>
kono
parents:
diff changeset
443 {
kono
parents:
diff changeset
444 bool
kono
parents:
diff changeset
445 operator()(const _Tp& __x, const _Tp& __y) const
kono
parents:
diff changeset
446 { return __x > __y; }
kono
parents:
diff changeset
447 };
kono
parents:
diff changeset
448 template<typename _Tp>
kono
parents:
diff changeset
449 struct less : public binary_function<_Tp, _Tp, bool>
kono
parents:
diff changeset
450 {
kono
parents:
diff changeset
451 bool
kono
parents:
diff changeset
452 operator()(const _Tp& __x, const _Tp& __y) const
kono
parents:
diff changeset
453 { return __x < __y; }
kono
parents:
diff changeset
454 };
kono
parents:
diff changeset
455 template<typename _Tp>
kono
parents:
diff changeset
456 struct _Identity : public unary_function<_Tp,_Tp>
kono
parents:
diff changeset
457 {
kono
parents:
diff changeset
458 _Tp&
kono
parents:
diff changeset
459 operator()(_Tp& __x) const
kono
parents:
diff changeset
460 { return __x; }
kono
parents:
diff changeset
461 const _Tp&
kono
parents:
diff changeset
462 operator()(const _Tp& __x) const
kono
parents:
diff changeset
463 { return __x; }
kono
parents:
diff changeset
464 };
kono
parents:
diff changeset
465 }
kono
parents:
diff changeset
466 namespace std __attribute__ ((__visibility__ ("default"))) {
kono
parents:
diff changeset
467 enum _Rb_tree_color { _S_red = false, _S_black = true };
kono
parents:
diff changeset
468 struct _Rb_tree_node_base
kono
parents:
diff changeset
469 {
kono
parents:
diff changeset
470 typedef _Rb_tree_node_base* _Base_ptr;
kono
parents:
diff changeset
471 typedef const _Rb_tree_node_base* _Const_Base_ptr;
kono
parents:
diff changeset
472 _Rb_tree_color _M_color;
kono
parents:
diff changeset
473 _Base_ptr _M_parent;
kono
parents:
diff changeset
474 _Base_ptr _M_left;
kono
parents:
diff changeset
475 _Base_ptr _M_right;
kono
parents:
diff changeset
476 static _Base_ptr
kono
parents:
diff changeset
477 _S_minimum(_Base_ptr __x)
kono
parents:
diff changeset
478 {
kono
parents:
diff changeset
479 while (__x->_M_left != 0) __x = __x->_M_left;
kono
parents:
diff changeset
480 return __x;
kono
parents:
diff changeset
481 }
kono
parents:
diff changeset
482 static _Const_Base_ptr
kono
parents:
diff changeset
483 _S_minimum(_Const_Base_ptr __x)
kono
parents:
diff changeset
484 {
kono
parents:
diff changeset
485 while (__x->_M_left != 0) __x = __x->_M_left;
kono
parents:
diff changeset
486 return __x;
kono
parents:
diff changeset
487 }
kono
parents:
diff changeset
488 static _Base_ptr
kono
parents:
diff changeset
489 _S_maximum(_Base_ptr __x)
kono
parents:
diff changeset
490 {
kono
parents:
diff changeset
491 while (__x->_M_right != 0) __x = __x->_M_right;
kono
parents:
diff changeset
492 return __x;
kono
parents:
diff changeset
493 }
kono
parents:
diff changeset
494 static _Const_Base_ptr
kono
parents:
diff changeset
495 _S_maximum(_Const_Base_ptr __x)
kono
parents:
diff changeset
496 {
kono
parents:
diff changeset
497 while (__x->_M_right != 0) __x = __x->_M_right;
kono
parents:
diff changeset
498 return __x;
kono
parents:
diff changeset
499 }
kono
parents:
diff changeset
500 };
kono
parents:
diff changeset
501 template<typename _Val>
kono
parents:
diff changeset
502 struct _Rb_tree_node : public _Rb_tree_node_base
kono
parents:
diff changeset
503 {
kono
parents:
diff changeset
504 typedef _Rb_tree_node<_Val>* _Link_type;
kono
parents:
diff changeset
505 _Val _M_value_field;
kono
parents:
diff changeset
506 };
kono
parents:
diff changeset
507 __attribute__ ((__pure__)) _Rb_tree_node_base*
kono
parents:
diff changeset
508 _Rb_tree_increment(_Rb_tree_node_base* __x) throw ();
kono
parents:
diff changeset
509 __attribute__ ((__pure__)) const _Rb_tree_node_base*
kono
parents:
diff changeset
510 _Rb_tree_increment(const _Rb_tree_node_base* __x) throw ();
kono
parents:
diff changeset
511 __attribute__ ((__pure__)) _Rb_tree_node_base*
kono
parents:
diff changeset
512 _Rb_tree_decrement(_Rb_tree_node_base* __x) throw ();
kono
parents:
diff changeset
513 __attribute__ ((__pure__)) const _Rb_tree_node_base*
kono
parents:
diff changeset
514 _Rb_tree_decrement(const _Rb_tree_node_base* __x) throw ();
kono
parents:
diff changeset
515 template<typename _Tp>
kono
parents:
diff changeset
516 struct _Rb_tree_iterator
kono
parents:
diff changeset
517 {
kono
parents:
diff changeset
518 typedef _Tp value_type;
kono
parents:
diff changeset
519 typedef _Tp& reference;
kono
parents:
diff changeset
520 typedef _Tp* pointer;
kono
parents:
diff changeset
521 typedef bidirectional_iterator_tag iterator_category;
kono
parents:
diff changeset
522 typedef ptrdiff_t difference_type;
kono
parents:
diff changeset
523 typedef _Rb_tree_iterator<_Tp> _Self;
kono
parents:
diff changeset
524 typedef _Rb_tree_node_base::_Base_ptr _Base_ptr;
kono
parents:
diff changeset
525 typedef _Rb_tree_node<_Tp>* _Link_type;
kono
parents:
diff changeset
526 _Rb_tree_iterator()
kono
parents:
diff changeset
527 : _M_node() { }
kono
parents:
diff changeset
528 explicit
kono
parents:
diff changeset
529 _Rb_tree_iterator(_Link_type __x)
kono
parents:
diff changeset
530 : _M_node(__x) { }
kono
parents:
diff changeset
531 reference
kono
parents:
diff changeset
532 operator*() const
kono
parents:
diff changeset
533 { return static_cast<_Link_type>(_M_node)->_M_value_field; }
kono
parents:
diff changeset
534 pointer
kono
parents:
diff changeset
535 operator->() const
kono
parents:
diff changeset
536 { return &static_cast<_Link_type>(_M_node)->_M_value_field; }
kono
parents:
diff changeset
537 _Self&
kono
parents:
diff changeset
538 operator++()
kono
parents:
diff changeset
539 {
kono
parents:
diff changeset
540 _M_node = _Rb_tree_increment(_M_node);
kono
parents:
diff changeset
541 return *this;
kono
parents:
diff changeset
542 }
kono
parents:
diff changeset
543 _Self
kono
parents:
diff changeset
544 operator++(int)
kono
parents:
diff changeset
545 {
kono
parents:
diff changeset
546 _Self __tmp = *this;
kono
parents:
diff changeset
547 _M_node = _Rb_tree_increment(_M_node);
kono
parents:
diff changeset
548 return __tmp;
kono
parents:
diff changeset
549 }
kono
parents:
diff changeset
550 _Self&
kono
parents:
diff changeset
551 operator--()
kono
parents:
diff changeset
552 {
kono
parents:
diff changeset
553 _M_node = _Rb_tree_decrement(_M_node);
kono
parents:
diff changeset
554 return *this;
kono
parents:
diff changeset
555 }
kono
parents:
diff changeset
556 _Self
kono
parents:
diff changeset
557 operator--(int)
kono
parents:
diff changeset
558 {
kono
parents:
diff changeset
559 _Self __tmp = *this;
kono
parents:
diff changeset
560 _M_node = _Rb_tree_decrement(_M_node);
kono
parents:
diff changeset
561 return __tmp;
kono
parents:
diff changeset
562 }
kono
parents:
diff changeset
563 bool
kono
parents:
diff changeset
564 operator==(const _Self& __x) const
kono
parents:
diff changeset
565 { return _M_node == __x._M_node; }
kono
parents:
diff changeset
566 bool
kono
parents:
diff changeset
567 operator!=(const _Self& __x) const
kono
parents:
diff changeset
568 { return _M_node != __x._M_node; }
kono
parents:
diff changeset
569 _Base_ptr _M_node;
kono
parents:
diff changeset
570 };
kono
parents:
diff changeset
571 template<typename _Tp>
kono
parents:
diff changeset
572 struct _Rb_tree_const_iterator
kono
parents:
diff changeset
573 {
kono
parents:
diff changeset
574 typedef _Tp value_type;
kono
parents:
diff changeset
575 typedef const _Tp& reference;
kono
parents:
diff changeset
576 typedef const _Tp* pointer;
kono
parents:
diff changeset
577 typedef _Rb_tree_iterator<_Tp> iterator;
kono
parents:
diff changeset
578 typedef bidirectional_iterator_tag iterator_category;
kono
parents:
diff changeset
579 typedef ptrdiff_t difference_type;
kono
parents:
diff changeset
580 typedef _Rb_tree_const_iterator<_Tp> _Self;
kono
parents:
diff changeset
581 typedef _Rb_tree_node_base::_Const_Base_ptr _Base_ptr;
kono
parents:
diff changeset
582 typedef const _Rb_tree_node<_Tp>* _Link_type;
kono
parents:
diff changeset
583 _Rb_tree_const_iterator()
kono
parents:
diff changeset
584 : _M_node() { }
kono
parents:
diff changeset
585 explicit
kono
parents:
diff changeset
586 _Rb_tree_const_iterator(_Link_type __x)
kono
parents:
diff changeset
587 : _M_node(__x) { }
kono
parents:
diff changeset
588 _Rb_tree_const_iterator(const iterator& __it)
kono
parents:
diff changeset
589 : _M_node(__it._M_node) { }
kono
parents:
diff changeset
590 reference
kono
parents:
diff changeset
591 operator*() const
kono
parents:
diff changeset
592 { return static_cast<_Link_type>(_M_node)->_M_value_field; }
kono
parents:
diff changeset
593 pointer
kono
parents:
diff changeset
594 operator->() const
kono
parents:
diff changeset
595 { return &static_cast<_Link_type>(_M_node)->_M_value_field; }
kono
parents:
diff changeset
596 _Self&
kono
parents:
diff changeset
597 operator++()
kono
parents:
diff changeset
598 {
kono
parents:
diff changeset
599 _M_node = _Rb_tree_increment(_M_node);
kono
parents:
diff changeset
600 return *this;
kono
parents:
diff changeset
601 }
kono
parents:
diff changeset
602 _Self
kono
parents:
diff changeset
603 operator++(int)
kono
parents:
diff changeset
604 {
kono
parents:
diff changeset
605 _Self __tmp = *this;
kono
parents:
diff changeset
606 _M_node = _Rb_tree_increment(_M_node);
kono
parents:
diff changeset
607 return __tmp;
kono
parents:
diff changeset
608 }
kono
parents:
diff changeset
609 _Self&
kono
parents:
diff changeset
610 operator--()
kono
parents:
diff changeset
611 {
kono
parents:
diff changeset
612 _M_node = _Rb_tree_decrement(_M_node);
kono
parents:
diff changeset
613 return *this;
kono
parents:
diff changeset
614 }
kono
parents:
diff changeset
615 _Self
kono
parents:
diff changeset
616 operator--(int)
kono
parents:
diff changeset
617 {
kono
parents:
diff changeset
618 _Self __tmp = *this;
kono
parents:
diff changeset
619 _M_node = _Rb_tree_decrement(_M_node);
kono
parents:
diff changeset
620 return __tmp;
kono
parents:
diff changeset
621 }
kono
parents:
diff changeset
622 bool
kono
parents:
diff changeset
623 operator==(const _Self& __x) const
kono
parents:
diff changeset
624 { return _M_node == __x._M_node; }
kono
parents:
diff changeset
625 bool
kono
parents:
diff changeset
626 operator!=(const _Self& __x) const
kono
parents:
diff changeset
627 { return _M_node != __x._M_node; }
kono
parents:
diff changeset
628 _Base_ptr _M_node;
kono
parents:
diff changeset
629 };
kono
parents:
diff changeset
630 void
kono
parents:
diff changeset
631 _Rb_tree_insert_and_rebalance(const bool __insert_left,
kono
parents:
diff changeset
632 _Rb_tree_node_base* __x,
kono
parents:
diff changeset
633 _Rb_tree_node_base* __p,
kono
parents:
diff changeset
634 _Rb_tree_node_base& __header) throw ();
kono
parents:
diff changeset
635 _Rb_tree_node_base*
kono
parents:
diff changeset
636 _Rb_tree_rebalance_for_erase(_Rb_tree_node_base* const __z,
kono
parents:
diff changeset
637 _Rb_tree_node_base& __header) throw ();
kono
parents:
diff changeset
638 template<typename _Key, typename _Val, typename _KeyOfValue,
kono
parents:
diff changeset
639 typename _Compare, typename _Alloc = allocator<_Val> >
kono
parents:
diff changeset
640 class _Rb_tree
kono
parents:
diff changeset
641 {
kono
parents:
diff changeset
642 typedef typename _Alloc::template rebind<_Rb_tree_node<_Val> >::other
kono
parents:
diff changeset
643 _Node_allocator;
kono
parents:
diff changeset
644 protected:
kono
parents:
diff changeset
645 typedef _Rb_tree_node_base* _Base_ptr;
kono
parents:
diff changeset
646 typedef const _Rb_tree_node_base* _Const_Base_ptr;
kono
parents:
diff changeset
647 public:
kono
parents:
diff changeset
648 typedef _Key key_type;
kono
parents:
diff changeset
649 typedef _Val value_type;
kono
parents:
diff changeset
650 typedef value_type* pointer;
kono
parents:
diff changeset
651 typedef const value_type* const_pointer;
kono
parents:
diff changeset
652 typedef value_type& reference;
kono
parents:
diff changeset
653 typedef const value_type& const_reference;
kono
parents:
diff changeset
654 typedef _Rb_tree_node<_Val>* _Link_type;
kono
parents:
diff changeset
655 typedef const _Rb_tree_node<_Val>* _Const_Link_type;
kono
parents:
diff changeset
656 typedef size_t size_type;
kono
parents:
diff changeset
657 typedef ptrdiff_t difference_type;
kono
parents:
diff changeset
658 typedef _Alloc allocator_type;
kono
parents:
diff changeset
659 _Node_allocator&
kono
parents:
diff changeset
660 _M_get_Node_allocator()
kono
parents:
diff changeset
661 { return *static_cast<_Node_allocator*>(&this->_M_impl); }
kono
parents:
diff changeset
662 const _Node_allocator&
kono
parents:
diff changeset
663 _M_get_Node_allocator() const
kono
parents:
diff changeset
664 { return *static_cast<const _Node_allocator*>(&this->_M_impl); }
kono
parents:
diff changeset
665 allocator_type
kono
parents:
diff changeset
666 get_allocator() const
kono
parents:
diff changeset
667 { return allocator_type(_M_get_Node_allocator()); }
kono
parents:
diff changeset
668 protected:
kono
parents:
diff changeset
669 _Link_type
kono
parents:
diff changeset
670 _M_get_node()
kono
parents:
diff changeset
671 { return _M_impl._Node_allocator::allocate(1); }
kono
parents:
diff changeset
672 __attribute__((transaction_safe))
kono
parents:
diff changeset
673 void
kono
parents:
diff changeset
674 _M_put_node(_Link_type __p)
kono
parents:
diff changeset
675 { _M_impl._Node_allocator::deallocate(__p, 1); }
kono
parents:
diff changeset
676 __attribute__((transaction_safe))
kono
parents:
diff changeset
677 _Link_type
kono
parents:
diff changeset
678 _M_create_node(const value_type& __x)
kono
parents:
diff changeset
679 {
kono
parents:
diff changeset
680 _Link_type __tmp = _M_get_node();
kono
parents:
diff changeset
681 try
kono
parents:
diff changeset
682 { get_allocator().construct(&__tmp->_M_value_field, __x); }
kono
parents:
diff changeset
683 catch(...)
kono
parents:
diff changeset
684 {
kono
parents:
diff changeset
685 _M_put_node(__tmp);
kono
parents:
diff changeset
686 throw;
kono
parents:
diff changeset
687 }
kono
parents:
diff changeset
688 return __tmp;
kono
parents:
diff changeset
689 }
kono
parents:
diff changeset
690 void
kono
parents:
diff changeset
691 _M_destroy_node(_Link_type __p)
kono
parents:
diff changeset
692 {
kono
parents:
diff changeset
693 get_allocator().destroy(&__p->_M_value_field);
kono
parents:
diff changeset
694 _M_put_node(__p);
kono
parents:
diff changeset
695 }
kono
parents:
diff changeset
696 protected:
kono
parents:
diff changeset
697 template<typename _Key_compare,
kono
parents:
diff changeset
698 bool _Is_pod_comparator = __is_pod(_Key_compare)>
kono
parents:
diff changeset
699 struct _Rb_tree_impl : public _Node_allocator
kono
parents:
diff changeset
700 {
kono
parents:
diff changeset
701 _Key_compare _M_key_compare;
kono
parents:
diff changeset
702 _Rb_tree_node_base _M_header;
kono
parents:
diff changeset
703 size_type _M_node_count;
kono
parents:
diff changeset
704 _Rb_tree_impl()
kono
parents:
diff changeset
705 : _Node_allocator(), _M_key_compare(), _M_header(),
kono
parents:
diff changeset
706 _M_node_count(0)
kono
parents:
diff changeset
707 { _M_initialize(); }
kono
parents:
diff changeset
708 _Rb_tree_impl(const _Key_compare& __comp, const _Node_allocator& __a)
kono
parents:
diff changeset
709 : _Node_allocator(__a), _M_key_compare(__comp), _M_header(),
kono
parents:
diff changeset
710 _M_node_count(0)
kono
parents:
diff changeset
711 { _M_initialize(); }
kono
parents:
diff changeset
712 private:
kono
parents:
diff changeset
713 void
kono
parents:
diff changeset
714 _M_initialize()
kono
parents:
diff changeset
715 {
kono
parents:
diff changeset
716 this->_M_header._M_color = _S_red;
kono
parents:
diff changeset
717 this->_M_header._M_parent = 0;
kono
parents:
diff changeset
718 this->_M_header._M_left = &this->_M_header;
kono
parents:
diff changeset
719 this->_M_header._M_right = &this->_M_header;
kono
parents:
diff changeset
720 }
kono
parents:
diff changeset
721 };
kono
parents:
diff changeset
722 _Rb_tree_impl<_Compare> _M_impl;
kono
parents:
diff changeset
723 protected:
kono
parents:
diff changeset
724 _Base_ptr&
kono
parents:
diff changeset
725 _M_root()
kono
parents:
diff changeset
726 { return this->_M_impl._M_header._M_parent; }
kono
parents:
diff changeset
727 _Const_Base_ptr
kono
parents:
diff changeset
728 _M_root() const
kono
parents:
diff changeset
729 { return this->_M_impl._M_header._M_parent; }
kono
parents:
diff changeset
730 _Base_ptr&
kono
parents:
diff changeset
731 _M_leftmost()
kono
parents:
diff changeset
732 { return this->_M_impl._M_header._M_left; }
kono
parents:
diff changeset
733 _Const_Base_ptr
kono
parents:
diff changeset
734 _M_leftmost() const
kono
parents:
diff changeset
735 { return this->_M_impl._M_header._M_left; }
kono
parents:
diff changeset
736 _Base_ptr&
kono
parents:
diff changeset
737 _M_rightmost()
kono
parents:
diff changeset
738 { return this->_M_impl._M_header._M_right; }
kono
parents:
diff changeset
739 _Const_Base_ptr
kono
parents:
diff changeset
740 _M_rightmost() const
kono
parents:
diff changeset
741 { return this->_M_impl._M_header._M_right; }
kono
parents:
diff changeset
742 _Link_type
kono
parents:
diff changeset
743 _M_begin()
kono
parents:
diff changeset
744 { return static_cast<_Link_type>(this->_M_impl._M_header._M_parent); }
kono
parents:
diff changeset
745 _Const_Link_type
kono
parents:
diff changeset
746 _M_begin() const
kono
parents:
diff changeset
747 {
kono
parents:
diff changeset
748 return static_cast<_Const_Link_type>
kono
parents:
diff changeset
749 (this->_M_impl._M_header._M_parent);
kono
parents:
diff changeset
750 }
kono
parents:
diff changeset
751 _Link_type
kono
parents:
diff changeset
752 _M_end()
kono
parents:
diff changeset
753 { return static_cast<_Link_type>(&this->_M_impl._M_header); }
kono
parents:
diff changeset
754 _Const_Link_type
kono
parents:
diff changeset
755 _M_end() const
kono
parents:
diff changeset
756 { return static_cast<_Const_Link_type>(&this->_M_impl._M_header); }
kono
parents:
diff changeset
757 static const_reference
kono
parents:
diff changeset
758 _S_value(_Const_Link_type __x)
kono
parents:
diff changeset
759 { return __x->_M_value_field; }
kono
parents:
diff changeset
760 static const _Key&
kono
parents:
diff changeset
761 _S_key(_Const_Link_type __x)
kono
parents:
diff changeset
762 { return _KeyOfValue()(_S_value(__x)); }
kono
parents:
diff changeset
763 static _Link_type
kono
parents:
diff changeset
764 _S_left(_Base_ptr __x)
kono
parents:
diff changeset
765 { return static_cast<_Link_type>(__x->_M_left); }
kono
parents:
diff changeset
766 static _Const_Link_type
kono
parents:
diff changeset
767 _S_left(_Const_Base_ptr __x)
kono
parents:
diff changeset
768 { return static_cast<_Const_Link_type>(__x->_M_left); }
kono
parents:
diff changeset
769 static _Link_type
kono
parents:
diff changeset
770 _S_right(_Base_ptr __x)
kono
parents:
diff changeset
771 { return static_cast<_Link_type>(__x->_M_right); }
kono
parents:
diff changeset
772 static _Const_Link_type
kono
parents:
diff changeset
773 _S_right(_Const_Base_ptr __x)
kono
parents:
diff changeset
774 { return static_cast<_Const_Link_type>(__x->_M_right); }
kono
parents:
diff changeset
775 static const_reference
kono
parents:
diff changeset
776 _S_value(_Const_Base_ptr __x)
kono
parents:
diff changeset
777 { return static_cast<_Const_Link_type>(__x)->_M_value_field; }
kono
parents:
diff changeset
778 static const _Key&
kono
parents:
diff changeset
779 _S_key(_Const_Base_ptr __x)
kono
parents:
diff changeset
780 { return _KeyOfValue()(_S_value(__x)); }
kono
parents:
diff changeset
781 public:
kono
parents:
diff changeset
782 typedef _Rb_tree_iterator<value_type> iterator;
kono
parents:
diff changeset
783 typedef _Rb_tree_const_iterator<value_type> const_iterator;
kono
parents:
diff changeset
784 typedef std::reverse_iterator<iterator> reverse_iterator;
kono
parents:
diff changeset
785 typedef std::reverse_iterator<const_iterator> const_reverse_iterator;
kono
parents:
diff changeset
786 private:
kono
parents:
diff changeset
787 iterator
kono
parents:
diff changeset
788 _M_insert_(_Const_Base_ptr __x, _Const_Base_ptr __y,
kono
parents:
diff changeset
789 const value_type& __v);
kono
parents:
diff changeset
790 public:
kono
parents:
diff changeset
791 _Rb_tree() { }
kono
parents:
diff changeset
792 iterator
kono
parents:
diff changeset
793 begin()
kono
parents:
diff changeset
794 {
kono
parents:
diff changeset
795 return iterator(static_cast<_Link_type>
kono
parents:
diff changeset
796 (this->_M_impl._M_header._M_left));
kono
parents:
diff changeset
797 }
kono
parents:
diff changeset
798 const_iterator
kono
parents:
diff changeset
799 begin() const
kono
parents:
diff changeset
800 {
kono
parents:
diff changeset
801 return const_iterator(static_cast<_Const_Link_type>
kono
parents:
diff changeset
802 (this->_M_impl._M_header._M_left));
kono
parents:
diff changeset
803 }
kono
parents:
diff changeset
804 iterator
kono
parents:
diff changeset
805 end()
kono
parents:
diff changeset
806 { return iterator(static_cast<_Link_type>(&this->_M_impl._M_header)); }
kono
parents:
diff changeset
807 const_iterator
kono
parents:
diff changeset
808 end() const
kono
parents:
diff changeset
809 {
kono
parents:
diff changeset
810 return const_iterator(static_cast<_Const_Link_type>
kono
parents:
diff changeset
811 (&this->_M_impl._M_header));
kono
parents:
diff changeset
812 }
kono
parents:
diff changeset
813 pair<iterator, bool>
kono
parents:
diff changeset
814 _M_insert_unique(const value_type& __x);
kono
parents:
diff changeset
815 };
kono
parents:
diff changeset
816 template<typename _Key, typename _Val, typename _KeyOfValue,
kono
parents:
diff changeset
817 typename _Compare, typename _Alloc>
kono
parents:
diff changeset
818 typename _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator
kono
parents:
diff changeset
819 _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::
kono
parents:
diff changeset
820 _M_insert_(_Const_Base_ptr __x, _Const_Base_ptr __p, const _Val& __v)
kono
parents:
diff changeset
821 {
kono
parents:
diff changeset
822 _Link_type __z = _M_create_node(__v);
kono
parents:
diff changeset
823 return iterator(__z);
kono
parents:
diff changeset
824 }
kono
parents:
diff changeset
825 template<typename _Key, typename _Val, typename _KeyOfValue,
kono
parents:
diff changeset
826 typename _Compare, typename _Alloc>
kono
parents:
diff changeset
827 pair<typename _Rb_tree<_Key, _Val, _KeyOfValue,
kono
parents:
diff changeset
828 _Compare, _Alloc>::iterator, bool>
kono
parents:
diff changeset
829 _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::
kono
parents:
diff changeset
830 _M_insert_unique(const _Val& __v)
kono
parents:
diff changeset
831 {
kono
parents:
diff changeset
832 _Link_type __x = _M_begin();
kono
parents:
diff changeset
833 _Link_type __y = _M_end();
kono
parents:
diff changeset
834 iterator __j = iterator(__y);
kono
parents:
diff changeset
835 return pair<iterator, bool>(_M_insert_(__x, __y, __v), true);
kono
parents:
diff changeset
836 }
kono
parents:
diff changeset
837 }
kono
parents:
diff changeset
838 namespace std __attribute__ ((__visibility__ ("default"))) {
kono
parents:
diff changeset
839 template<typename _Key, typename _Compare = std::less<_Key>,
kono
parents:
diff changeset
840 typename _Alloc = std::allocator<_Key> >
kono
parents:
diff changeset
841 class set
kono
parents:
diff changeset
842 {
kono
parents:
diff changeset
843 public:
kono
parents:
diff changeset
844 typedef _Key key_type;
kono
parents:
diff changeset
845 typedef _Key value_type;
kono
parents:
diff changeset
846 typedef _Compare key_compare;
kono
parents:
diff changeset
847 typedef _Compare value_compare;
kono
parents:
diff changeset
848 typedef _Alloc allocator_type;
kono
parents:
diff changeset
849 private:
kono
parents:
diff changeset
850 typedef typename _Alloc::template rebind<_Key>::other _Key_alloc_type;
kono
parents:
diff changeset
851 typedef _Rb_tree<key_type, value_type, _Identity<value_type>,
kono
parents:
diff changeset
852 key_compare, _Key_alloc_type> _Rep_type;
kono
parents:
diff changeset
853 _Rep_type _M_t;
kono
parents:
diff changeset
854 public:
kono
parents:
diff changeset
855 typedef typename _Key_alloc_type::pointer pointer;
kono
parents:
diff changeset
856 typedef typename _Key_alloc_type::const_pointer const_pointer;
kono
parents:
diff changeset
857 typedef typename _Key_alloc_type::reference reference;
kono
parents:
diff changeset
858 typedef typename _Key_alloc_type::const_reference const_reference;
kono
parents:
diff changeset
859 typedef typename _Rep_type::const_iterator iterator;
kono
parents:
diff changeset
860 typedef typename _Rep_type::const_iterator const_iterator;
kono
parents:
diff changeset
861 typedef typename _Rep_type::const_reverse_iterator reverse_iterator;
kono
parents:
diff changeset
862 typedef typename _Rep_type::const_reverse_iterator const_reverse_iterator;
kono
parents:
diff changeset
863 typedef typename _Rep_type::size_type size_type;
kono
parents:
diff changeset
864 typedef typename _Rep_type::difference_type difference_type;
kono
parents:
diff changeset
865 std::pair<iterator, bool>
kono
parents:
diff changeset
866 insert(const value_type& __x)
kono
parents:
diff changeset
867 {
kono
parents:
diff changeset
868 _M_t._M_insert_unique(__x);
kono
parents:
diff changeset
869 }
kono
parents:
diff changeset
870 };
kono
parents:
diff changeset
871 }
kono
parents:
diff changeset
872 __attribute__((transaction_pure))
kono
parents:
diff changeset
873 void* operator new(size_t);
kono
parents:
diff changeset
874 __attribute__((transaction_pure))
kono
parents:
diff changeset
875 void operator delete(void*);
kono
parents:
diff changeset
876 class Widget
kono
parents:
diff changeset
877 {
kono
parents:
diff changeset
878 private:
kono
parents:
diff changeset
879 };
kono
parents:
diff changeset
880 class Screen
kono
parents:
diff changeset
881 {
kono
parents:
diff changeset
882 protected:
kono
parents:
diff changeset
883 std::set<Widget *> widgets;
kono
parents:
diff changeset
884 public:
kono
parents:
diff changeset
885 void addWidget(Widget* widget);
kono
parents:
diff changeset
886 };
kono
parents:
diff changeset
887 void Screen::addWidget(Widget* widget)
kono
parents:
diff changeset
888 {
kono
parents:
diff changeset
889 widgets.insert(widget);
kono
parents:
diff changeset
890 }