29#ifndef _GLIBCXX_DEBUG_MACROS_H
30#define _GLIBCXX_DEBUG_MACROS_H 1
41#define _GLIBCXX_DEBUG_VERIFY_COND_AT(_Cond,_ErrMsg,_File,_Line,_Func) \
43 __gnu_debug::_Error_formatter::_S_at(_File, _Line, _Func) \
46#define _GLIBCXX_DEBUG_VERIFY_AT_F(_Cond,_ErrMsg,_File,_Line,_Func) \
49 _GLIBCXX_DEBUG_VERIFY_COND_AT(_Cond,_ErrMsg,_File,_Line,_Func); \
52#define _GLIBCXX_DEBUG_VERIFY_AT(_Cond,_ErrMsg,_File,_Line) \
53 _GLIBCXX_DEBUG_VERIFY_AT_F(_Cond,_ErrMsg,_File,_Line,__PRETTY_FUNCTION__)
55#define _GLIBCXX_DEBUG_VERIFY(_Cond,_ErrMsg) \
56 _GLIBCXX_DEBUG_VERIFY_AT_F(_Cond, _ErrMsg, __FILE__, __LINE__, \
60#define __glibcxx_check_valid_range(_First,_Last) \
61_GLIBCXX_DEBUG_VERIFY(__gnu_debug::__valid_range(_First, _Last), \
62 _M_message(__gnu_debug::__msg_valid_range) \
63 ._M_iterator(_First, #_First) \
64 ._M_iterator(_Last, #_Last))
66#define __glibcxx_check_valid_range_at(_First,_Last,_File,_Line,_Func) \
67_GLIBCXX_DEBUG_VERIFY_AT_F(__gnu_debug::__valid_range(_First, _Last), \
68 _M_message(__gnu_debug::__msg_valid_range) \
69 ._M_iterator(_First, #_First) \
70 ._M_iterator(_Last, #_Last), \
73#define __glibcxx_check_valid_range2(_First,_Last,_Dist) \
74_GLIBCXX_DEBUG_VERIFY(__gnu_debug::__valid_range(_First, _Last, _Dist), \
75 _M_message(__gnu_debug::__msg_valid_range) \
76 ._M_iterator(_First, #_First) \
77 ._M_iterator(_Last, #_Last))
79#define __glibcxx_check_valid_constructor_range(_First,_Last) \
80 __gnu_debug::__check_valid_range(_First, _Last, \
81 __FILE__, __LINE__, __PRETTY_FUNCTION__)
84#define __glibcxx_check_non_empty_range(_First,_Last) \
85_GLIBCXX_DEBUG_VERIFY(_First != _Last, \
86 _M_message(__gnu_debug::__msg_non_empty_range) \
87 ._M_iterator(_First, #_First) \
88 ._M_iterator(_Last, #_Last))
91#define __glibcxx_check_can_increment(_First,_Size) \
92_GLIBCXX_DEBUG_VERIFY(__gnu_debug::__can_advance(_First, _Size), \
93 _M_message(__gnu_debug::__msg_iter_subscript_oob) \
94 ._M_iterator(_First, #_First) \
95 ._M_integer(_Size, #_Size))
97#define __glibcxx_check_can_increment_range(_First1,_Last1,_First2) \
100 typename __gnu_debug::_Distance_traits<__decltype(_First1)>::__type __dist;\
101 _GLIBCXX_DEBUG_VERIFY_COND_AT( \
102 __gnu_debug::__valid_range(_First1, _Last1, __dist),\
103 _M_message(__gnu_debug::__msg_valid_range) \
104 ._M_iterator(_First1, #_First1) \
105 ._M_iterator(_Last1, #_Last1), \
106 __FILE__,__LINE__,__PRETTY_FUNCTION__); \
107 _GLIBCXX_DEBUG_VERIFY_COND_AT( \
108 __gnu_debug::__can_advance(_First2, __dist.first),\
109 _M_message(__gnu_debug::__msg_iter_subscript_oob)\
110 ._M_iterator(_First2, #_First2) \
111 ._M_integer(__dist.first), \
112 __FILE__,__LINE__,__PRETTY_FUNCTION__); \
115#define __glibcxx_check_can_decrement_range(_First1,_Last1,_First2) \
118 typename __gnu_debug::_Distance_traits<__decltype(_First1)>::__type __dist;\
119 _GLIBCXX_DEBUG_VERIFY_COND_AT( \
120 __gnu_debug::__valid_range(_First1, _Last1, __dist),\
121 _M_message(__gnu_debug::__msg_valid_range) \
122 ._M_iterator(_First1, #_First1) \
123 ._M_iterator(_Last1, #_Last1), \
124 __FILE__,__LINE__,__PRETTY_FUNCTION__); \
125 _GLIBCXX_DEBUG_VERIFY_COND_AT( \
126 __gnu_debug::__can_advance(_First2, -__dist.first),\
127 _M_message(__gnu_debug::__msg_iter_subscript_oob)\
128 ._M_iterator(_First2, #_First2) \
129 ._M_integer(-__dist.first), \
130 __FILE__,__LINE__,__PRETTY_FUNCTION__); \
140#define __glibcxx_check_insert(_Position) \
141_GLIBCXX_DEBUG_VERIFY(!_Position._M_singular(), \
142 _M_message(__gnu_debug::__msg_insert_singular) \
143 ._M_sequence(*this, "this") \
144 ._M_iterator(_Position, #_Position)); \
145_GLIBCXX_DEBUG_VERIFY(_Position._M_attached_to(this), \
146 _M_message(__gnu_debug::__msg_insert_different) \
147 ._M_sequence(*this, "this") \
148 ._M_iterator(_Position, #_Position))
157#define __glibcxx_check_insert_after(_Position) \
158__glibcxx_check_insert(_Position); \
159_GLIBCXX_DEBUG_VERIFY(!_Position._M_is_end(), \
160 _M_message(__gnu_debug::__msg_insert_after_end) \
161 ._M_sequence(*this, "this") \
162 ._M_iterator(_Position, #_Position))
174#define __glibcxx_check_insert_range(_Position,_First,_Last,_Dist) \
175__glibcxx_check_valid_range2(_First,_Last,_Dist); \
176__glibcxx_check_insert(_Position); \
177_GLIBCXX_DEBUG_VERIFY(__gnu_debug::__foreign_iterator(_Position,_First,_Last),\
178 _M_message(__gnu_debug::__msg_insert_range_from_self)\
179 ._M_iterator(_First, #_First) \
180 ._M_iterator(_Last, #_Last) \
181 ._M_sequence(*this, "this"))
193#define __glibcxx_check_insert_range_after(_Position,_First,_Last,_Dist)\
194__glibcxx_check_valid_range2(_First,_Last,_Dist); \
195__glibcxx_check_insert_after(_Position); \
196_GLIBCXX_DEBUG_VERIFY(__gnu_debug::__foreign_iterator(_Position,_First,_Last),\
197 _M_message(__gnu_debug::__msg_insert_range_from_self)\
198 ._M_iterator(_First, #_First) \
199 ._M_iterator(_Last, #_Last) \
200 ._M_sequence(*this, "this"))
206#define __glibcxx_check_erase(_Position) \
207_GLIBCXX_DEBUG_VERIFY(_Position._M_dereferenceable(), \
208 _M_message(__gnu_debug::__msg_erase_bad) \
209 ._M_sequence(*this, "this") \
210 ._M_iterator(_Position, #_Position)); \
211_GLIBCXX_DEBUG_VERIFY(_Position._M_attached_to(this), \
212 _M_message(__gnu_debug::__msg_erase_different) \
213 ._M_sequence(*this, "this") \
214 ._M_iterator(_Position, #_Position))
220#define __glibcxx_check_erase_after(_Position) \
221_GLIBCXX_DEBUG_VERIFY(_Position._M_before_dereferenceable(), \
222 _M_message(__gnu_debug::__msg_erase_after_bad) \
223 ._M_sequence(*this, "this") \
224 ._M_iterator(_Position, #_Position)); \
225_GLIBCXX_DEBUG_VERIFY(_Position._M_attached_to(this), \
226 _M_message(__gnu_debug::__msg_erase_different) \
227 ._M_sequence(*this, "this") \
228 ._M_iterator(_Position, #_Position))
234#define __glibcxx_check_erase_range(_First,_Last) \
235__glibcxx_check_valid_range(_First,_Last); \
236_GLIBCXX_DEBUG_VERIFY(_First._M_attached_to(this), \
237 _M_message(__gnu_debug::__msg_erase_different) \
238 ._M_sequence(*this, "this") \
239 ._M_iterator(_First, #_First) \
240 ._M_iterator(_Last, #_Last))
246#define __glibcxx_check_erase_range_after(_First,_Last) \
247_GLIBCXX_DEBUG_VERIFY(_First._M_can_compare(_Last), \
248 _M_message(__gnu_debug::__msg_erase_different) \
249 ._M_sequence(*this, "this") \
250 ._M_iterator(_First, #_First) \
251 ._M_iterator(_Last, #_Last)); \
252_GLIBCXX_DEBUG_VERIFY(_First._M_attached_to(this), \
253 _M_message(__gnu_debug::__msg_erase_different) \
254 ._M_sequence(*this, "this") \
255 ._M_iterator(_First, #_First)); \
256_GLIBCXX_DEBUG_VERIFY(_First != _Last, \
257 _M_message(__gnu_debug::__msg_valid_range2) \
258 ._M_sequence(*this, "this") \
259 ._M_iterator(_First, #_First) \
260 ._M_iterator(_Last, #_Last)); \
261_GLIBCXX_DEBUG_VERIFY(_First._M_incrementable(), \
262 _M_message(__gnu_debug::__msg_valid_range2) \
263 ._M_sequence(*this, "this") \
264 ._M_iterator(_First, #_First) \
265 ._M_iterator(_Last, #_Last)); \
266_GLIBCXX_DEBUG_VERIFY(!_Last._M_is_before_begin(), \
267 _M_message(__gnu_debug::__msg_valid_range2) \
268 ._M_sequence(*this, "this") \
269 ._M_iterator(_First, #_First) \
270 ._M_iterator(_Last, #_Last)) \
273#define __glibcxx_check_subscript(_N) \
274_GLIBCXX_DEBUG_VERIFY(_N < this->size(), \
275 _M_message(__gnu_debug::__msg_subscript_oob) \
276 ._M_sequence(*this, "this") \
277 ._M_integer(_N, #_N) \
278 ._M_integer(this->size(), "size"))
281#define __glibcxx_check_bucket_index(_N) \
282_GLIBCXX_DEBUG_VERIFY(_N < this->bucket_count(), \
283 _M_message(__gnu_debug::__msg_bucket_index_oob) \
284 ._M_sequence(*this, "this") \
285 ._M_integer(_N, #_N) \
286 ._M_integer(this->bucket_count(), "size"))
289#define __glibcxx_check_nonempty() \
290_GLIBCXX_DEBUG_VERIFY(! this->empty(), \
291 _M_message(__gnu_debug::__msg_empty) \
292 ._M_sequence(*this, "this"))
295#define __glibcxx_check_sorted(_First,_Last) \
296__glibcxx_check_valid_range(_First,_Last); \
297 _GLIBCXX_DEBUG_VERIFY(__gnu_debug::__check_sorted( \
298 __gnu_debug::__base(_First), \
299 __gnu_debug::__base(_Last)), \
300 _M_message(__gnu_debug::__msg_unsorted) \
301 ._M_iterator(_First, #_First) \
302 ._M_iterator(_Last, #_Last))
306#define __glibcxx_check_sorted_pred(_First,_Last,_Pred) \
307__glibcxx_check_valid_range(_First,_Last); \
308_GLIBCXX_DEBUG_VERIFY(__gnu_debug::__check_sorted( \
309 __gnu_debug::__base(_First), \
310 __gnu_debug::__base(_Last), _Pred), \
311 _M_message(__gnu_debug::__msg_unsorted_pred) \
312 ._M_iterator(_First, #_First) \
313 ._M_iterator(_Last, #_Last) \
317#define __glibcxx_check_sorted_set(_First1,_Last1,_First2) \
318__glibcxx_check_valid_range(_First1,_Last1); \
319_GLIBCXX_DEBUG_VERIFY( \
320 __gnu_debug::__check_sorted_set(__gnu_debug::__base(_First1), \
321 __gnu_debug::__base(_Last1), _First2),\
322 _M_message(__gnu_debug::__msg_unsorted) \
323 ._M_iterator(_First1, #_First1) \
324 ._M_iterator(_Last1, #_Last1))
327#define __glibcxx_check_sorted_set_pred(_First1,_Last1,_First2,_Pred) \
328__glibcxx_check_valid_range(_First1,_Last1); \
329_GLIBCXX_DEBUG_VERIFY( \
330 __gnu_debug::__check_sorted_set(__gnu_debug::__base(_First1), \
331 __gnu_debug::__base(_Last1), \
333 _M_message(__gnu_debug::__msg_unsorted_pred) \
334 ._M_iterator(_First1, #_First1) \
335 ._M_iterator(_Last1, #_Last1) \
340#define __glibcxx_check_partitioned_lower(_First,_Last,_Value) \
341__glibcxx_check_valid_range(_First,_Last); \
342_GLIBCXX_DEBUG_VERIFY(__gnu_debug::__check_partitioned_lower( \
343 __gnu_debug::__base(_First), \
344 __gnu_debug::__base(_Last), _Value), \
345 _M_message(__gnu_debug::__msg_unpartitioned) \
346 ._M_iterator(_First, #_First) \
347 ._M_iterator(_Last, #_Last) \
350#define __glibcxx_check_partitioned_upper(_First,_Last,_Value) \
351__glibcxx_check_valid_range(_First,_Last); \
352_GLIBCXX_DEBUG_VERIFY(__gnu_debug::__check_partitioned_upper( \
353 __gnu_debug::__base(_First), \
354 __gnu_debug::__base(_Last), _Value), \
355 _M_message(__gnu_debug::__msg_unpartitioned) \
356 ._M_iterator(_First, #_First) \
357 ._M_iterator(_Last, #_Last) \
362#define __glibcxx_check_partitioned_lower_pred(_First,_Last,_Value,_Pred) \
363__glibcxx_check_valid_range(_First,_Last); \
364_GLIBCXX_DEBUG_VERIFY(__gnu_debug::__check_partitioned_lower( \
365 __gnu_debug::__base(_First), \
366 __gnu_debug::__base(_Last), _Value, _Pred), \
367 _M_message(__gnu_debug::__msg_unpartitioned_pred) \
368 ._M_iterator(_First, #_First) \
369 ._M_iterator(_Last, #_Last) \
375#define __glibcxx_check_partitioned_upper_pred(_First,_Last,_Value,_Pred) \
376__glibcxx_check_valid_range(_First,_Last); \
377_GLIBCXX_DEBUG_VERIFY(__gnu_debug::__check_partitioned_upper( \
378 __gnu_debug::__base(_First), \
379 __gnu_debug::__base(_Last), _Value, _Pred), \
380 _M_message(__gnu_debug::__msg_unpartitioned_pred) \
381 ._M_iterator(_First, #_First) \
382 ._M_iterator(_Last, #_Last) \
387#define __glibcxx_check_heap(_First,_Last) \
388 _GLIBCXX_DEBUG_VERIFY(std::__is_heap(__gnu_debug::__base(_First), \
389 __gnu_debug::__base(_Last)), \
390 _M_message(__gnu_debug::__msg_not_heap) \
391 ._M_iterator(_First, #_First) \
392 ._M_iterator(_Last, #_Last))
396#define __glibcxx_check_heap_pred(_First,_Last,_Pred) \
397 _GLIBCXX_DEBUG_VERIFY(std::__is_heap(__gnu_debug::__base(_First), \
398 __gnu_debug::__base(_Last), \
400 _M_message(__gnu_debug::__msg_not_heap_pred) \
401 ._M_iterator(_First, #_First) \
402 ._M_iterator(_Last, #_Last) \
406#define __glibcxx_check_self_move_assign(_Other) \
407_GLIBCXX_DEBUG_VERIFY(this != &_Other, \
408 _M_message(__gnu_debug::__msg_self_move_assign) \
409 ._M_sequence(*this, "this"))
412#define __glibcxx_check_max_load_factor(_F) \
413_GLIBCXX_DEBUG_VERIFY(_F > 0.0f, \
414 _M_message(__gnu_debug::__msg_valid_load_factor) \
415 ._M_sequence(*this, "this"))
417#define __glibcxx_check_equal_allocs(_This, _Other) \
418_GLIBCXX_DEBUG_VERIFY(_This.get_allocator() == _Other.get_allocator(), \
419 _M_message(__gnu_debug::__msg_equal_allocs) \
420 ._M_sequence(_This, "this"))
422#define __glibcxx_check_string(_String) _GLIBCXX_DEBUG_PEDASSERT(_String != 0)
423#define __glibcxx_check_string_len(_String,_Len) \
424 _GLIBCXX_DEBUG_PEDASSERT(_String != 0 || _Len == 0)
427#define __glibcxx_check_irreflexive(_First,_Last) \
428 _GLIBCXX_DEBUG_VERIFY(_First == _Last || !(*_First < *_First), \
429 _M_message(__gnu_debug::__msg_irreflexive_ordering) \
430 ._M_iterator_value_type(_First, "< operator type"))
432#if __cplusplus >= 201103L
433# define __glibcxx_check_irreflexive2(_First,_Last) \
434 _GLIBCXX_DEBUG_VERIFY(_First == _Last \
435 || __gnu_debug::__is_irreflexive(_First), \
436 _M_message(__gnu_debug::__msg_irreflexive_ordering) \
437 ._M_iterator_value_type(_First, "< operator type"))
439# define __glibcxx_check_irreflexive2(_First,_Last)
442#define __glibcxx_check_irreflexive_pred(_First,_Last,_Pred) \
443 _GLIBCXX_DEBUG_VERIFY(_First == _Last || !_Pred(*_First, *_First), \
444 _M_message(__gnu_debug::__msg_irreflexive_ordering) \
445 ._M_instance(_Pred, "functor") \
446 ._M_iterator_value_type(_First, "ordered type"))
448#if __cplusplus >= 201103L
449# define __glibcxx_check_irreflexive_pred2(_First,_Last,_Pred) \
450 _GLIBCXX_DEBUG_VERIFY(_First == _Last \
451 ||__gnu_debug::__is_irreflexive_pred(_First, _Pred), \
452 _M_message(__gnu_debug::__msg_irreflexive_ordering) \
453 ._M_instance(_Pred, "functor") \
454 ._M_iterator_value_type(_First, "ordered type"))
456# define __glibcxx_check_irreflexive_pred2(_First,_Last,_Pred)